31 research outputs found
Threadable Curves
We define a plane curve to be threadable if it can rigidly pass through a
point-hole in a line L without otherwise touching L. Threadable curves are in a
sense generalizations of monotone curves. We have two main results. The first
is a linear-time algorithm for deciding whether a polygonal curve is
threadable---O(n) for a curve of n vertices---and if threadable, finding a
sequence of rigid motions to thread it through a hole. We also sketch an
argument that shows that the threadability of algebraic curves can be decided
in time polynomial in the degree of the curve. The second main result is an O(n
polylog n)-time algorithm for deciding whether a 3D polygonal curve can thread
through hole in a plane in R^3, and if so, providing a description of the rigid
motions that achieve the threading.Comment: 16 pages, 12 figures, 12 references. v2: Revised with brief addendum
after Mikkel Abrahamsen pointed us to a relevant reference on "sweepable
polygons." v3: Major revisio
Unions of Onions: Preprocessing Imprecise Points for Fast Onion Decomposition
Let be a set of pairwise disjoint unit disks in the plane.
We describe how to build a data structure for so that for any
point set containing exactly one point from each disk, we can quickly find
the onion decomposition (convex layers) of .
Our data structure can be built in time and has linear size.
Given , we can find its onion decomposition in time, where
is the number of layers. We also provide a matching lower bound. Our solution
is based on a recursive space decomposition, combined with a fast algorithm to
compute the union of two disjoint onionComment: 10 pages, 5 figures; a preliminary version appeared at WADS 201
Minimum Cuts in Geometric Intersection Graphs
Let be a set of disks in the plane. The disk graph
for is the undirected graph with vertex set
in which two disks are joined by an edge if and only if they
intersect. The directed transmission graph for
is the directed graph with vertex set in which
there is an edge from a disk to a disk if and only if contains the center of .
Given and two non-intersecting disks , we
show that a minimum - vertex cut in or in
can be found in
expected time. To obtain our result, we combine an algorithm for the maximum
flow problem in general graphs with dynamic geometric data structures to
manipulate the disks.
As an application, we consider the barrier resilience problem in a
rectangular domain. In this problem, we have a vertical strip bounded by
two vertical lines, and , and a collection of
disks. Let be a point in above all disks of , and let
a point in below all disks of . The task is to find a curve
from to that lies in and that intersects as few disks of
as possible. Using our improved algorithm for minimum cuts in
disk graphs, we can solve the barrier resilience problem in
expected time.Comment: 11 pages, 4 figure
Reverse nearest neighbor queries in fixed dimension
Reverse nearest neighbor queries are defined as follows: Given an input
point-set P, and a query point q, find all the points p in P whose nearest
point in P U {q} \ {p} is q. We give a data structure to answer reverse nearest
neighbor queries in fixed-dimensional Euclidean space. Our data structure uses
O(n) space, its preprocessing time is O(n log n), and its query time is O(log
n).Comment: 7 pages, 3 figures; typos corrected; more background material on
compressed quadtree
Algorithms for Stable Matching and Clustering in a Grid
We study a discrete version of a geometric stable marriage problem originally
proposed in a continuous setting by Hoffman, Holroyd, and Peres, in which
points in the plane are stably matched to cluster centers, as prioritized by
their distances, so that each cluster center is apportioned a set of points of
equal area. We show that, for a discretization of the problem to an
grid of pixels with centers, the problem can be solved in time , and we experiment with two slower but more practical algorithms and
a hybrid method that switches from one of these algorithms to the other to gain
greater efficiency than either algorithm alone. We also show how to combine
geometric stable matchings with a -means clustering algorithm, so as to
provide a geometric political-districting algorithm that views distance in
economic terms, and we experiment with weighted versions of stable -means in
order to improve the connectivity of the resulting clusters.Comment: 23 pages, 12 figures. To appear (without the appendices) at the 18th
International Workshop on Combinatorial Image Analysis, June 19-21, 2017,
Plovdiv, Bulgari
Bounded-Degree Polyhedronization of Point Sets
Abstract In 1994 GrĂŒnbaum showed that, given a point set S in R 3 , it is always possible to construct a polyhedron whose vertices are exactly S. Such a polyhedron is called a polyhedronization of S. Agarwal et al. extended this work in 2008 by showing that there always exists a polyhedronization that can be decomposed into a union of tetrahedra (tetrahedralizable). In the same work they introduced the notion of a serpentine polyhedronization for which the dual of its tetrahedralization is a chain. In this work we present a randomized algorithm running in O(n log 6 n) expected time that constructs a serpentine polyhedronization that has vertices with degree at most 7, answering an open question by Agarwal et al
Data Structures for Halfplane Proximity Queries and Incremental Voronoi Diagrams
We consider preprocessing a set of points in convex position in the
plane into a data structure supporting queries of the following form: given a
point and a directed line in the plane, report the point of that
is farthest from (or, alternatively, nearest to) the point among all points
to the left of line . We present two data structures for this problem.
The first data structure uses space and preprocessing
time, and answers queries in time, for any . The second data structure uses space and
polynomial preprocessing time, and answers queries in time. These
are the first solutions to the problem with query time and
space.
The second data structure uses a new representation of nearest- and
farthest-point Voronoi diagrams of points in convex position. This
representation supports the insertion of new points in clockwise order using
only amortized pointer changes, in addition to -time
point-location queries, even though every such update may make
combinatorial changes to the Voronoi diagram. This data structure is the first
demonstration that deterministically and incrementally constructed Voronoi
diagrams can be maintained in amortized pointer changes per operation
while keeping -time point-location queries.Comment: 17 pages, 6 figures. Various small improvements. To appear in
Algorithmic
Sublinear Explicit Incremental Planar Voronoi Diagrams
A data structure is presented that explicitly maintains the graph of a
Voronoi diagram of point sites in the plane or the dual graph of a convex
hull of points in three dimensions while allowing insertions of new
sites/points. Our structure supports insertions in
expected amortized time, where suppresses polylogarithmic terms.
This is the first result to achieve sublinear time insertions; previously it
was shown by Allen et al. that amortized combinatorial
changes per insertion could occur in the Voronoi diagram but a sublinear-time
algorithm was only presented for the special case of points in convex position.Comment: 14 pages, 10 figures. Presented ant JCDCGGG 201