Compaction for two models of logarithmic-depth trees: Analysis and Experiments

Olivier Bodini (1) , Antoine Genitrini (2) , Bernhard Gittenberger (3) , Isabella Larcher (4) , Mehdi Naima (1)

1 LIPN - Laboratoire d'Informatique de Paris-Nord
2 APR - Algorithmes, Programmes et Résolution
3 Institut für Diskrete Mathematik und Geometrie [Wien]
4 TU Wien - Vienna University of Technology = Technische Universität Wien

We are interested in the quantitative analysis of the compaction ratio for two classical families of trees: recursive trees and plane binary increasing trees. These families are typical representatives of tree models with a small depth. Once a tree of size n is compacted by keeping only one occurrence of all fringe subtrees appearing in the tree the resulting graph contains only O(n/ ln n) nodes. This result must be compared to classical results of compaction in the families of simply generated trees, where the analogous result states that the compacted structure is of size of order n/ √ ln n. The result about the plane binary increasing trees has already been proved, but we propose a new and generic approach to get the result. Finally, an experimental study is presented, based on a prototype implementation of compacted binary search trees that are modeled by plane binary increasing trees.

Mots clés: Analytic Combinatorics; Tree compaction; Common subexpression recognition; Increasing trees; Binary search trees

Domaines: Combinatoire [math.CO]; Algorithme et structure de données [cs.DS]

Olivier Bodini, Antoine Genitrini, Bernhard Gittenberger, Isabella Larcher, Mehdi Naima. Compaction for two models of logarithmic-depth trees: Analysis and Experiments. Random Structures and Algorithms, 2022, 61 (1), pp.31-61. ⟨hal-03371646⟩