English

On Kernelization and Approximation for the Vector Connectivity Problem

Computational Complexity 2015-06-24 v2 Discrete Mathematics

Abstract

In the Vector Connectivity problem we are given an undirected graph G=(V,E)G=(V,E), a demand function ϕ ⁣:V{0,,d}\phi\colon V\to\{0,\ldots,d\}, and an integer kk. The question is whether there exists a set SS of at most kk vertices such that every vertex vVSv\in V\setminus S has at least ϕ(v)\phi(v) vertex-disjoint paths to SS; this abstractly captures questions about placing servers or warehouses relative to demands. The problem is \NP-hard already for instances with d=4d=4 (Cicalese et al., arXiv '14), admits a log-factor approximation (Boros et al., Networks '14), and is fixed-parameter tractable in terms of~kk (Lokshtanov, unpublished '14). We prove several results regarding kernelization and approximation for Vector Connectivity and the variant Vector dd-Connectivity where the upper bound dd on demands is a fixed constant. For Vector dd-Connectivity we give a factor dd-approximation algorithm and construct a vertex-linear kernelization, i.e., an efficient reduction to an equivalent instance with f(d)k=O(k)f(d)k=O(k) vertices. For Vector Connectivity we have a factor opt\text{opt}-approximation and we can show that it has no kernelization to size polynomial in kk or even k+dk+d unless NPcoNP/poly\mathsf{NP\subseteq coNP/poly}, making f(d)poly(k)f(d)\operatorname{poly}(k) optimal for Vector dd-Connectivity. Finally, we provide a write-up for fixed-parameter tractability of Vector Connectivity(kk) by giving an alternative FPT algorithm based on matroid intersection.

Keywords

Cite

@article{arxiv.1410.8819,
  title  = {On Kernelization and Approximation for the Vector Connectivity Problem},
  author = {Stefan Kratsch and Manuel Sorge},
  journal= {arXiv preprint arXiv:1410.8819},
  year   = {2015}
}

Comments

Non-constructive Kernelization argument, improved technical details of signatures

R2 v1 2026-06-22T06:43:43.349Z