Analytic Combinatorics
Authors :

Philippe Flajolet, Algorithms Project, INRIA Rocquencourt and

Robert Sedgewick, Department of Computer Science, Princeton University

Pages : 745

Publication Date : October 23, 2006; updated February 11, 2007

From the Preface:
Analytic Combinatorics aims at predicting precisely the properties of large structured combinatorial configurations, through an approach based extensively on analytic methods. Generating functions are the central objects of the theory.

Analytic Combinatorics starts from an exact enumerative description of combinatorial structures by means of generating functions, which make their first appearance as purely formal algebraic objects. Next, generating functions are interpreted as analytic objects, that is, as mappings of the complex plane into itself. Singularities determine a function’s coefficients in asymptotic form and lead to precise estimates for counting sequences. This chain applies to a large number of problems of discrete mathematics relative to words, trees, permutations, graphs, and so on. A suitable adaptation of the methods also opens the way to the quantitative analysis of characteristic parameters of large random structures, via a perturbational approach.

This book is meant to be reader-friendly. Each major method is abundantly illustrated by means of concrete examples treated in detail -- there are scores of them, spanning froma fraction of a page to several pages -- offering a complete treatment of a specific problem. These are borrowed not only from combinatorics itself but also from neighbouring areas of science. With a view of addressing not only mathematicians of varied profiles but also scientists of other disciplines, Analytic Combinatorics is self contained, including ample appendices that recapitulate the necessary background in combinatorics and complex function theory. A rich set of short Notes -- there are more than 250 of them -- are inserted in the text and can provide exercises meant for self study or for students' practice, as well as introductions to the vast body of literature that is available. We have also made every effort to focus on core ideas rather than technical details, supposing a certain amount of mathematical maturity but only basic prerequisites on the part of our gentle readers. The book is also meant to be strongly problem-oriented, and indeed it can be regarded as amanual, or even a huge algorithm, guiding the reader to the solution of a very large variety of problems regarding discrete mathematical models of varied origins. In this spirit, many of our developments connect nicely with computer algebra and symbolic manipulation systems.

Courses can be (and indeed have been) based on the book in various ways.

Chapters I–III on

Symbolic Methods serve as a systematic yet accessible introduction to the formal side of combinatorial enumeration. As such it organizes transparently some of the rich material found in treatises like those of Bergeron-Labelle-Leroux, Comtet, Goulden-Jackson, and Stanley.

Chapters IV–VIII relative to

Complex Asymptotics provide a large set of concrete examples illustrating the power of classical complex analysis and of asymptotic analysis outside of their traditional range of applications. This material can thus be used in courses of either pure or applied mathematics, providing a wealth of nonclassical examples. In addition, the quiet but ubiquitous presence of symbolic manipulation systems provides a number of illustrations of the power of these systems while making it possible to test and concretely experiment with a great many combinatorial models. Symbolic systems allow for instance for fast random generation, close examination of non-asymptotic regimes, efficient experimentation with analytic expansions and singularities, and so on.

View/Download Analytic Combinatorics