FPT Algorithms for Connected Feedback Vertex Set

We study the recently introduced Connected Feedback Vertex Set (CFVS) problem from the view-point of parameterized algorithms. CFVS is the connected variant of the classical Feedback Vertex Set problem and is defined as follows: given a graph G=(V,E) and an integer k, decide whether there exists F⊆V, |F|≤k, such that G[V∖F] is a forest and G[F] is connected. We show that Connected Feedback Vertex Set can be solved in time O(2O(k)nO(1)) on general graphs and in time $O(2^{O(\sqrt{k}\log k)}n^{O(1)})$ on graphs excluding a fixed graph H as a minor. Our result on general undirected graphs uses, as a subroutine, a parameterized algorithm for Group Steiner Tree, a well studied variant of Steiner Tree. We find the algorithm for Group Steiner Tree of independent interest and believe that it could be useful for obtaining parameterized algorithms for other connectivity problems.

[1]  Stefan Richter,et al.  Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover , 2006, Theory of Computing Systems.

[2]  Rolf Niedermeier,et al.  Parameterized Complexity of Vertex Cover Variants , 2007, Theory of Computing Systems.

[3]  L. Lovász Graph minor theory , 2005 .

[4]  Shan Wang,et al.  Finding Top-k Min-Cost Connected Trees in Databases , 2007, 2007 IEEE 23rd International Conference on Data Engineering.

[5]  Michael R. Fellows,et al.  Fixed Parameter Tractability and Completeness , 1992, Complexity Theory: Current Research.

[6]  Hans L. Bodlaender,et al.  A linear time algorithm for finding tree-decompositions of small treewidth , 1993, STOC.

[7]  Saket Saurabh,et al.  Linear Kernel for Planar Connected Dominating Set , 2009, TAMC.

[8]  Panos M. Pardalos,et al.  Feedback Set Problems , 1999, Handbook of Combinatorial Optimization.

[9]  Toshihiro Fujito,et al.  A 2-approximation NC algorithm for connected vertex cover and tree cover , 2004, Inf. Process. Lett..

[10]  Erik D. Demaine,et al.  Linearity of grid minors in treewidth with applications through bidimensionality , 2008, Comb..

[11]  Jianer Chen,et al.  Improved algorithms for feedback vertex set problems , 2007, J. Comput. Syst. Sci..

[12]  Michael R. Fellows,et al.  On Problems without Polynomial Kernels (Extended Abstract) , 2008, ICALP.

[13]  Alexander Grigoriev,et al.  Connected Feedback Vertex Set in Planar Graphs , 2009, WG.

[14]  Michael R. Fellows,et al.  An O(2O(k)n3) FPT Algorithm for the Undirected Feedback Vertex Set Problem , 2005, COCOON.

[15]  Alex Zelikovsky,et al.  Tighter Bounds for Graph Steiner Tree Approximation , 2005, SIAM J. Discret. Math..

[16]  Michael R. Fellows,et al.  Parameterized Complexity , 1998 .

[17]  Saket Saurabh,et al.  Faster fixed parameter tractable algorithms for finding feedback vertex sets , 2006, TALG.

[18]  Noga Alon,et al.  Algorithmic construction of sets for k-restrictions , 2006, TALG.

[19]  Saket Saurabh,et al.  Incompressibility through Colors and IDs , 2009, ICALP.

[20]  Jesper Nederlof Fast Polynomial-Space Algorithms Using Möbius Inversion: Improving on Steiner Tree and Related Problems , 2009, ICALP.

[21]  S. Guha,et al.  Approximation Algorithms for Connected Dominating Sets , 1998, Algorithmica.

[22]  Rolf Niedermeier,et al.  Compression-based fixed-parameter algorithms for feedback vertex set and edge bipartization , 2006, J. Comput. Syst. Sci..

[23]  Dimitrios M. Thilikos,et al.  Bidimensionality and kernels , 2010, SODA '10.

[24]  Stéphan Thomassé A quadratic kernel for feedback vertex set , 2009, SODA.

[25]  Gregory Gutin,et al.  Digraphs - theory, algorithms and applications , 2002 .

[26]  Fabrizio Grandoni,et al.  Solving Connected Dominating Set Faster than 2n , 2007, Algorithmica.

[27]  Hans L. Bodlaender On Disjoint Cycles , 1994, Int. J. Found. Comput. Sci..

[28]  Samir Khuller,et al.  Improved Methods for Approximating Node Weighted Steiner Trees and Connected Dominating Sets , 1998, Inf. Comput..

[29]  Ken-ichi Kawarabayashi,et al.  Algorithmic graph minor theory: Decomposition, approximation, and coloring , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[30]  Rolf Niedermeier,et al.  Invitation to Fixed-Parameter Algorithms , 2006 .

[31]  R. Ravi,et al.  A polylogarithmic approximation algorithm for the group Steiner tree problem , 2000, SODA '98.

[32]  Jörg Flum,et al.  Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series) , 2006 .