Under the auspices of the Computational Complexity Foundation (CCF)

REPORTS > KEYWORD > SMART REDUCTIONS:
Reports tagged with smart reductions:
TR97-031 | 9th September 1997
Oded Goldreich

#### On the Limits of Non-Approximability of Lattice Problems

Revisions: 2

We show simple constant-round interactive proof systems for
problems capturing the approximability, to within a factor of $\sqrt{n}$,
of optimization problems in integer lattices; specifically,
the closest vector problem (CVP), and the shortest vector problem (SVP).
These interactive proofs are for the coNP direction'';
that is, ... more >>>

TR03-027 | 21st April 2003
Christian Glaßer, Alan L. Selman, Samik Sengupta

#### Reductions between Disjoint NP-Pairs

We prove that all of the following assertions are equivalent:
There is a many-one complete disjoint NP-pair;
there is a strongly many-one complete disjoint NP-pair;
there is a Turing complete disjoint NP-pair such that all reductions
are smart reductions;
there is a complete disjoint NP-pair for one-to-one, invertible ... more >>>

ISSN 1433-8092 | Imprint