Abstract

Random binary search trees are obtained by recursively inserting the elements σ(1),σ(2),…,σ(n)σ(1),σ(2),\ldots,σ(n) of a uniformly random permutation σσ of [n]={1,…,n}[n]=\{1,\dots,n\} into a binary search tree data structure. Devroye (1986) proved that the height of such trees is asymptotically of order c∗log⁡nc^*\log n, where c∗=4.311…c^*=4.311\ldots is the unique solution of clog⁡((2e)/c)=1c \log((2e)/c)=1 with c≥2c \geq 2. In this paper, we study the structure of binary search trees Tn,qT_{n,q} built from Mallows permutations. A Mallows(q)\textrm{Mallows}(q) permutation is a random permutation of [n]={1,…,n}[n]=\{1,\ldots,n\} whose probability is proportional to qInv(σ)q^{\textrm{Inv}(σ)}, where Inv(σ)=#{i<j:σ(i)>σ(j)}\textrm{Inv}(σ) = \#\{i < j: σ(i) > σ(j)\}. This model generalizes random binary search trees, since Mallows(q)\textrm{Mallows}(q) permutations with q=1q=1 are uniformly distributed. The laws of Tn,qT_{n,q} and Tn,q−1T_{n,q^{-1}} are related by a simple symmetry (switching the roles of the left and right children), so it suffices to restrict our attention to q≤1q\leq1. We show that, for q∈[0,1]q\in[0,1], the height of Tn,qT_{n,q} is asymptotically (1+o(1))(c∗log⁡n+n(1−q))(1+o(1))(c^* \log n + n(1-q)) in probability. This yields three regimes of behaviour for the height of Tn,qT_{n,q}, depending on whether n(1−q)/log⁡nn(1-q)/\log n tends to zero, tends to infinity, or remains bounded away from zero and infinity. In particular, when n(1−q)/log⁡nn(1-q)/\log n tends to zero, the height of Tn,qT_{n,q} is asymptotically of order c∗log⁡nc^*\log n, like it is for random binary search trees. Finally, when n(1−q)/log⁡nn(1-q)/\log n tends to infinity, we prove stronger tail bounds and distributional limit theorems for the height of Tn,qT_{n,q}.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.