Sciweavers

STOC
1999
ACM
81views Algorithms» more  STOC 1999»
13 years 9 months ago
PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability
This paper strengthens the low-error PCP characterization of NP, coming closer to the upper limit of the BGLR conjecture. Consider the task of verifying a witness for the membersh...
Irit Dinur, Eldar Fischer, Guy Kindler, Ran Raz, S...
STOC
1999
ACM
75views Algorithms» more  STOC 1999»
13 years 9 months ago
Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes
Samuel R. Buss, Dima Grigoriev, Russell Impagliazz...
STOC
1999
ACM
80views Algorithms» more  STOC 1999»
13 years 9 months ago
Lower Bounds for High Dimensional Nearest Neighbor Search and Related Problems
Allan Borodin, Rafail Ostrovsky, Yuval Rabani
STOC
1999
ACM
176views Algorithms» more  STOC 1999»
13 years 9 months ago
On the Complexity of Computing Short Linearly Independent Vectors and Short Bases in a Lattice
Motivated by Ajtai’s worst-case to average-case reduction for lattice problems, we study the complexity of computing short linearly independent vectors (short basis) in a lattic...
Johannes Blömer, Jean-Pierre Seifert
STOC
1999
ACM
101views Algorithms» more  STOC 1999»
13 years 9 months ago
Short Proofs are Narrow - Resolution Made Simple
The width of a Resolution proof is defined to be the maximal number of literals in any clause of the proof. In this paper, we relate proof width to proof length (ϭsize), in both g...
Eli Ben-Sasson, Avi Wigderson