Kernelization Hardness of Connectivity Problems in d-Degenerate Graphs

A graph is d-degenerate if its every subgraph contains a vertex of degree at most d. For instance, planar graphs are 5-degenerate. Inspired by recent work by Philip, Raman and Sikdar, who have shown the existence of a polynomial kernel for DOMINATING SET in d-degenerate graphs, we investigate kernelization hardness of problems that include connectivity requirement in this class of graphs. Our main contribution is the proof that CONNECTED DOMINATING SET does not admit a polynomial kernel in d-degenerate graphs for d ≥ 2 unless the polynomial hierarchy collapses up to the third level. We prove this using a problem originated from bioinformatics --COLOURFUL GRAPH MOTIF-- analyzed and proved to be NP-hard by Fellows et al. This problem nicely encapsulates the hardness of the connectivity requirement in kernelization. Our technique yields also an alternative proof that, under the same complexity assumption, STEINER TREE does not admit a polynomial kernel. The original proof, via reduction from SET COVER, is due to Dom, Lokshtanov and Saurabh. We extend our analysis by showing that, unless PH = Σp3, there do not exist polynomial kernels for STEINER TREE, CONNECTED FEEDBACK VERTEX SET and CONNECTED ODD CYCLE TRANSVERSAL in d-degenerate graphs for d ≥ 2. On the other hand, we show a polynomial kernel for CONNECTED VERTEX COVER in graphs that do not contain the biclique Ki,j as a subgraph.

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

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

[3]  Geevarghese Philip,et al.  Solving Dominating Set in Larger Classes of Graphs: FPT Algorithms and Polynomial Kernels , 2009, ESA.

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

[5]  A. Thomason An extremal function for contractions of graphs , 1984, Mathematical Proceedings of the Cambridge Philosophical Society.

[6]  Dimitrios M. Thilikos,et al.  (Meta) Kernelization , 2009, FOCS.

[7]  H. Bodlaender,et al.  Analysis of Data Reduction: Transformations give evidence for non-existence of polynomial kernels , 2008 .

[8]  Michael R. Fellows,et al.  Sharp Tractability Borderlines for Finding Connected Motifs in Vertex-Colored Graphs , 2007, ICALP.

[9]  Geevarghese Philip,et al.  FPT algorithms for Connected Feedback Vertex Set , 2009, Journal of Combinatorial Optimization.

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

[11]  Noga Alon,et al.  Linear Time Algorithms for Finding a Dominating Set of Fixed Size in Degenerated Graphs , 2007, Algorithmica.

[12]  Henning Fernau,et al.  Kernel(s) for problems with no kernel: On out-trees with many leaves , 2008, TALG.

[13]  Lance Fortnow,et al.  Infeasibility of instance compression and succinct PCPs for NP , 2007, J. Comput. Syst. Sci..

[14]  Petr A. Golovach,et al.  Parameterized Complexity for Domination Problems on Degenerate Graphs , 2008, WG.

[15]  Weijia Jia,et al.  Vertex Cover: Further Observations and Further Improvements , 2001, J. Algorithms.

[16]  Jérôme Monnot,et al.  Complexity and Approximation Results for the Connected Vertex Cover Problem , 2007, WG.

[17]  Weijia Jia,et al.  Vertex Cover: Further Observations and Further Improvements , 1999, J. Algorithms.

[18]  Alexandr V. Kostochka,et al.  Lower bound of the hadwiger number of graphs by their average degree , 1984, Comb..

[19]  Andrew Thomason,et al.  The Extremal Function for Complete Minors , 2001, J. Comb. Theory B.