249 research outputs found
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
Counting d-polytopes with d+3 vertices
We completely solve the problem of enumerating combinatorially inequivalent
-dimensional polytopes with vertices. A first solution of this
problem, by Lloyd, was published in 1970. But the obtained counting formula was
not correct, as pointed out in the new edition of Gr\"unbaum's book. We both
correct the mistake of Lloyd and propose a more detailed and self-contained
solution, relying on similar preliminaries but using then a different
enumeration method involving automata. In addition, we introduce and solve the
problem of counting oriented and achiral (i.e. stable under reflection)
-polytopes with vertices. The complexity of computing tables of
coefficients of a given size is then analyzed. Finally, we derive precise
asymptotic formulas for the numbers of -polytopes, oriented -polytopes
and achiral -polytopes with vertices. This refines a first asymptotic
estimate given by Perles.Comment: 24 page
Transversal structures on triangulations: a combinatorial study and straight-line drawings
This article focuses on a combinatorial structure specific to triangulated
plane graphs with quadrangular outer face and no separating triangle, which are
called irreducible triangulations. The structure has been introduced by Xin He
under the name of regular edge-labelling and consists of two bipolar
orientations that are transversal. For this reason, the terminology used here
is that of transversal structures. The main results obtained in the article are
a bijection between irreducible triangulations and ternary trees, and a
straight-line drawing algorithm for irreducible triangulations. For a random
irreducible triangulation with vertices, the grid size of the drawing is
asymptotically with high probability up to an additive
error of \cO(\sqrt{n}). In contrast, the best previously known algorithm for
these triangulations only guarantees a grid size .Comment: 42 pages, the second version is shorter, focusing on the bijection
(with application to counting) and on the graph drawing algorithm. The title
has been slightly change
Unified bijections for planar hypermaps with general cycle-length constraints
We present a general bijective approach to planar hypermaps with two main
results. First we obtain unified bijections for all classes of maps or
hypermaps defined by face-degree constraints and girth constraints. To any such
class we associate bijectively a class of plane trees characterized by local
constraints. This unifies and greatly generalizes several bijections for maps
and hypermaps. Second, we present yet another level of generalization of the
bijective approach by considering classes of maps with non-uniform girth
constraints. More precisely, we consider "well-charged maps", which are maps
with an assignment of "charges" (real numbers) on vertices and faces, with the
constraints that the length of any cycle of the map is at least equal to the
sum of the charges of the vertices and faces enclosed by the cycle. We obtain a
bijection between charged hypermaps and a class of plane trees characterized by
local constraints
Unified bijections for maps with prescribed degrees and girth
This article presents unified bijective constructions for planar maps, with
control on the face degrees and on the girth. Recall that the girth is the
length of the smallest cycle, so that maps of girth at least are
respectively the general, loopless, and simple maps. For each positive integer
, we obtain a bijection for the class of plane maps (maps with one
distinguished root-face) of girth having a root-face of degree . We then
obtain more general bijective constructions for annular maps (maps with two
distinguished root-faces) of girth at least . Our bijections associate to
each map a decorated plane tree, and non-root faces of degree of the map
correspond to vertices of degree of the tree. As special cases we recover
several known bijections for bipartite maps, loopless triangulations, simple
triangulations, simple quadrangulations, etc. Our work unifies and greatly
extends these bijective constructions. In terms of counting, we obtain for each
integer an expression for the generating function
of plane maps of girth with root-face of
degree , where the variable counts the non-root faces of degree .
The expression for was already obtained bijectively by Bouttier, Di
Francesco and Guitter, but for the expression of is new. We
also obtain an expression for the generating function
\G_{p,q}^{(d,e)}(x_d,x_{d+1},...) of annular maps with root-faces of degrees
and , such that cycles separating the two root-faces have length at
least while other cycles have length at least . Our strategy is to
obtain all the bijections as specializations of a single "master bijection"
introduced by the authors in a previous article. In order to use this approach,
we exhibit certain "canonical orientations" characterizing maps with prescribed
girth constraints
A simple formula for the series of constellations and quasi-constellations with boundaries
We obtain a very simple formula for the generating function of bipartite
(resp. quasi-bipartite) planar maps with boundaries (holes) of prescribed
lengths, which generalizes certain expressions obtained by Eynard in a book to
appear. The formula is derived from a bijection due to Bouttier, Di Francesco
and Guitter combined with a process (reminiscent of a construction of Pitman)
of aggregating connected components of a forest into a single tree. The formula
naturally extends to -constellations and quasi--constellations with
boundaries (the case corresponding to bipartite maps).Comment: 23 pages, full paper version of v1, with results extended to
constellations and quasi constellation
- …