Fractals for kernelization lower bounds

Till Fluschnik, Danny Hermelin, André Nichterlein, Rolf Niedermeier

Research output: Contribution to journalArticlepeer-review

8 Scopus citations

Abstract

The composition technique is a popular method for excluding polynomial-size problem kernels for NP-hard parameterized problems. We present a new technique exploiting triangle-based fractal structures for extending the range of applicability of compositions. Our technique makes it possible to prove new no-polynomial-kernel results for a number of problems dealing with length-bounded cuts. In particular, answering an open question of Golovach and Thilikos [Discrete Optim., 8 (2011), pp. 77–86], we show that, unless NP ⊆ coNP /poly, the NP-hard Length-Bounded Edge-Cut (LBEC) problem (delete at most k edges such that the resulting graph has no s-t path of length shorter than ) parameterized by the combination of k and has no polynomial-size problem kernel. Our framework applies to planar as well as directed variants of the basic problems and also applies to both edge and vertex-deletion problems. Along the way, we show that LBEC remains NP-hard on planar graphs, a result which we believe is interesting in its own right.

Original languageEnglish
Pages (from-to)656-681
Number of pages26
JournalSIAM Journal on Discrete Mathematics
Volume32
Issue number1
DOIs
StatePublished - 1 Jan 2018

Keywords

  • Cross-compositions
  • Graph modification problems
  • Interdiction problems
  • Lower bounds
  • Parameterized complexity
  • Polynomial-time data reduction

ASJC Scopus subject areas

  • Mathematics (all)

Fingerprint

Dive into the research topics of 'Fractals for kernelization lower bounds'. Together they form a unique fingerprint.

Cite this