1,075 research outputs found
Formal study of plane Delaunay triangulation
This article presents the formal proof of correctness for a plane Delaunay
triangulation algorithm. It consists in repeating a sequence of edge flippings
from an initial triangulation until the Delaunay property is achieved. To
describe triangulations, we rely on a combinatorial hypermap specification
framework we have been developing for years. We embed hypermaps in the plane by
attaching coordinates to elements in a consistent way. We then describe what
are legal and illegal Delaunay edges and a flipping operation which we show
preserves hypermap, triangulation, and embedding invariants. To prove the
termination of the algorithm, we use a generic approach expressing that any
non-cyclic relation is well-founded when working on a finite set
Generic method for bijections between blossoming trees and planar maps
This article presents a unified bijective scheme between planar maps and
blossoming trees, where a blossoming tree is defined as a spanning tree of the
map decorated with some dangling half-edges that enable to reconstruct its
faces. Our method generalizes a previous construction of Bernardi by loosening
its conditions of applications so as to include annular maps, that is maps
embedded in the plane with a root face different from the outer face.
The bijective construction presented here relies deeply on the theory of
\alpha-orientations introduced by Felsner, and in particular on the existence
of minimal and accessible orientations. Since most of the families of maps can
be characterized by such orientations, our generic bijective method is proved
to capture as special cases all previously known bijections involving
blossoming trees: for example Eulerian maps, m-Eulerian maps, non separable
maps and simple triangulations and quadrangulations of a k-gon. Moreover, it
also permits to obtain new bijective constructions for bipolar orientations and
d-angulations of girth d of a k-gon.
As for applications, each specialization of the construction translates into
enumerative by-products, either via a closed formula or via a recursive
computational scheme. Besides, for every family of maps described in the paper,
the construction can be implemented in linear time. It yields thus an effective
way to encode and generate planar maps.
In a recent work, Bernardi and Fusy introduced another unified bijective
scheme, we adopt here a different strategy which allows us to capture different
bijections. These two approaches should be seen as two complementary ways of
unifying bijections between planar maps and decorated trees.Comment: 45 pages, comments welcom
Apollonian structure in the Abelian sandpile
The Abelian sandpile process evolves configurations of chips on the integer
lattice by toppling any vertex with at least 4 chips, distributing one of its
chips to each of its 4 neighbors. When begun from a large stack of chips, the
terminal state of the sandpile has a curious fractal structure which has
remained unexplained. Using a characterization of the quadratic growths
attainable by integer-superharmonic functions, we prove that the sandpile PDE
recently shown to characterize the scaling limit of the sandpile admits certain
fractal solutions, giving a precise mathematical perspective on the fractal
nature of the sandpile.Comment: 27 Pages, 7 Figure
Random recursive triangulations of the disk via fragmentation theory
We introduce and study an infinite random triangulation of the unit disk that
arises as the limit of several recursive models. This triangulation is
generated by throwing chords uniformly at random in the unit disk and keeping
only those chords that do not intersect the previous ones. After throwing
infinitely many chords and taking the closure of the resulting set, one gets a
random compact subset of the unit disk whose complement is a countable union of
triangles. We show that this limiting random set has Hausdorff dimension
, where , and that it can be described as
the geodesic lamination coded by a random continuous function which is
H\"{o}lder continuous with exponent , for every
. We also discuss recursive constructions of triangulations of
the -gon that give rise to the same continuous limit when tends to
infinity.Comment: Published in at http://dx.doi.org/10.1214/10-AOP608 the Annals of
Probability (http://www.imstat.org/aop/) by the Institute of Mathematical
Statistics (http://www.imstat.org
Load-Balancing for Parallel Delaunay Triangulations
Computing the Delaunay triangulation (DT) of a given point set in
is one of the fundamental operations in computational geometry.
Recently, Funke and Sanders (2017) presented a divide-and-conquer DT algorithm
that merges two partial triangulations by re-triangulating a small subset of
their vertices - the border vertices - and combining the three triangulations
efficiently via parallel hash table lookups. The input point division should
therefore yield roughly equal-sized partitions for good load-balancing and also
result in a small number of border vertices for fast merging. In this paper, we
present a novel divide-step based on partitioning the triangulation of a small
sample of the input points. In experiments on synthetic and real-world data
sets, we achieve nearly perfectly balanced partitions and small border
triangulations. This almost cuts running time in half compared to
non-data-sensitive division schemes on inputs exhibiting an exploitable
underlying structure.Comment: Short version submitted to EuroPar 201
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
- …