120 research outputs found
Nearly ETH-Tight Algorithms for Planar Steiner Tree with Terminals on Few Faces
The Planar Steiner Tree problem is one of the most fundamental NP-complete
problems as it models many network design problems. Recall that an instance of
this problem consists of a graph with edge weights, and a subset of vertices
(often called terminals); the goal is to find a subtree of the graph of minimum
total weight that connects all terminals. A seminal paper by Erickson et al.
[Math. Oper. Res., 1987] considers instances where the underlying graph is
planar and all terminals can be covered by the boundary of faces. Erickson
et al. show that the problem can be solved by an algorithm using
time and space, where denotes the number of vertices of the
input graph. In the past 30 years there has been no significant improvement of
this algorithm, despite several efforts.
In this work, we give an algorithm for Planar Steiner Tree with running time
using only polynomial space. Furthermore, we show
that the running time of our algorithm is almost tight: we prove that there is
no algorithm for Planar Steiner Tree for any computable
function , unless the Exponential Time Hypothesis fails.Comment: 32 pages, 8 figures, accepted at SODA 201
A face cover perspective to embeddings of planar graphs
It was conjectured by Gupta et al. [Combinatorica04] that every planar graph
can be embedded into with constant distortion. However, given an
-vertex weighted planar graph, the best upper bound on the distortion is
only , by Rao [SoCG99]. In this paper we study the case where
there is a set of terminals, and the goal is to embed only the terminals
into with low distortion. In a seminal paper, Okamura and Seymour
[J.Comb.Theory81] showed that if all the terminals lie on a single face, they
can be embedded isometrically into . The more general case, where the
set of terminals can be covered by faces, was studied by Lee and
Sidiropoulos [STOC09] and Chekuri et al. [J.Comb.Theory13]. The state of the
art is an upper bound of by Krauthgamer, Lee and Rika
[SODA19]. Our contribution is a further improvement on the upper bound to
. Since every planar graph has at most faces, any
further improvement on this result, will be a major breakthrough, directly
improving upon Rao's long standing upper bound. Moreover, it is well known that
the flow-cut gap equals to the distortion of the best embedding into .
Therefore, our result provides a polynomial time -approximation to the sparsest cut problem on planar graphs, for the
case where all the demand pairs can be covered by faces
Two-sets cut-uncut on planar graphs
We study the following Two-Sets Cut-Uncut problem on planar graphs. Therein,
one is given an undirected planar graph and two sets of vertices and
. The question is, what is the minimum number of edges to remove from ,
such that we separate all of from all of , while maintaining that every
vertex in , and respectively in , stays in the same connected component.
We show that this problem can be solved in time with a
one-sided error randomized algorithm. Our algorithm implies a polynomial-time
algorithm for the network diversion problem on planar graphs, which resolves an
open question from the literature. More generally, we show that Two-Sets
Cut-Uncut remains fixed-parameter tractable even when parameterized by the
number of faces in the plane graph covering the terminals , by
providing an algorithm of running time .Comment: 22 pages, 5 figure
A Gap-{ETH}-Tight Approximation Scheme for Euclidean {TSP}
We revisit the classic task of finding the shortest tour of points in -dimensional Euclidean space, for any fixed constant . We determine the optimal dependence on in the running time of an algorithm that computes a -approximate tour, under a plausible assumption. Specifically, we give an algorithm that runs in time. This improves the previously smallest dependence on in the running time of the algorithm by Rao and Smith (STOC 1998). We also show that a algorithm would violate the Gap-Exponential Time Hypothesis (Gap-ETH). Our new algorithm builds upon the celebrated quadtree-based methods initially proposed by Arora (J. ACM 1998), but it adds a simple new idea that we call \emph{sparsity-sensitive patching}. On a high level this lets the granularity with which we simplify the tour depend on how sparse it is locally. Our approach is (arguably) simpler than the one by Rao and Smith since it can work without geometric spanners. We demonstrate the technique extends easily to other problems, by showing as an example that it also yields a Gap-ETH-tight approximation scheme for Rectilinear Steiner Tree
The homogeneous broadcast problem in narrow and wide strips II:lower bounds
Let P be a set of nodes in a wireless network, where each node is modeled as a point in the plane, and let s∈ P be a given source node. Each node p can transmit information to all other nodes within unit distance, provided p is activated. The (homogeneous) broadcast problem is to activate a minimum number of nodes such that in the resulting directed communication graph, the source s can reach any other node. We study the complexity of the regular and the hop-bounded version of the problem—in the latter s must be able to reach every node within a specified number of hops—where we also consider how the complexity depends on the width w of the strip. We prove the following two lower bounds. First, we show that the regular version of the problem is W[1] -complete when parameterized by the solution size k. More precisely, we show that the problem does not admit an algorithm with running time f(k)no(k), unless ETH fails. The construction can also be used to show an f(w) n Ω ( w ) lower bound when we parameterize by the strip width w. Second, we prove that the hop-bounded version of the problem is NP-hard in strips of width 40. These results complement the algorithmic results in a companion paper (de Berg et al. in Algorithmica, submitted). </p
LIPIcs, Volume 248, ISAAC 2022, Complete Volume
LIPIcs, Volume 248, ISAAC 2022, Complete Volum
LIPIcs, Volume 244, ESA 2022, Complete Volume
LIPIcs, Volume 244, ESA 2022, Complete Volum
- …