On Kernelization and Approximation for the Vector Connectivity Problem

被引:0
|
作者
Kratsch, Stefan [1 ]
Sorge, Manuel [2 ]
机构
[1] Univ Bonn, Inst Informat, Bonn, Germany
[2] TU Berlin, Inst Softwaretech & Theoret Informat, Berlin, Germany
关键词
Parameterized complexity; Approximation; Graph algorithms; Kernelization; NP-hard problem; Separators; ALGORITHMS;
D O I
10.1007/s00453-016-0231-y
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In the Vector Connectivity problem we are given an undirected graph , a demand function , and an integer k. The question is whether there exists a set S of at most k vertices such that every vertex has at least vertex-disjoint paths to S; this abstractly captures questions about placing servers or warehouses relative to demands. The problem is -hard already for instances with (Cicalese et al., Theoretical Computer Science '15), admits a log-factor approximation (Boros et al., Networks '14), and is fixed-parameter tractable in terms of k (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 fixed constant. For Vector d-Connectivity we give a factor d-approximation algorithm and construct a vertex-linear kernelization, that is, an efficient reduction to an equivalent instance with vertices. For Vector Connectivity we have a factor -approximation and we can show that it has no kernelization to size polynomial in k or even unless , which shows that is optimal for Vector d-Connectivity. Finally, we give a simple randomized fixed-parameter algorithm for Vector Connectivity with respect to k based on matroid intersection.
引用
收藏
页码:96 / 138
页数:43
相关论文
共 50 条
  • [1] On Kernelization and Approximation for the Vector Connectivity Problem
    Stefan Kratsch
    Manuel Sorge
    Algorithmica, 2017, 79 : 96 - 138
  • [2] Kernelization for Maximum Happy Vertices Problem
    Gao, Hang
    Gao, Wenyu
    LATIN 2018: THEORETICAL INFORMATICS, 2018, 10807 : 504 - 514
  • [3] Minimum Fill-in of Sparse Graphs: Kernelization and Approximation
    Fomin, Fedor V.
    Philip, Geevarghese
    Villanger, Yngve
    ALGORITHMICA, 2015, 71 (01) : 1 - 20
  • [4] On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem
    Crampton, Jason
    Gutin, Gregory
    Yeo, Anders
    ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, 2013, 16 (01)
  • [5] HITTING FORBIDDEN MINORS: APPROXIMATION AND KERNELIZATION
    Fomin, Fedor V.
    Lokshtanov, Daniel
    Misra, Neeldhara
    Philip, Geevarghese
    Saurabh, Saket
    SIAM JOURNAL ON DISCRETE MATHEMATICS, 2016, 30 (01) : 383 - 410
  • [6] Minimum Fill-in of Sparse Graphs: Kernelization and Approximation
    Fedor V. Fomin
    Geevarghese Philip
    Yngve Villanger
    Algorithmica, 2015, 71 : 1 - 20
  • [7] Minimum Fill-in of Sparse Graphs: Kernelization and Approximation
    Fomin, Fedor V.
    Philip, Geevarghese
    Villanger, Yngve
    IARCS ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2011), 2011, 13 : 164 - 175
  • [8] Approximation and Kernelization for Chordal Vertex Deletion
    Jansen, Bart M. P.
    Pilipczuk, Marcin
    PROCEEDINGS OF THE TWENTY-EIGHTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2017, : 1399 - 1418
  • [9] APPROXIMATION AND KERNELIZATION FOR CHORDAL VERTEX DELETION
    Jansen, Bart M. P.
    Pilipczuk, Marcin
    SIAM JOURNAL ON DISCRETE MATHEMATICS, 2018, 32 (03) : 2258 - 2301
  • [10] PLANAR F-DELETION: Approximation, Kernelization and Optimal FPT Algorithms (Extended Abstract)
    Fomin, Fedor V.
    Lokshtanov, Daniel
    Misra, Neeldhara
    Saurabh, Saket
    2012 IEEE 53RD ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2012, : 470 - 479