1,234 research outputs found
Simply Realising an Imprecise Polyline is NP-hard
We consider the problem of deciding, given a sequence of regions, if there is a choice of points, one for each region, such that the induced polyline is simple or weakly simple, meaning that it can touch but not cross itself. Specifically, we consider the case where each region is a translate of the same shape. We show that the problem is NP-hard when the shape is a unit-disk or unit-square. We argue that the problem is is NP-complete when the shape is a vertical unit-segment
Colored Non-Crossing Euclidean Steiner Forest
Given a set of -colored points in the plane, we consider the problem of
finding trees such that each tree connects all points of one color class,
no two trees cross, and the total edge length of the trees is minimized. For
, this is the well-known Euclidean Steiner tree problem. For general ,
a -approximation algorithm is known, where is the
Steiner ratio.
We present a PTAS for , a -approximation algorithm
for , and two approximation algorithms for general~, with ratios
and
Gap-ETH-Tight Approximation Schemes for Red-Green-Blue Separation and Bicolored Noncrossing Euclidean Travelling Salesman Tours
In this paper, we study problems of connecting classes of points via
noncrossing structures. Given a set of colored terminal points, we want to find
a graph for each color that connects all terminals of its color with the
restriction that no two graphs cross each other. We consider these problems
both on the Euclidean plane and in planar graphs.
On the algorithmic side, we give a Gap-ETH-tight EPTAS for the two-colored
traveling salesman problem as well as for the red-blue-green separation problem
(in which we want to separate terminals of three colors with two noncrossing
polygons of minimum length), both on the Euclidean plane. This improves the
work of Arora and Chang (ICALP 2003) who gave a slower PTAS for the simpler
red-blue separation problem. For the case of unweighted plane graphs, we also
show a PTAS for the two-colored traveling salesman problem. All these results
are based on our new patching procedure that might be of independent interest.
On the negative side, we show that the problem of connecting terminal pairs
with noncrossing paths is NP-hard on the Euclidean plane, and that the problem
of finding two noncrossing spanning trees is NP-hard in plane graphs.Comment: 36 pages, 15 figures (colored
Most vital segment barriers
We study continuous analogues of "vitality" for discrete network flows/paths,
and consider problems related to placing segment barriers that have highest
impact on a flow/path in a polygonal domain. This extends the graph-theoretic
notion of "most vital arcs" for flows/paths to geometric environments. We give
hardness results and efficient algorithms for various versions of the problem,
(almost) completely separating hard and polynomially-solvable cases
Fréchet Distance for Uncertain Curves
In this article, we study a wide range of variants for computing the (discrete and continuous) Fréchet distance between uncertain curves. An uncertain curve is a sequence of uncertainty regions, where each region is a disk, a line segment, or a set of points. A realisation of a curve is a polyline connecting one point from each region. Given an uncertain curve and a second (certain or uncertain) curve, we seek to compute the lower and upper bound Fréchet distance, which are the minimum and maximum Fréchet distance for any realisations of the curves. We prove that both problems are NP-hard for the Fréchet distance in several uncertainty models, and that the upper bound problem remains hard for the discrete Fréchet distance. In contrast, the lower bound (discrete [5] and continuous) Fréchet distance can be computed in polynomial time in some models. Furthermore, we show that computing the expected (discrete and continuous) Fréchet distance is #P-hard in some models.On the positive side, we present an FPTAS in constant dimension for the lower bound problem when Δ/δis polynomially bounded, where δis the Fréchet distance and Δbounds the diameter of the regions. We also show a near-linear-time 3-approximation for the decision problem on roughly δ-separated convex regions. Finally, we study the setting with Sakoe-Chiba time bands, where we restrict the alignment between the curves, and give polynomial-time algorithms for the upper bound and expected discrete and continuous Fréchet distance for uncertainty modelled as point sets.</p
- …