Kernelization Dichotomies for Hitting Subgraphs under Structural Parameterizations

TL;DR

This paper characterizes when the H-Subgraph Hitting problem admits polynomial kernels based on structural parameters, revealing a dichotomy that depends on whether H is a clique, under certain complexity assumptions.

Contribution

It establishes a sharp dichotomy for polynomial kernelization of H-Subgraph Hitting based on the structure of H and introduces new graph parameters inspired by C-elimination distance.

Findings

Polynomial kernels exist if and only if H is a clique.

The results differentiate between hitting minors and hitting subgraphs.

New graph parameters generalize C-elimination distance.

Abstract

For a fixed graph $H$, the $H$-SUBGRAPH HITTING problem consists in deleting the minimum number of vertices from an input graph to obtain a graph without any occurrence of $H$ as a subgraph. This problem can be seen as a generalization of VERTEX COVER, which corresponds to the case $H = K_2$. We initiate a study of $H$-SUBGRAPH HITTING from the point of view of characterizing structural parameterizations that allow for polynomial kernels, within the recently active framework of taking as the parameter the number of vertex deletions to obtain a graph in a "simple" class $C$. Our main contribution is to identify graph parameters that, when $H$-SUBGRAPH HITTING is parameterized by the vertex-deletion distance to a class $C$ where any of these parameters is bounded, and assuming standard complexity assumptions and that $H$ is biconnected, allow us to prove the following sharp dichotomy: the problem admits a polynomial kernel if and only if $H$ is a clique. These new graph parameters are inspired by the notion of $C$-elimination distance introduced by Bulian and Dawar [Algorithmica 2016], and generalize it in two directions. Our results also apply to the version of the problem where one wants to hit $H$ as an induced subgraph, and imply in particular, that the problems of hitting minors and hitting (induced) subgraphs have a substantially different behavior with respect to the existence of polynomial kernels under structural parameterizations.