License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.IPEC.2015.114
URN: urn:nbn:de:0030-drops-55769
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5576/
Go to the corresponding LIPIcs Volume Portal

Eiben, Eduard ; Ganian, Robert ; Szeider, Stefan

Meta-kernelization using Well-structured Modulators

pdf-format:
13.pdf (0.4 MB)

Abstract

Kernelization investigates exact preprocessing algorithms with performance guarantees. The most prevalent type of parameters used in kernelization is the solution size for optimization problems; however, also structural parameters have been successfully used to obtain polynomial kernels for a wide range of problems. Many of these parameters can be defined as the size of a smallest modulator of the given graph into a fixed graph class (i.e., a set of vertices whose deletion puts the graph into the graph class). Such parameters admit the construction of polynomial kernels even when the solution size is large or not applicable. This work follows up on the research on meta-kernelization frameworks in terms of structural parameters.

We develop a class of parameters which are based on a more general view on modulators: instead of size, the parameters employ a combination of rank-width and split decompositions to measure structure inside the modulator. This allows us to lift kernelization results from modulator-size to more general parameters, hence providing smaller kernels. We show (i) how such large but well-structured modulators can be efficiently approximated, (ii) how they can be used to obtain polynomial kernels for any graph problem expressible in Monadic Second Order logic, and (iii) how they allow the extension of previous results in the area of structural meta-kernelization.

BibTeX - Entry

@InProceedings{eiben_et_al:LIPIcs:2015:5576,
  author =	{Eduard Eiben and Robert Ganian and Stefan Szeider},
  title =	{{Meta-kernelization using Well-structured Modulators}},
  booktitle =	{10th International Symposium on Parameterized and Exact Computation (IPEC 2015)},
  pages =	{114--126},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-92-7},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{43},
  editor =	{Thore Husfeldt and Iyad Kanj},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5576},
  URN =		{urn:nbn:de:0030-drops-55769},
  doi =		{10.4230/LIPIcs.IPEC.2015.114},
  annote =	{Keywords: Kernelization, Parameterized complexity, Structural parameters, Rank-width, Split decompositions}
}

Keywords: Kernelization, Parameterized complexity, Structural parameters, Rank-width, Split decompositions
Collection: 10th International Symposium on Parameterized and Exact Computation (IPEC 2015)
Issue Date: 2015
Date of publication: 19.11.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI