Output details
11 - Computer Science and Informatics
University of Edinburgh
Infeasibility of instance compression and succinct PCPs for NP
<12> Originality: First paper giving evidence against polynomial kernelizability of parameterized problems under a standard complexity assumption.
Significance: Many parameterized algorithms work by reducing the instance to a small "kernel". Until recently, there has been little theoretical understanding of which problems admit a small kernel. By relating this question to a standard complexity assumption, this paper helped to trigger a spate of positive and negative results on kernelizability. The paper appeared in the top theoretical computer science conference STOC 2008 (acceptance rate < 25%), with the journal version in JCSS.
Rigour: The paper consists of mathematical theorems with full proofs.