2,402 research outputs found
A Complete Grammar for Decomposing a Family of Graphs into 3-connected Components
Tutte has described in the book "Connectivity in graphs" a canonical
decomposition of any graph into 3-connected components. In this article we
translate (using the language of symbolic combinatorics)
Tutte's decomposition into a general grammar expressing any family of graphs
(with some stability conditions) in terms of the 3-connected subfamily. A key
ingredient we use is an extension of the so-called dissymmetry theorem, which
yields negative signs in the grammar.
As a main application we recover in a purely combinatorial way the analytic
expression found by Gim\'enez and Noy for the series counting labelled planar
graphs (such an expression is crucial to do asymptotic enumeration and to
obtain limit laws of various parameters on random planar graphs). Besides the
grammar, an important ingredient of our method is a recent bijective
construction of planar maps by Bouttier, Di Francesco and Guitter.Comment: 39 page
Uniform random sampling of planar graphs in linear time
This article introduces new algorithms for the uniform random generation of
labelled planar graphs. Its principles rely on Boltzmann samplers, as recently
developed by Duchon, Flajolet, Louchard, and Schaeffer. It combines the
Boltzmann framework, a suitable use of rejection, a new combinatorial bijection
found by Fusy, Poulalhon and Schaeffer, as well as a precise analytic
description of the generating functions counting planar graphs, which was
recently obtained by Gim\'enez and Noy. This gives rise to an extremely
efficient algorithm for the random generation of planar graphs. There is a
preprocessing step of some fixed small cost. Then, the expected time complexity
of generation is quadratic for exact-size uniform sampling and linear for
approximate-size sampling. This greatly improves on the best previously known
time complexity for exact-size uniform sampling of planar graphs with
vertices, which was a little over .Comment: 55 page
Enumeration of labelled 4-regular planar graphs
We present the first combinatorial scheme for counting labelled 4-regular
planar graphs through a complete recursive decomposition. More precisely, we
show that the exponential generating function of labelled 4-regular planar
graphs can be computed effectively as the solution of a system of equations,
from which the coefficients can be extracted. As a byproduct, we also enumerate
labelled 3-connected 4-regular planar graphs, and simple 4-regular rooted maps
A sheaf-theoretic approach to pattern matching and related problems
AbstractWe present a general theory of pattern matching by adopting an extensional, geometric view of patterns. Representing the geometry of the pattern via a Grothendieck topology, the extension of the matching relation for a constant target and varying pattern forms a sheaf. We derive a generalized version of the Knuth-Morris-Pratt string-matching algorithm by gradually converting this extensional description into an intensional description, i.e., an algorithm. The generality of this approach is illustrated by briefly considering other applications: Earley's algorithm for parsing, Waltz filtering for scene analysis, matching modulo commutativity, and the n-queens problem
- …