228 research outputs found
Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs
We propose polynomial-time algorithms that sparsify planar and bounded-genus
graphs while preserving optimal or near-optimal solutions to Steiner problems.
Our main contribution is a polynomial-time algorithm that, given an unweighted
graph embedded on a surface of genus and a designated face bounded
by a simple cycle of length , uncovers a set of size
polynomial in and that contains an optimal Steiner tree for any set of
terminals that is a subset of the vertices of .
We apply this general theorem to prove that: * given an unweighted graph
embedded on a surface of genus and a terminal set , one
can in polynomial time find a set that contains an optimal
Steiner tree for and that has size polynomial in and ; * an
analogous result holds for an optimal Steiner forest for a set of terminal
pairs; * given an unweighted planar graph and a terminal set , one can in polynomial time find a set that contains
an optimal (edge) multiway cut separating and that has size polynomial
in .
In the language of parameterized complexity, these results imply the first
polynomial kernels for Steiner Tree and Steiner Forest on planar and
bounded-genus graphs (parameterized by the size of the tree and forest,
respectively) and for (Edge) Multiway Cut on planar graphs (parameterized by
the size of the cutset). Additionally, we obtain a weighted variant of our main
contribution
Tight Bounds for Gomory-Hu-like Cut Counting
By a classical result of Gomory and Hu (1961), in every edge-weighted graph
, the minimum -cut values, when ranging over all ,
take at most distinct values. That is, these instances
exhibit redundancy factor . They further showed how to construct
from a tree that stores all minimum -cut values. Motivated
by this result, we obtain tight bounds for the redundancy factor of several
generalizations of the minimum -cut problem.
1. Group-Cut: Consider the minimum -cut, ranging over all subsets
of given sizes and . The redundancy
factor is .
2. Multiway-Cut: Consider the minimum cut separating every two vertices of
, ranging over all subsets of a given size . The
redundancy factor is .
3. Multicut: Consider the minimum cut separating every demand-pair in
, ranging over collections of demand pairs. The
redundancy factor is . This result is a bit surprising, as
the redundancy factor is much larger than in the first two problems.
A natural application of these bounds is to construct small data structures
that stores all relevant cut values, like the Gomory-Hu tree. We initiate this
direction by giving some upper and lower bounds.Comment: This version contains additional references to previous work (which
have some overlap with our results), see Bibliographic Update 1.
A Polynomial-time Bicriteria Approximation Scheme for Planar Bisection
Given an undirected graph with edge costs and node weights, the minimum
bisection problem asks for a partition of the nodes into two parts of equal
weight such that the sum of edge costs between the parts is minimized. We give
a polynomial time bicriteria approximation scheme for bisection on planar
graphs.
Specifically, let be the total weight of all nodes in a planar graph .
For any constant , our algorithm outputs a bipartition of the
nodes such that each part weighs at most and the total cost
of edges crossing the partition is at most times the total
cost of the optimal bisection. The previously best known approximation for
planar minimum bisection, even with unit node weights, was . Our
algorithm actually solves a more general problem where the input may include a
target weight for the smaller side of the bipartition.Comment: To appear in STOC 201
Rounding Algorithms for a Geometric Embedding of Minimum Multiway Cut
The multiway-cut problem is, given a weighted graph and k >= 2 terminal
nodes, to find a minimum-weight set of edges whose removal separates all the
terminals. The problem is NP-hard, and even NP-hard to approximate within
1+delta for some small delta > 0.
Calinescu, Karloff, and Rabani (1998) gave an algorithm with performance
guarantee 3/2-1/k, based on a geometric relaxation of the problem. In this
paper, we give improved randomized rounding schemes for their relaxation,
yielding a 12/11-approximation algorithm for k=3 and a 1.3438-approximation
algorithm in general.
Our approach hinges on the observation that the problem of designing a
randomized rounding scheme for a geometric relaxation is itself a linear
programming problem. The paper explores computational solutions to this
problem, and gives a proof that for a general class of geometric relaxations,
there are always randomized rounding schemes that match the integrality gap.Comment: Conference version in ACM Symposium on Theory of Computing (1999). To
appear in Mathematics of Operations Researc
FPT Inapproximability of Directed Cut and Connectivity Problems
Cut problems and connectivity problems on digraphs are two well-studied classes of problems from the viewpoint of parameterized complexity. After a series of papers over the last decade, we now have (almost) tight bounds for the running time of several standard variants of these problems parameterized by two parameters: the number k of terminals and the size p of the solution. When there is evidence of FPT intractability, then the next natural alternative is to consider FPT approximations. In this paper, we show two types of results for directed cut and connectivity problems, building on existing results from the literature: first is to circumvent the hardness results for these problems by designing FPT approximation algorithms, or alternatively strengthen the existing hardness results by creating "gap-instances" under stronger hypotheses such as the (Gap-)Exponential Time Hypothesis (ETH). Formally, we show the following results:
Cutting paths between a set of terminal pairs, i.e., Directed Multicut: Pilipczuk and Wahlstrom [TOCT \u2718] showed that Directed Multicut is W[1]-hard when parameterized by p if k=4. We complement this by showing the following two results:
- Directed Multicut has a k/2-approximation in 2^{O(p^2)}* n^{O(1)} time (i.e., a 2-approximation if k=4),
- Under Gap-ETH, Directed Multicut does not admit an (59/58-epsilon)-approximation in f(p)* n^{O(1)} time, for any computable function f, even if k=4.
Connecting a set of terminal pairs, i.e., Directed Steiner Network (DSN): The DSN problem on general graphs is known to be W[1]-hard parameterized by p+k due to Guo et al. [SIDMA \u2711]. Dinur and Manurangsi [ITCS \u2718] further showed that there is no FPT k^{1/4-o(1)}-approximation algorithm parameterized by k, under Gap-ETH. Chitnis et al. [SODA \u2714] considered the restriction to special graph classes, but unfortunately this does not lead to FPT algorithms either: DSN on planar graphs is W[1]-hard parameterized by k. In this paper we consider the DSN_Planar problem which is an intermediate version: the graph is general, but we want to find a solution whose cost is at most that of an optimal planar solution (if one exists). We show the following lower bounds for DSN_Planar:
- DSN_Planar has no (2-epsilon)-approximation in FPT time parameterized by k, under Gap-ETH. This answers in the negative a question of Chitnis et al. [ESA \u2718].
- DSN_Planar is W[1]-hard parameterized by k+p. Moreover, under ETH, there is no (1+epsilon)-approximation for DSN_Planar in f(k,p,epsilon)* n^{o(k+sqrt{p+1/epsilon})} time for any computable function f.
Pairwise connecting a set of terminals, i.e., Strongly Connected Steiner Subgraph (SCSS): Guo et al. [SIDMA \u2711] showed that SCSS is W[1]-hard parameterized by p+k, while Chitnis et al. [SODA \u2714] showed that SCSS remains W[1]-hard parameterized by p, even if the input graph is planar. In this paper we consider the SCSS_Planar problem which is an intermediate version: the graph is general, but we want to find a solution whose cost is at most that of an optimal planar solution (if one exists). We show the following lower bounds for SCSS_Planar:
- SCSS_Planar is W[1]-hard parameterized by k+p. Moreover, under ETH, there is no (1+epsilon)-approximation for SCSS_Planar in f(k,p,epsilon)* n^{o(sqrt{k+p+1/epsilon})} time for any computable function f.
Previously, the only known FPT approximation results for SCSS applied to general graphs parameterized by k: a 2-approximation by Chitnis et al. [IPEC \u2713], and a matching (2-epsilon)-hardness under Gap-ETH by Chitnis et al. [ESA \u2718]
- …