Heights in generalized tries and PATRICIA tries

Abstract

We consider digital trees such as (generalized) tries and PATRICIA tries, built from n random strings generated by an unbiased memoryless source (i.e., all symbols are equally likely). We study limit laws of the height which is defined as the longest path in such trees. For tries, in the region where most of the probability mass is concentrated, the asymptotic distribution is of extreme value type (i.e., double exponential distribution). Surprisingly enough, the height of the PATRICIA trie behaves quite differently in this region: It exhibits an exponential of a Gaussian distribution (with an oscillating term) around the most probable value k1 = |log2 n + √2log2 n-3/2]+1. In fact, the asymptotic distribution of PATRICIA height concentrates on one or two points. For most n all the mass is concentrated at k1, however, there exist subsequences of n such that the mass is on the two points k1 - 1 and k1, or k 1 and k1 + 1. We derive these results by a combination of analytic methods such as generating functions, Mellin transform, the saddle point method and ideas of applied mathematics such as linearization, asymptotic matching and the WKB method. © Springer-Verlag Berlin Heidelberg 2000.