1,590 research outputs found
Computational Geometry Column 42
A compendium of thirty previously published open problems in computational
geometry is presented.Comment: 7 pages; 72 reference
Space Complexity of Perfect Matching in Bounded Genus Bipartite Graphs
We investigate the space complexity of certain perfect matching problems over
bipartite graphs embedded on surfaces of constant genus (orientable or
non-orientable). We show that the problems of deciding whether such graphs have
(1) a perfect matching or not and (2) a unique perfect matching or not, are in
the logspace complexity class \SPL. Since \SPL\ is contained in the logspace
counting classes \oplus\L (in fact in \modk\ for all ), \CeqL, and
\PL, our upper bound places the above-mentioned matching problems in these
counting classes as well. We also show that the search version, computing a
perfect matching, for this class of graphs is in \FL^{\SPL}. Our results
extend the same upper bounds for these problems over bipartite planar graphs
known earlier. As our main technical result, we design a logspace computable
and polynomially bounded weight function which isolates a minimum weight
perfect matching in bipartite graphs embedded on surfaces of constant genus. We
use results from algebraic topology for proving the correctness of the weight
function.Comment: 23 pages, 13 figure
Enumeration of octagonal tilings
Random tilings are interesting as idealizations of atomistic models of
quasicrystals and for their connection to problems in combinatorics and
algorithms. Of particular interest is the tiling entropy density, which
measures the relation of the number of distinct tilings to the number of
constituent tiles. Tilings by squares and 45 degree rhombi receive special
attention as presumably the simplest model that has not yet been solved exactly
in the thermodynamic limit. However, an exact enumeration formula can be
evaluated for tilings in finite regions with fixed boundaries. We implement
this algorithm in an efficient manner, enabling the investigation of larger
regions of parameter space than previously were possible. Our new results
appear to yield monotone increasing and decreasing lower and upper bounds on
the fixed boundary entropy density that converge toward S = 0.36021(3)
Trees with Convex Faces and Optimal Angles
We consider drawings of trees in which all edges incident to leaves can be
extended to infinite rays without crossing, partitioning the plane into
infinite convex polygons. Among all such drawings we seek the one maximizing
the angular resolution of the drawing. We find linear time algorithms for
solving this problem, both for plane trees and for trees without a fixed
embedding. In any such drawing, the edge lengths may be set independently of
the angles, without crossing; we describe multiple strategies for setting these
lengths.Comment: 12 pages, 10 figures. To appear at 14th Int. Symp. Graph Drawing,
200
How to Walk Your Dog in the Mountains with No Magic Leash
We describe a -approximation algorithm for computing the
homotopic \Frechet distance between two polygonal curves that lie on the
boundary of a triangulated topological disk. Prior to this work, algorithms
were known only for curves on the Euclidean plane with polygonal obstacles.
A key technical ingredient in our analysis is a -approximation
algorithm for computing the minimum height of a homotopy between two curves. No
algorithms were previously known for approximating this parameter.
Surprisingly, it is not even known if computing either the homotopic \Frechet
distance, or the minimum height of a homotopy, is in NP
- …