Logo image
Kernelization Dichotomies for Hitting Minors Under Structural Parameterizations
Acte de colloque

Kernelization Dichotomies for Hitting Minors Under Structural Parameterizations

Marin Bougeret, Eric Brandwein et Ignasi Sau
Leibniz International Proceedings in Informatics (LIPIcs), Vol.364, p.17:1-17:19
Leibniz International Proceedings in Informatics (LIPIcs)
STACS 2026 - 43rd International Symposium on Theoretical Aspects of Computer Science (Grenoble, France, 10/03/2026–13/03/2026)
25/02/2026

Résumé

Kernelization lower bound Elimination distance Structural parameterization Polynomial kernel Parameterized complexity Hitting forbidden minors
For a finite collection of connected graphs F, the F-Minor Deletion problem consists in, given a graph G and an integer ℓ, deciding whether G contains a vertex set of size at most ℓ whose removal results in an F-minor-free graph. We lift the existence of (approximate) polynomial kernels for F-Minor Deletion by the solution size to (approximate) polynomial kernels parameterized by the vertex-deletion distance to graphs of bounded elimination distance to F-minor-free graphs. This results in exact polynomial kernels for every family F that contains a planar graph, and an approximate polynomial kernel for Planar Vertex Deletion. Moreover, combining our result with a previous lower bound, we obtain the following infinite set of dichotomies, assuming NP ̸ ⊆ coNP/poly: for any finite set F of biconnected graphs on at least three vertices containing a planar graph, and any minor-closed class of graphs C, F-Minor Deletion admits a polynomial kernel parameterized by the vertex-deletion distance to C if and only if C has bounded elimination distance to F-minor-free graphs. For instance, this yields dichotomies for Cactus Vertex Deletion, Outerplanar Vertex Deletion, and Treewidth-t Vertex Deletion for every integer t ≥ 0. Prior to our work, such dichotomies were only known for the particular cases of Vertex Cover and Feedback Vertex Set. Our approach builds on the techniques developed by Jansen and Pieterse [Theor.].

Fichiers et liens (1)

url
Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Logo image