Subsections

# 9.1 2-4 Trees

A 2-4 tree is a rooted tree with the following properties:

Property 9..1 (height)   All leaves have the same depth.

Property 9..2 (degree)   Every internal node has 2, 3, or 4 children.

An example of a 2-4 tree is shown in Figure 9.1.
The properties of 2-4 trees imply that their height is logarithmic in the number of leaves:

Lemma 9..1   A 2-4 tree with leaves has height at most .

Proof. The lower-bound of 2 on the number of children of an internal node implies that, if the height of a 2-4 tree is , then it has at least leaves. In other words,

Taking logarithms on both sides of this inequality gives .

Adding a leaf to a 2-4 tree is easy (see Figure 9.2). If we want to add a leaf as the child of some node on the second-last level, then we simply make a child of . This certainly maintains the height property, but could violate the degree property; if had four children prior to adding , then now has five children. In this case, we split into two nodes, and ', having two and three children, respectively. But now ' has no parent, so we recursively make ' a child of 's parent. Again, this may cause 's parent to have too many children in which case we split it. This process goes on until we reach a node that has fewer than four children, or until we split the root, , into two nodes and . In the latter case, we make a new root that has and as children. This simultaneously increases the depth of all leaves and so maintains the height property.

Figure 9.2: Adding a leaf to a 2-4 Tree. This process stops after one split because has a degree of less than 4 before the addition.

Since the height of the 2-4 tree is never more than , the process of adding a leaf finishes after at most steps.

## 9.1.2 Removing a Leaf

Removing a leaf from a 2-4 tree is a little more tricky (see Figure 9.3). To remove a leaf from its parent , we just remove it. If had only two children prior to the removal of , then is left with only one child and violates the degree property.

Figure 9.3: Removing a leaf from a 2-4 Tree. This process goes all the way to the root because each of 's ancestors and their siblings have only two children.

To correct this, we look at 's sibling, . The node is sure to exist since 's parent had at least two children. If has three or four children, then we take one of these children from and give it to . Now has two children and has two or three children and we are done.

On the other hand, if has only two children, then we merge and into a single node, , that has three children. Next we recursively remove from the parent of . This process ends when we reach a node, , where or its sibling has more than two children, or when we reach the root. In the latter case, if the root is left with only one child, then we delete the root and make its child the new root. Again, this simultaneously decreases the height of every leaf and therefore maintains the height property.

Again, since the height of the tree is never more than , the process of removing a leaf finishes after at most steps.

opendatastructures.org