In most cases we form a nearly complete tree. This would eliminate parent pointers, and likely speed up tree traversal. https://algorithmica.org/en/eytzinger