We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DS

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Data Structures and Algorithms

Title: Introducing lop-kernels: a framework for kernelization lower bounds

Abstract: In the Maximum Minimal Vertex Cover (MMVC) problem, we are given a graph $G$ and a positive integer $k$, and the objective is to decide whether $G$ contains a minimal vertex cover of size at least $k$. Motivated by the kernelization of MMVC with parameter $k$, our main contribution is to introduce a simple general framework to obtain kernelization lower bounds for a certain type of kernels for optimization problems, which we call lop-kernels. Informally, this type of kernels is required to preserve large optimal solutions in the reduced instance, and captures the vast majority of existing kernels in the literature.
As a consequence of this framework, we show that the trivial quadratic kernel for MMVC is essentially optimal, answering a question of Boria et al. [Discret. Appl. Math. 2015], and that the known cubic kernel for Maximum Minimal Feedback Vertex Set is also essentially optimal. We present further applications for Tree Deletion Set and for Maximum Independent Set on $K_t$-free graphs.
Back to the MMVC problem, given the (plausible) non-existence of subquadratic kernels for MMVC on general graphs, we provide subquadratic kernels on $H$-free graphs for several graphs $H$, such as the bull, the paw, or the complete graphs, by making use of the Erd\"os-Hajnal property. Finally, we prove that MMVC does not admit polynomial kernels parameterized by the size of a minimum vertex cover of the input graph, even on bipartite graphs, unless ${\sf NP} \subseteq {\sf coNP} / {\sf poly}$.
Comments: 37 pages, 2 figures
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
MSC classes: 05C15
ACM classes: G.2.2; F.2.2
Cite as: arXiv:2102.02484 [cs.DS]
  (or arXiv:2102.02484v3 [cs.DS] for this version)

Submission history

From: Ignasi Sau [view email]
[v1] Thu, 4 Feb 2021 08:51:40 GMT (232kb,D)
[v2] Tue, 4 May 2021 15:30:52 GMT (233kb,D)
[v3] Fri, 17 Dec 2021 15:32:07 GMT (253kb,D)

Link back to: arXiv, form interface, contact.