In the theory of optimal binary search trees, the interleave lower bound is a lower bound on the number of operations required by a Binary Search Tree (BST) to execute a given sequence of accesses. Several variants of this lower bound have been proven. This article is based on a variation of the first Wilber's bound. This lower bound is used in the design and analysis of Tango tree. Furthermore, this lower bound can be rephrased and proven geometrically, Geometry of binary search trees.
Definition The bound is based on a fixed perfect BST P {\displaystyle P} , called the lower bound tree, over the keys { 1 , 2 , . . . , n } {\displaystyle \{1,2,...,n\}} . For example, for n = 7 {\displaystyle n=7} , P {\displaystyle P} can be represented by the following parenthesis structure:
[([1] 2 [3]) 4 ([5] 6 [7])] For each node y {\displaystyle y} in P {\displaystyle P} , define:
L e f t ( y ) {\displaystyle Left(y)} to be the set of nodes in the left sub-tree of y {\displaystyle y} , including y {\displaystyle y} .
R i g h t ( y ) {\displaystyle Right(y)} to be the set of nodes in the right sub-tree of y {\displaystyle y} . Consider the following access sequence: X = x 1 , x 2 , . . . , x m {\displaystyle X=x_{1},x_{2},...,x_{m}} . For a fixed node y {\displaystyle y} , and for each access x i {\displaystyle x_{i}} , define the label of x i {\displaystyle x_{i}} with respect to y {\displaystyle y} as:
"L" - if x i {\displaystyle x_{i}} is in L e f t ( y ) {\displaystyle Left(y)} . "R" - if x i {\displaystyle x_{i}} is in R i g h t ( y ) {\displaystyle Right(y)} ; Null - otherwise. The label of y {\displaystyle y} is the concatenation of the labels from all the accesses. For example, if the sequence of accesses is: 7 , 6 , 3 {\displaystyle 7,6,3} then the label of the root ( 4 ) {\displaystyle (4)} is: "RRL", the label of 6 is: "RL", and the label of 2 is: "R". For every node y {\displaystyle y} , define the amount of interleaving through y as the number of alternations between L and R in the label of y {\displaystyle y} . In the above example, the interleaving through 4 {\displaystyle 4} and 6 {\displaystyle 6} is 1 {\displaystyle 1} and the interleaving through all other nodes is 0 {\displaystyle 0} . The interleave bound, I B ( X ) {\displaystyle {\mathit {IB}}(X)} , is the sum of the interleaving through all the nodes of the tree. The interleave bound of the above sequence is 2 {\displaystyle 2} .
The Lower Bound Statement and its Proof The interleave bound is summarized by the following theorem.
The following proof is based on.
… excerpt ends here. Continue reading the full article.
