12.16.1. Array Implementation for Complete Binary Trees¶

From the full binary tree theorem, we know that a large fraction of the space in a typical binary tree node implementation is devoted to structural overhead, not to storing data. This module presents a simple, compact implementation for complete binary trees. Recall that complete binary trees have all levels except the bottom filled out completely, and the bottom level has all of its nodes filled in from left to right. Thus, a complete binary tree of \(n\) nodes has only one possible shape. You might think that a complete binary tree is such an unusual occurrence that there is no reason to develop a special implementation for it. However, the complete binary tree has practical uses, the most important being the heap data structure. Heaps are often used to implement priority queues and for external sorting algorithms.

We begin by assigning numbers to the node positions in the complete binary tree, level by level, from left to right as shown in Figure 12.16.1. An array can store the tree’s data values efficiently, placing each data value in the array position corresponding to that node’s position within the tree. The table lists the array indices for the children, parent, and siblings of each node in Figure 12.16.1.

Here is a table that lists, for each node position, the positions of the parent, sibling, and children of the node.

Looking at the table, you should see a pattern regarding the positions of a node’s relatives within the array. Simple formulas can be derived for calculating the array index for each relative of a node \(R\) from \(R\)’s index. No explicit pointers are necessary to reach a node’s left or right child. This means there is no overhead to the array implementation if the array is selected to be of size \(n\) for a tree of \(n\) nodes.

The formulae for calculating the array indices of the various relatives of a node are as follows. The total number of nodes in the tree is \(n\). The index of the node in question is \(r\), which must fall in the range 0 to \(n-1\).

• Parent(\(r\)) \(= \lfloor(r - 1)/2\rfloor\) if \(r \neq 0\).

• Left child(\(r\)) \(= 2r + 1\) if \(2r + 1 < n\).

• Right child(\(r\)) \(= 2r + 2\) if \(2r + 2 < n\).

• Left sibling(\(r\)) \(= r - 1\) if \(r\) is even and \(r \neq 0\).

• Right sibling(\(r\)) \(= r + 1\) if \(r\) is odd and \(r + 1 < n\).