A Retrospective on (Meta) Kernelization

Abstract

In parameterized complexity, a kernelization algorithm can be seen as a reduction of a parameterized problem to itself, so that the produced equivalent instance has size depending exclusively on the parameter. If this size is polynomial, then then we say that the parameterized problem in question admits a polynomial kernelization algorithm. Kernelization can be seen as a formalization of the notion of preprocessing and has occupied a big part of the research on Multi-variate Algorithmics. The first algorithmic meta-theorem on kernelization appeared in [