Under the auspices of the Computational Complexity Foundation (CCF)

REPORTS > KEYWORD > INSTANCE COMPRESSION:
Reports tagged with Instance compression:
TR12-108 | 4th September 2012

#### Lower Bounds on Interactive Compressibility by Constant-Depth Circuits

We formulate a new connection between instance compressibility \cite{Harnik-Naor10}), where the compressor uses circuits from a class $\C$, and correlation with
circuits in $\C$. We use this connection to prove the first lower bounds
on general probabilistic multi-round instance compression. We show that there
is no
probabilistic multi-round ... more >>>

TR12-112 | 7th September 2012
Andrew Drucker

#### New Limits to Classical and Quantum Instance Compression

Revisions: 3

Given an instance of a hard decision problem, a limited goal is to $compress$ that instance into a smaller, equivalent instance of a second problem. As one example, consider the problem where, given Boolean formulas $\psi^1, \ldots, \psi^t$, we must determine if at least one $\psi^j$ is satisfiable. An \$OR-compression ... more >>>

TR14-075 | 16th May 2014
Holger Dell

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

Revisions: 3

Drucker (2012) proved the following result: Unless the unlikely complexity-theoretic collapse coNP is in NP/poly occurs, there is no AND-compression for SAT. The result has implications for the compressibility and kernelizability of a whole range of NP-complete parameterized problems. We present a simple proof of this result.

An AND-compression is ... more >>>

ISSN 1433-8092 | Imprint