Kernelization hardness of connectivity problems in d-degenerate graphs

  • Authors:

  • Marek Cygan;Marcin Pilipczuk;Michał Pilipczuk;Jakub Onufry Wojtaszczyk

  • Affiliations:

  • Institute of Informatics, University of Warsaw, Poland;Institute of Informatics, University of Warsaw, Poland;Faculty of Mathematics, Computer Science and Mechanics, University of Warsaw, Poland;Institute of Mathematics, University of Warsaw, Poland

  • Venue:
  • Discrete Applied Mathematics
  • Year:
  • 2012

Quantified Score

Hi-index 0.04

Visualization

Abstract

A graph is d-degenerate if every subgraph contains a vertex of degree at most d. For instance, planar graphs are 5-degenerate. Inspired by the 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 the kernelization complexity of problems that include a 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 NP@?coNP/poly, which is known to cause a collapse of the polynomial hierarchy to its third level. We prove this using a problem that originates from bioinformatics-Colourful Graph Motif-analysed and proved to be NP-hard by Fellows et al. This problem nicely encapsulates the hardness of the connectivity requirement in kernelization. Our technique also yields an alternative proof that, under the same complexity assumption, Steiner Tree does not admit a polynomial kernel. The original proof, via a reduction from Set Cover, is due to Dom, Lokshtanov and Saurabh. We extend our analysis by showing that, unless NP@?coNP/poly, 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 K"i","j as a subgraph. As a d-degenerate graph cannot contain K"d"+"1","d"+"1 as a subgraph, the results holds also for graphs of bounded degeneracy.