eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2018-02-27
1:1
1:5
10.4230/LIPIcs.STACS.2018.1
article
Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation
Salvy, Bruno
In a probabilistic context, the main data structures of computer science are viewed as random combinatorial objects.
Analytic Combinatorics, as described in the book by Flajolet and Sedgewick, provides a set of high-level tools for their probabilistic analysis.
Recursive combinatorial definitions lead to generating function equations from which efficient algorithms can be designed for enumeration, random generation and, to some extent, asymptotic analysis. With a focus on random generation, this tutorial first covers the basics of Analytic Combinatorics and then describes the idea of Boltzmann sampling and its realisation.
The tutorial addresses a broad TCS audience and no particular pre-knowledge on analytic combinatorics is expected.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol096-stacs2018/LIPIcs.STACS.2018.1/LIPIcs.STACS.2018.1.pdf
Analytic Combinatorics
Generating Functions
Random Generation