59 research outputs found
Happy endings for flip graphs
We show that the triangulations of a finite point set form a flip graph that
can be embedded isometrically into a hypercube, if and only if the point set
has no empty convex pentagon. Point sets of this type include convex subsets of
lattices, points on two lines, and several other infinite families. As a
consequence, flip distance in such point sets can be computed efficiently.Comment: 26 pages, 15 figures. Revised and expanded for journal publicatio
Peeling and Nibbling the Cactus: Subexponential-Time Algorithms for Counting Triangulations and Related Problems
Given a set of n points S in the plane, a triangulation T of S is a maximal set of non-crossing segments with endpoints in S. We present an algorithm that computes the number of triangulations on a given set of n points in time n^{ (11+ o(1)) sqrt{n} }, significantly improving the previous best running time of O(2^n n^2) by Alvarez and Seidel [SoCG 2013]. Our main tool is identifying separators of size O(sqrt{n}) of a triangulation in a canonical way. The definition of the separators are based on the decomposition of the triangulation into nested layers ("cactus graphs"). Based on the above algorithm, we develop a simple and formal framework to count other non-crossing straight-line graphs in n^{O(sqrt{n})} time. We demonstrate the usefulness of the framework by applying it to counting non-crossing Hamilton cycles, spanning trees, perfect matchings, 3-colorable triangulations, connected graphs, cycle decompositions, quadrangulations, 3-regular graphs, and more
Reconstructing Geometric Structures from Combinatorial and Metric Information
In this dissertation, we address three reconstruction problems. First, we address the problem of reconstructing a Delaunay triangulation from a maximal planar graph. A maximal planar graph G is Delaunay realizable if there exists a realization of G as a Delaunay triangulation on the plane. Several classes of graphs with particular graph-theoretic properties are known to be Delaunay realizable. One such class of graphs is outerplanar graph. In this dissertation, we present a new proof that an outerplanar graph is Delaunay realizable.
Given a convex polyhedron P and a point s on the surface (the source), the ridge tree or cut locus is a collection of points with multiple shortest paths from s on the surface of P. If we compute the shortest paths from s to all polyhedral vertices of P and cut the surface along these paths, we obtain a planar polygon called the shortest path star (sp-star) unfolding. It is known that for any convex polyhedron and a source point, the ridge tree is contained in the sp-star unfolding polygon [8]. Given a combinatorial structure of a ridge tree, we show how to construct the ridge tree and the sp-star unfolding in which it lies. In this process, we address several problems concerning the existence of sp-star unfoldings on specified source point sets.
Finally, we introduce and study a new variant of the sp-star unfolding called (geodesic) star unfolding. In this unfolding, we cut the surface of the convex polyhedron along a set of non-crossing geodesics (not-necessarily the shortest). We study its properties and address its realization problem. Finally, we consider the following problem: given a geodesic star unfolding of some convex polyhedron and a source point, how can we derive the sp-star unfolding of the same polyhedron and the source point? We introduce a new algorithmic operation and perform experiments using that operation on a large number of geodesic star unfolding polygons. Experimental data provides strong evidence that the successive applications of this operation on geodesic star unfoldings will lead us to the sp-star unfolding
Peeling and nibbling the cactus: Subexponential-time algorithms for counting triangulations and related problems
Given a set of points in the plane, a triangulation of is a
maximal set of non-crossing segments with endpoints in . We present an
algorithm that computes the number of triangulations on a given set of
points in time , significantly improving the previous
best running time of by Alvarez and Seidel [SoCG 2013]. Our main
tool is identifying separators of size of a triangulation in a
canonical way. The definition of the separators are based on the decomposition
of the triangulation into nested layers ("cactus graphs"). Based on the above
algorithm, we develop a simple and formal framework to count other non-crossing
straight-line graphs in time. We demonstrate the usefulness
of the framework by applying it to counting non-crossing Hamilton cycles,
spanning trees, perfect matchings, -colorable triangulations, connected
graphs, cycle decompositions, quadrangulations, -regular graphs, and more.Comment: 47 pages, 23 Figures, to appear in SoCG 201
A Finite Algorithm for the Realizabilty of a Delaunay Triangulation
The \emph{Delaunay graph} of a point set is the
plane graph with the vertex-set and the edge-set that contains
if there exists a disc whose intersection with is exactly .
Accordingly, a triangulated graph is \emph{Delaunay realizable} if there
exists a triangulation of the Delaunay graph of some , called a \emph{Delaunay triangulation} of , that is
isomorphic to . The objective of \textsc{Delaunay Realization} is to compute
a point set that realizes a given graph (if such
a exists). Known algorithms do not solve \textsc{Delaunay Realization} as
they are non-constructive. Obtaining a constructive algorithm for
\textsc{Delaunay Realization} was mentioned as an open problem by Hiroshima et
al.~\cite{hiroshima2000}. We design an -time constructive
algorithm for \textsc{Delaunay Realization}. In fact, our algorithm outputs
sets of points with {\em integer} coordinates
Recommended from our members
Graph-theoretical conditions for inscribability and Delaunay realizability
We present new graph-theoretical conditions for inscribable polyhedra and Delaunay triangulations. We establish several sufficient conditions of the following general form: if a polyhedron has a sufficiently rich collection of Hamiltonian subgraphs, then it is inscribable. These results have several consequences:All 4-connected polyhedra are inscribable.All simplical polyhedra in which all vertex degrees are between 4 and 6, inclusive, are inscribable.All triangulations without chords or nonfacial triangles are realizable as Delaunay triangulations.We also strengthen some earlier results about matchings in inscribable polyhedra. Specifically, we show that any nonbipartite inscribable polyhedron has a perfect matching containing any specified edge, and that any bipartite inscribable polyhedron has a perfect matching containing any two specified disjoint edges. We give examples showing that these results are best possible
Density of Range Capturing Hypergraphs
For a finite set of points in the plane, a set in the plane, and a
positive integer , we say that a -element subset of is captured
by if there is a homothetic copy of such that ,
i.e., contains exactly elements from . A -uniform -capturing
hypergraph has a vertex set and a hyperedge set consisting
of all -element subsets of captured by . In case when and
is convex these graphs are planar graphs, known as convex distance function
Delaunay graphs.
In this paper we prove that for any , any , and any convex
compact set , the number of hyperedges in is at most , where is the number of -element
subsets of that can be separated from the rest of with a straight line.
In particular, this bound is independent of and indeed the bound is tight
for all "round" sets and point sets in general position with respect to
.
This refines a general result of Buzaglo, Pinchasi and Rote stating that
every pseudodisc topological hypergraph with vertex set has
hyperedges of size or less.Comment: new version with a tight result and shorter proo
- …