Document Open Access Logo

Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation

Author Bruno Salvy



PDF
Thumbnail PDF

File

LIPIcs.STACS.2018.1.pdf
  • Filesize: 402 kB
  • 5 pages

Document Identifiers

Author Details

Bruno Salvy

Cite AsGet BibTex

Bruno Salvy. Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation. In 35th Symposium on Theoretical Aspects of Computer Science (STACS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 96, pp. 1:1-1:5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/LIPIcs.STACS.2018.1

Abstract

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.
Keywords
  • Analytic Combinatorics
  • Generating Functions
  • Random Generation

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. F. Bergeron, G. Labelle, and P. Leroux. Combinatorial species and tree-like structures. Number 67 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1998. Translated from the 1994 French original by Margaret Readdy, With a foreword by Gian-Carlo Rota. Google Scholar
  2. H. Décoste, G. Labelle, and P. Leroux. Une approche combinatoire pour l'itération de Newton-Raphson. Advances in Applied Mathematics, 3(4):407-416, 1982. Google Scholar
  3. Philippe Duchon, Philippe Flajolet, Guy Louchard, and Gilles Schaeffer. Boltzmann samplers for the random generation of combinatorial structures. Combinatorics, Probability and Computing, 13(4-5):577-625, 2004. Special issue on Analysis of Algorithms. Google Scholar
  4. Philippe Flajolet, Éric Fusy, and Carine Pivoteau. Boltzmann sampling of unlabelled structures. In David Applegate, Gerth Stølting Brodal, Daniel Panario, and Robert Sedgewick, editors, Proceedings of the Ninth Workshop on Algorithm Engineering and Experiments and the Fourth Workshop on Analytic Algorithmics and Combinatorics, volume 126 of SIAM Proceedings in Applied Mathematics, pages 201-211. SIAM, 2007. Workshops held in New Orleans, LA, January 6, 2007. Google Scholar
  5. Philippe Flajolet, Bruno Salvy, and Paul Zimmermann. Automatic average-case analysis of algorithm. Theor. Comput. Sci., 79(1):37-109, 1991. URL: http://dx.doi.org/10.1016/0304-3975(91)90145-R.
  6. Philippe Flajolet and Robert Sedgewick. Analytic Combinatorics. Cambridge University Press, 2009. 824 pages (ISBN-13: 9780521898065); also available electronically from the authors' home pages. Google Scholar
  7. Marni Mishna. Attribute grammars and automatic complexity analysis. Advances in Applied Mathematics, 30(1):189-207, 2003. Google Scholar
  8. Carine Pivoteau, Bruno Salvy, and Michèle Soria. Algorithms for combinatorial structures: Well-founded systems and newton iterations. J. Comb. Theory, Ser. A, 119(8):1711-1773, 2012. URL: http://dx.doi.org/10.1016/j.jcta.2012.05.007.
  9. Joachim von zur Gathen and Jürgen Gerhard. Modern computer algebra. Cambridge University Press, New York, 2nd edition, 2003. URL: http://www.cambridge.org/fr/knowledge/isbn/item1170826.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail