How Much Does a Treedepth Modulator Help to Obtain Polynomial Kernels Beyond Sparse Graphs?

Authors Marin Bougeret, Ignasi Sau



PDF
Thumbnail PDF

File

LIPIcs.IPEC.2017.10.pdf
  • Filesize: 0.76 MB
  • 13 pages

Document Identifiers

Author Details

Marin Bougeret
Ignasi Sau

Cite As Get BibTex

Marin Bougeret and Ignasi Sau. How Much Does a Treedepth Modulator Help to Obtain Polynomial Kernels Beyond Sparse Graphs?. In 12th International Symposium on Parameterized and Exact Computation (IPEC 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 89, pp. 10:1-10:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018) https://doi.org/10.4230/LIPIcs.IPEC.2017.10

Abstract

In the last years, kernelization with structural parameters has been an active area of research within the field of parameterized complexity. As a relevant example, Gajarsky et al. [ESA 2013] proved that every graph problem satisfying a property called finite integer index admits a linear kernel on graphs of bounded expansion and an almost linear kernel on nowhere dense graphs, parameterized by the size of a c-treedepth modulator, which is a vertex set whose removal results in a graph of treedepth at most c for a fixed integer c>0. The authors left as further research to investigate this parameter on general graphs, and in particular to find problems that, while admitting polynomial kernels on sparse graphs, behave differently on general graphs.

In this article we answer this question by finding two very natural such problems: we prove that VERTEX COVER admits a polynomial kernel on general graphs for any integer c>0, and that DOMINATING SET does not for any integer c>1 even on degenerate graphs, unless NP is a subset of coNP/poly. For the positive result, we build on the techniques of Jansen and Bodlaender [STACS 2011], and for the negative result we use a polynomial parameter transformation for c>2 and an OR-cross-composition for c=2. As existing results imply that DOMINATING SET admits a polynomial kernel on degenerate graphs for c=1, our result provides a dichotomy about the existence of polynomial problems for DOMINATING SET on degenerate graphs with this parameter.

Subject Classification

Keywords
  • parameterized complexity
  • polynomial kernels
  • structural parameters
  • treedepth
  • treewidth
  • sparse graphs

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Faisal N Abu-Khzam, Michael R Fellows, Michael A Langston, and W Henry Suters. Crown structures for vertex cover kernelization. Theory of Computing Systems, 41(3):411-430, 2007. Google Scholar
  2. Hans L Bodlaender, Rodney G Downey, Michael R Fellows, and Danny Hermelin. On problems without polynomial kernels. Journal of Computer and System Sciences, 75(8):423-434, 2009. Google Scholar
  3. Hans L. Bodlaender, Fedor V. Fomin, Daniel Lokshtanov, Eelko Penninkx, Saket Saurabh, and Dimitrios M. Thilikos. (Meta) Kernelization. In Proc. of the 50th IEEE Symposium on Foundations of Computer Science (FOCS), pages 629-638. IEEE Computer Society, 2009. Google Scholar
  4. B. Courcelle. The monadic second-order theory of graphs I: recognisable sets of finite graphs. Information and Computation, 85(12-75):663, 1990. Google Scholar
  5. Marek Cygan, Lukasz Kowalik, and Marcin Pilipczuk. Open problem session of the Workshop on Kernelization (WorKer), Warsaw, Poland, 2013. Summary available at URL: http://worker2013.mimuw.edu.pl/slides/worker-opl.pdf.
  6. Marek Cygan, Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk, and Saket Saurabh. On the hardness of losing width. Theory of Computing Systems, 54(1):73-82, 2014. Google Scholar
  7. Michael Dom, Daniel Lokshtanov, and Saket Saurabh. Kernelization lower bounds through colors and ids. ACM Transactions on Algorithms, 11(2):13, 2014. Google Scholar
  8. Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh, and Dimitrios M. Thilikos. Bidimensionality and kernels. In Proc. of the 21st ACM-SIAM Symp. on Disc. Algorithms (SODA), pages 503-510, 2010. Google Scholar
  9. Fedor V. Fomin and Torstein J. F. Strømme. Vertex cover structural parameterization revisited. CoRR, abs/1603.00770, 2016. URL: http://arxiv.org/abs/1603.00770.
  10. L. Fortnow and R. Santhanam. Infeasibility of instance compression and succinct PCPs for NP. Journal of Computer and System Sciences, 77(1):91-106, 2011. Google Scholar
  11. Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian Ordyniak, Felix Reidl, Peter Rossmanith, Fernando Sánchez Villaamil, and Somnath Sikdar. Kernelization using structural parameters on sparse graph classes. Journal of Computer and System Sciences, 84:219-242, 2017. Google Scholar
  12. Valentin Garnero, Christophe Paul, Ignasi Sau, and Dimitrios M. Thilikos. Explicit linear kernels via dynamic programming. SIAM Journal on Discrete Mathematics, 29(4):1864-1894, 2015. Google Scholar
  13. Jiong Guo, Falk Hüffner, and Rolf Niedermeier. A Structural View on Parameterizing Problems: Distance from Triviality. In Proc. of the 1st International Workshop on Parameterized and Exact Computation (IWPEC), volume 3162 of LNCS, pages 162-173, 2004. Google Scholar
  14. Bart Jansen and Hans Bodlaender. Vertex cover kernelization revisited: Upper and lower bounds for a refined parameter. In Proc. of the 28th Symposium on Theoretical Aspects of Computer Science (STACS), volume 9 of LIPIcs, pages 177-188, 2011. Google Scholar
  15. Eun Jung Kim, Alexander Langer, Christophe Paul, Felix Reidl, Peter Rossmanith, Ignasi Sau, and Somnath Sikdar. Linear kernels and single-exponential algorithms via protrusion decompositions. ACM Transactions on Algorithms, 12(2):21, 2016. Google Scholar
  16. Diptapriyo Majumdar, Venkatesh Raman, and Saket Saurabh. Kernels for structural parameterizations of vertex cover - case of small degree modulators. In Proc. of the 10th International Symposium on Parameterized and Exact Computation (IPEC), volume 43 of LIPIcs, pages 331-342, 2015. Google Scholar
  17. Jaroslav Nesetril and Patrice Ossona De Mendez. Sparsity: Graphs, Structures, and Algorithms. Algorithms and Combinatorics. Springer, 2012. URL: https://hal.archives-ouvertes.fr/hal-00768681.
  18. Rolf Niedermeier. Reflections on multivariate algorithmics and problem parameterization. In Proc. of the 27th International Symposium on Theoretical Aspects of Computer Science (STACS), volume 5 of LIPIcs, pages 17-32, 2010. Google Scholar
  19. Geevarghese Philip, Venkatesh Raman, and Somnath Sikdar. Solving dominating set in larger classes of graphs: FPT algorithms and polynomial kernels. In Proc. of the 17th Annual European Symposium on Algorithms (ESA), volume 5757 of LNCS, pages 694-705, 2009. Google Scholar
  20. Felix Reidl, Peter Rossmanith, Fernando Sánchez Villaamil, and Somnath Sikdar. A faster parameterized algorithm for treedepth. In Proc. of the 41st International Colloquium on Automata, Languages, and Programming (ICALP), volume 8572 of Lecture Notes in Computer Science, pages 931-942, 2014. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail