TY - GEN
T1 - On kernelization and approximation for the vector connectivity problem
AU - Kratsch, Stefan
AU - Sorge, Manuel
N1 - Publisher Copyright:
© Stefan Kratsch and Manuel Sorge;.
PY - 2015/11/1
Y1 - 2015/11/1
N2 - In the vector connectivity problem we are given an undirected graph G = (V, E), a demand function φ: V → {0,., d}, and an integer κ. The question is whether there exists a set S of at most κ vertices such that every vertex ν ∈ V \ S has at least φ(ν) vertex-disjoint paths to S; this abstractly captures questions about placing servers in a network, or warehouses on a map, relative to demands. The problem is NP-hard already for instances with d = 4 (Cicalese et al., Theor. Comput. Sci. '15), admits a log-factor approximation (Boros et al., Networks '14), and is fixed-parameter tractable in terms of κ (Lokshtanov, unpublished '14). We prove several results regarding kernelization and approximation for vector connectivity and the variant vector d-connectivity where the upper bound d on demands is a constant. For vector d-connectivity we give a factor d-approximation algorithm and construct a vertexlinear kernelization, i.e., an efficient reduction to an equivalent instance with f(d) κ = O(κ) vertices. For vector connectivity we get a factor opt-approximation and we show that it has no kernelization to size polynomial in κ+d unless NP⊆ coNP/poly, making f(d) poly(κ) optimal for vector d-connectivity. Finally, we provide a write-up for fixed-parameter tractability of vector connectivity (κ) by giving a different algorithm based on matroid intersection.
AB - In the vector connectivity problem we are given an undirected graph G = (V, E), a demand function φ: V → {0,., d}, and an integer κ. The question is whether there exists a set S of at most κ vertices such that every vertex ν ∈ V \ S has at least φ(ν) vertex-disjoint paths to S; this abstractly captures questions about placing servers in a network, or warehouses on a map, relative to demands. The problem is NP-hard already for instances with d = 4 (Cicalese et al., Theor. Comput. Sci. '15), admits a log-factor approximation (Boros et al., Networks '14), and is fixed-parameter tractable in terms of κ (Lokshtanov, unpublished '14). We prove several results regarding kernelization and approximation for vector connectivity and the variant vector d-connectivity where the upper bound d on demands is a constant. For vector d-connectivity we give a factor d-approximation algorithm and construct a vertexlinear kernelization, i.e., an efficient reduction to an equivalent instance with f(d) κ = O(κ) vertices. For vector connectivity we get a factor opt-approximation and we show that it has no kernelization to size polynomial in κ+d unless NP⊆ coNP/poly, making f(d) poly(κ) optimal for vector d-connectivity. Finally, we provide a write-up for fixed-parameter tractability of vector connectivity (κ) by giving a different algorithm based on matroid intersection.
KW - Approximation
KW - Kernelization
KW - Parameterized complexity
UR - http://www.scopus.com/inward/record.url?scp=84958247682&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.IPEC.2015.377
DO - 10.4230/LIPIcs.IPEC.2015.377
M3 - Conference contribution
AN - SCOPUS:84958247682
T3 - Leibniz International Proceedings in Informatics, LIPIcs
SP - 377
EP - 388
BT - 10th International Symposium on Parameterized and Exact Computation, IPEC 2015
A2 - Husfeldt, Thore
A2 - Husfeldt, Thore
A2 - Kanj, Iyad
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 10th International Symposium on Parameterized and Exact Computation, IPEC 2015
Y2 - 16 September 2015 through 18 September 2015
ER -