Kernelization hardness of connectivity problems in d-degenerate graphs

  • Authors:

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

  • Affiliations:

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

  • Venue:
  • WG'10 Proceedings of the 36th international conference on Graph-theoretic concepts in computer science
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.