37 research outputs found
The Complexity of Order Type Isomorphism
The order type of a point set in maps each -tuple of points to
its orientation (e.g., clockwise or counterclockwise in ). Two point sets
and have the same order type if there exists a mapping from to
for which every -tuple of and the
corresponding tuple in have the same
orientation. In this paper we investigate the complexity of determining whether
two point sets have the same order type. We provide an algorithm for
this task, thereby improving upon the algorithm
of Goodman and Pollack (1983). The algorithm uses only order type queries and
also works for abstract order types (or acyclic oriented matroids). Our
algorithm is optimal, both in the abstract setting and for realizable points
sets if the algorithm only uses order type queries.Comment: Preliminary version of paper to appear at ACM-SIAM Symposium on
Discrete Algorithms (SODA14
A polynomial bound for untangling geometric planar graphs
To untangle a geometric graph means to move some of the vertices so that the
resulting geometric graph has no crossings. Pach and Tardos [Discrete Comput.
Geom., 2002] asked if every n-vertex geometric planar graph can be untangled
while keeping at least n^\epsilon vertices fixed. We answer this question in
the affirmative with \epsilon=1/4. The previous best known bound was
\Omega((\log n / \log\log n)^{1/2}). We also consider untangling geometric
trees. It is known that every n-vertex geometric tree can be untangled while
keeping at least (n/3)^{1/2} vertices fixed, while the best upper bound was
O(n\log n)^{2/3}. We answer a question of Spillner and Wolff [arXiv:0709.0170
2007] by closing this gap for untangling trees. In particular, we show that for
infinitely many values of n, there is an n-vertex geometric tree that cannot be
untangled while keeping more than 3(n^{1/2}-1) vertices fixed. Moreover, we
improve the lower bound to (n/2)^{1/2}.Comment: 14 pages, 7 figure
Entropy, Triangulation, and Point Location in Planar Subdivisions
A data structure is presented for point location in connected planar
subdivisions when the distribution of queries is known in advance. The data
structure has an expected query time that is within a constant factor of
optimal. More specifically, an algorithm is presented that preprocesses a
connected planar subdivision G of size n and a query distribution D to produce
a point location data structure for G. The expected number of point-line
comparisons performed by this data structure, when the queries are distributed
according to D, is H + O(H^{2/3}+1) where H=H(G,D) is a lower bound on the
expected number of point-line comparisons performed by any linear decision tree
for point location in G under the query distribution D. The preprocessing
algorithm runs in O(n log n) time and produces a data structure of size O(n).
These results are obtained by creating a Steiner triangulation of G that has
near-minimum entropy.Comment: 19 pages, 4 figures, lots of formula
Locked and Unlocked Chains of Planar Shapes
We extend linkage unfolding results from the well-studied case of polygonal
linkages to the more general case of linkages of polygons. More precisely, we
consider chains of nonoverlapping rigid planar shapes (Jordan regions) that are
hinged together sequentially at rotatable joints. Our goal is to characterize
the families of planar shapes that admit locked chains, where some
configurations cannot be reached by continuous reconfiguration without
self-intersection, and which families of planar shapes guarantee universal
foldability, where every chain is guaranteed to have a connected configuration
space. Previously, only obtuse triangles were known to admit locked shapes, and
only line segments were known to guarantee universal foldability. We show that
a surprisingly general family of planar shapes, called slender adornments,
guarantees universal foldability: roughly, the distance from each edge along
the path along the boundary of the slender adornment to each hinge should be
monotone. In contrast, we show that isosceles triangles with any desired apex
angle less than 90 degrees admit locked chains, which is precisely the
threshold beyond which the inward-normal property no longer holds.Comment: 23 pages, 25 figures, Latex; full journal version with all proof
details. (Fixed crash-induced bugs in the abstract.
Every Large Point Set contains Many Collinear Points or an Empty Pentagon
We prove the following generalised empty pentagon theorem: for every integer
, every sufficiently large set of points in the plane contains
collinear points or an empty pentagon. As an application, we settle the
next open case of the "big line or big clique" conjecture of K\'ara, P\'or, and
Wood [\emph{Discrete Comput. Geom.} 34(3):497--506, 2005]
Algorithms for efficient filtering in content-based multicast
Proceedings of the 9th Annual European Symposium on Algorithms (ESA 2001)info:eu-repo/semantics/publishe
Online graph exploration algorithms for cycles and trees by multiple searchers
info:eu-repo/semantics/publishe
Dynamic optimality for skip lists and B-trees
Sleator and Tarjan [39] conjectured that splay trees are dynamically optimal binary search trees (BST). In this context, we study the skip list data structure introduced by Pugh [35]. We prove that for a class of skip lists that satisfy a weak balancing property, the working-set bound is a lower bound on the time to access any sequence. Furthermore, we develop a deterministic self-adjusting skip list whose running time matches the working-set bound, thereby achieving dynamic optimality in this class. Finally, we highlight the implications our bounds for skip lists have on multi-way branching search trees such as B-trees, (ab)-trees, and other variants as well as their binary tree representations. In particular, we show a self-adjusting B-tree that is dynamically optimal both in internal and external memory
Self-approaching paths in simple polygons
We study the problem of connecting two points in a simple polygon with a self-approaching path. A self-approaching path is a directed curve such that the Euclidean distance between a point moving along the path and any future position does not increase, that is, for all points a, b, and c that appear in that order along the curve, [Formula presented]. We analyze properties of self-approaching paths inside simple polygons, and characterize shortest self-approaching paths. In particular, we show that a shortest self-approaching path connecting two points in a simple polygon can be forced to follow a general class of non-algebraic curves. While this makes it difficult to design an exact algorithm, we show how to find the shortest self-approaching path under a model of computation which assumes that we can compute involute curves of high order. Lastly, we provide an efficient algorithm to test if a given simple polygon is self-approaching, that is, if there exists a self-approaching path for any two points inside the polygon
Reconfiguration of cube-style modular robots using o(log n) parallel moves
SCOPUS: cp.kinfo:eu-repo/semantics/publishe