A simple proof that AND-compression of NP-complete problems is hard

  title={A simple proof that AND-compression of NP-complete problems is hard},
  author={Holger Dell},
  journal={Electronic Colloquium on Computational Complexity (ECCC)},
  • Holger Dell
  • Published 2014 in Electronic Colloquium on Computational Complexity
Drucker [1] proved the following result: Unless the unlikely complexity-theoretic collapse coNP ⊆ NP/poly occurs, there is no AND-compression for SAT. The result has implications for the compressibility and kernelizability of a whole range of NPcomplete parameterized problems. We present a simple proof of this result. An AND-compression is a deterministic polynomial-time algorithm that maps a set of SAT-instances x1, . . . , xt to a single SAT-instance y of size poly(maxi |xi|) such that y is… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 24 references

, and Stefan Kratsch , “ Kernelization lower bounds by cross - composition

  • Hans L. Bodlaender, Bart M. P. Jansen
  • SIAM Journal on Discrete Mathematics
  • 2014

Similar Papers

Loading similar papers…