Abstract:We revisit weight-balanced trees, also known as trees of bounded balance. This class of binary search trees was invented by Nievergelt and Reingold in 1972. Such trees are obtained by assigning a weight to each node and requesting that the weight of each node should be quite larger than the weights of its children, the precise meaning of ``quite larger'' depending on a real-valued parameter~$\gamma$. Blum and Mehlhorn then showed how to maintain these trees in a recursive (bottom-up) fashion when~$2/11 \leqslant \gamma \leqslant 1-1/\sqrt{2}$, their algorithm requiring only an amortised constant number of tree rebalancing operations per update (insertion or deletion). Later, in 1993, Lai and Wood proposed a top-down procedure for updating these trees when~$2/11 \leqslant \gamma \leqslant 1/4$. Our contribution is two-fold. First, we strengthen the requirements of Nievergelt and Reingold, by also requesting that each node should have a substantially larger weight than its grand-children, thereby obtaining what we call grand-children balanced trees. Grand-children balanced trees are not harder to maintain than weight-balanced trees, but enjoy a smaller node depth, both in the worst case (with a 6~\% decrease) and on average (with a 1.6~\% decrease). In particular, unlike standard weight-balanced trees, all grand-children balanced trees with $n$ nodes are of height less than $2 \log_2(n)$. Second, we adapt the algorithm of Lai and Wood to all weight-balanced trees, i.e., to all parameter values~$\gamma$ such that~$2/11 \leqslant \gamma \leqslant 1-1/\sqrt{2}$. More precisely, we adapt it to all grand-children balanced trees for which~$1/4 < \gamma \leqslant 1 - 1/\sqrt{2}$. Finally, we show that, except in critical cases, all these algorithms result in making a constant amortised number of tree rebalancing operations per tree update.

Optimal Generation of Strictly Increasing Binary Trees and Beyond

On the Subtrees of Random Binary Search Trees

Holonomic equations and efficient random generation of binary trees

Random trees have height $O(\sqrt{n})$

Fast Generation of Big Random Binary Trees

Upper Bounds on the Average Height of Random Binary Trees

(Random) Trees of Intermediate Uniform Growth

Bounds and Algorithms for Alphabetic Codes and Binary Search Trees

Combinatorial generation via permutation languages. VI. Binary trees

Trees with the most subtrees -- an algorithmic approach

An Improved Lower Bound on the Largest Common Subtree of Random Leaf-Labeled Binary Trees

A non-increasing tree growth process for recursive trees and applications

Limit Laws for Functions of Fringe trees for Binary Search Trees and Recursive Trees

Grand-children weight-balanced binary search trees

On bucket increasing trees, clustered increasing trees and increasing diamonds

On Random Tree Structures, Their Entropy, and Compression

Generation of weighted trees, block trees and block graphs

On Computing Optimal Tree Ensembles

On the enumeration of leaf-labelled increasing trees with arbitrary node-degree

Non-Contiguous Pattern Avoidance in Binary Trees