arXiv++ Combinatorics

Using recent results on singularity analysis for Hadamard products of generating functions, we obtain the limiting distributions for additive functionals on $m$-ary search trees on $n$ keys with toll sequence (i) $n^α$ with $α\geq 0$ ($α=0$ and $α=1$ correspond roughly to the space requirement and total path length, respectively); (ii) $\ln \binom{n}{m-1}$, which corresponds to the so-called shape functional; and (iii) $\mathbf{1}_{n=m-1}$, which corresponds to the number of leaves.

We consider the total cost of cutting down a random rooted tree chosen from a family of so-called very simple trees (which include ordered trees, $d$-ary trees, and Cayley trees); these form a subfamily of simply generated trees. At each stage of the process an edge is chose at random from the tree and cut, separating the tree into two components. In the one-sided variant of the process the component not containing the root is discarded, whereas in the two-sided variant both components are kept. The process ends when no edges remain for cutting. The cost of cutting an edge from a tree of size $n$ is assumed to be $n^α$. Using singularity analysis and the method of moments, we derive the limiting distribution of the total cost accrued in both variants of this process. A salient feature of the limiting distributions obtained (after normalizing in a family-specific manner) is that they only depend on $α$.

We present a toolbox for extracting asymptotic information on the coefficients of combinatorial generating functions. This toolbox notably includes a treatment of the effect of Hadamard products on singularities in the context of the complex Tauberian technique known as singularity analysis. As a consequence, it becomes possible to unify the analysis of a number of divide-and-conquer algorithms, or equivalently random tree models, including several classical methods for sorting, searching, and dynamically managing equivalence relations

Additive tree functionals represent the cost of many divide-and-conquer algorithms. We derive the limiting distribution of the additive functionals induced by toll functions of the form (a) n^αwhen α> 0 and (b) log n (the so-called shape functional) on uniformly distributed binary search trees, sometimes called Catalan trees. The Gaussian law obtained in the latter case complements the central limit theorem for the shape functional under the random permutation model. Our results give rise to an apparently new family of distributions containing the Airy distribution (α= 1) and the normal distribution [case (b), and case (a) as $α\downarrow 0$]. The main theoretical tools employed are recent results relating asymptotics of the generating functions of sequences to those of their Hadamard product, and the method of moments.

Search trees are fundamental data structures in computer science. We study functionals on random search trees that satisfy recurrence relations of a simple additive form. Many important functionals including the space requirement, internal path length, and the so-called shape functional fall under this framework. Our goal is to derive asymptotics of moments and identify limiting distributions of these functionals under two commonly studied probability models -- the random permutation model and the uniform model. For the random permutation model, our approach is based on establishing transfer theorems that link the order of growth of the input into a particular deterministic recurrence to the order of growth of the output. For the uniform model, our approach is based on the complex-analytic tool of singularity analysis. To facilitate a systematic analysis of these additive functionals we extend singularity analysis, a class of methods by which one can translate on a term-by-term basis an asymptotic expansion of a functional around its dominant singularity into a corresponding expansion for the Taylor coefficients of the function. The most important extension is the determination of how singularities are composed under the operation of Hadamard product of analytic power series. The transfer theorems derived are used in conjunction with the method of moments to establish limit laws for m-ary search trees under the random permutation model. For the uniform model on binary search trees, the extended singularity analysis toolkit is employed to establish the asymptotic behavior of the moments of a wide class of functionals. These asymptotics are used, again in conjunction with the method of moments, to derive limit laws.