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 -