# Vertex Cover Kernelization Revisited: Upper and Lower Bounds for a Refined Parameter

Abstract : Kernelization is a concept that enables the formal mathematical analysis of data reduction through the framework of parameterized complexity. Intensive research into the \vertexcover problem has shown that there is a preprocessing algorithm which given an instance $(G,k)$ of \vertexcover outputs an equivalent instance $(G',k')$ in polynomial time with the guarantee that $G'$ has at most $2k'$ vertices (and thus $O((k')^2)$ edges) with $k' \leq k$. Using the terminology of parameterized complexity we say that \kvertexcover has a kernel with $2k$ vertices. There is complexity-theoretic evidence that both $2k$ vertices and $\Theta(k^2)$ edges are optimal for the kernel size. In this paper we consider the \vertexcover problem with a different parameter, the size $\fvs(G)$ of a minimum feedback vertex set for $G$. This refined parameter is structurally smaller than the parameter $k$ associated to the vertex covering number $\vc(G)$ since $\fvs(G) \leq \vc(G)$ and the difference can be arbitrarily large. We give a kernel for \vertexcover with a number of vertices that is cubic in $\fvs(G)$: an instance $(G,X,k)$ of \vertexcover, where $X$ is a feedback vertex set for $G$, can be transformed in polynomial time into an equivalent instance $(G',X',k')$ such that $k' \leq k$, $|X'| \leq |X|$ and most importantly $|V(G')| \leq 2k$ and $|V(G')| \in O(|X'|^3)$. A similar result holds when the feedback vertex set $X$ is not given along with the input. In sharp contrast we show that the \wvertexcover problem does not have a polynomial kernel when parameterized by $\fvs(G)$ unless the polynomial hierarchy collapses to the third level (\collapse). Our work is one of the first examples of research in kernelization using a non-standard parameter, and shows that this approach can yield interesting computational insights. To obtain our results we make extensive use of the combinatorial structure of independent sets in forests.
Keywords :
Document type :
Conference papers
Domain :

Cited literature [31 references]

https://hal.archives-ouvertes.fr/hal-00573608
Contributor : Christoph Dürr <>
Submitted on : Saturday, March 5, 2011 - 12:14:25 AM
Last modification on : Tuesday, August 13, 2019 - 10:16:02 AM
Long-term archiving on: : Tuesday, November 6, 2012 - 3:25:15 PM

### File

19.pdf
Explicit agreement for this submission

### Identifiers

• HAL Id : hal-00573608, version 1

### Citation

Bart Jansen, Hans Bodlaender. Vertex Cover Kernelization Revisited: Upper and Lower Bounds for a Refined Parameter. Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.177-188. ⟨hal-00573608⟩

Record views