Explicit linear kernels for packing problems

DOI10.1007/S00453-018-0495-5zbMATH Open1422.68111arXiv1610.06131OpenAlexW2538886279WikidataQ129341636 ScholiaQ129341636MaRDI QIDQ1739112

Author name not available (Why is that?)

Publication date: 25 April 2019

Published in: (Search for Journal in Brave)

Abstract: During the last years, several algorithmic meta-theorems have appeared (Bodlaender et al. [FOCS 2009], Fomin et al. [SODA 2010], Kim et al. [ICALP 2013]) guaranteeing the existence of linear kernels on sparse graphs for problems satisfying some generic conditions. The drawback of such general results is that it is usually not clear how to derive from them constructive kernels with reasonably low explicit constants. To fill this gap, we recently presented [STACS 2014] a framework to obtain explicit linear kernels for some families of problems whose solutions can be certified by a subset of vertices. In this article we enhance our framework to deal with packing problems, that is, problems whose solutions can be certified by collections of subgraphs of the input graph satisfying certain properties. $mathcalF$-Packing is a typical example: for a family $mathcalF$ of connected graphs that we assume to contain at least one planar graph, the task is to decide whether a graph $G$ contains $k$ vertex-disjoint subgraphs such that each of them contains a graph in $mathcalF$ as a minor. We provide explicit linear kernels on sparse graphs for the following two orthogonal generalizations of $mathcalF$-Packing: for an integer $ellgeq1$, one aims at finding either minor-models that are pairwise at distance at least $ell$ in $G$ ($ell$-$mathcalF$-Packing), or such that each vertex in $G$ belongs to at most $ell$ minors-models ($mathcalF$-Packing with $ell$-Membership). Finally, we also provide linear kernels for the versions of these problems where one wants to pack subgraphs instead of minors.

Full work available at URL: https://arxiv.org/abs/1610.06131

zbMATH Keywords

No records found.

Mathematics Subject Classification ID

No records found.

This page was built for publication: Explicit linear kernels for packing problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1739112)