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

Download:

Current browse context:

cs.DS

Change to browse by:

cs

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: Kernelization for Feedback Vertex Set via Elimination Distance to a Forest

Abstract: We study efficient preprocessing for the undirected Feedback Vertex Set problem, a fundamental problem in graph theory which asks for a minimum-sized vertex set whose removal yields an acyclic graph. More precisely, we aim to determine for which parameterizations this problem admits a polynomial kernel. While a characterization is known for the related Vertex Cover problem based on the recently introduced notion of bridge-depth, it remained an open problem whether this could be generalized to Feedback Vertex Set. The answer turns out to be negative; the existence of polynomial kernels for structural parameterizations for Feedback Vertex Set is governed by the elimination distance to a forest. Under the standard assumption that NP is not a subset of coNP/poly, we prove that for any minor-closed graph class $\mathcal G$, Feedback Vertex Set parameterized by the size of a modulator to $\mathcal G$ has a polynomial kernel if and only if $\mathcal G$ has bounded elimination distance to a forest. This captures and generalizes all existing kernels for structural parameterizations of the Feedback Vertex Set problem.
Comments: 40 pages, 4 figures. To be published in the Proceedings of WG2022
Subjects: Data Structures and Algorithms (cs.DS)
MSC classes: 05C85, 68R10
ACM classes: F.2.2; G.2.2
Cite as: arXiv:2206.04387 [cs.DS]
  (or arXiv:2206.04387v1 [cs.DS] for this version)

Submission history

From: David Dekker [view email]
[v1] Thu, 9 Jun 2022 09:57:45 GMT (122kb,D)

Link back to: arXiv, form interface, contact.