Sciweavers

STOC
2006
ACM
168views Algorithms» more  STOC 2006»
14 years 4 months ago
A combinatorial characterization of the testable graph properties: it's all about regularity
A common thread in all the recent results concerning the testing of dense graphs is the use of Szemer?edi's regularity lemma. In this paper we show that in some sense this is...
Noga Alon, Eldar Fischer, Ilan Newman, Asaf Shapir...
STOC
2006
ACM
108views Algorithms» more  STOC 2006»
14 years 4 months ago
Gowers uniformity, influence of variables, and PCPs
Gowers [Gow98, Gow01] introduced, for d 1, the notion of dimension-d uniformity Ud (f) of a function f : G C, where G is a finite abelian group. Roughly speaking, if a function ...
Alex Samorodnitsky, Luca Trevisan
STOC
2006
ACM
141views Algorithms» more  STOC 2006»
14 years 4 months ago
Lattice problems and norm embeddings
We present reductions from lattice problems in the 2 norm to the corresponding problems in other norms such as 1, (and in fact in any other p norm where 1 p ). We consider latt...
Oded Regev, Ricky Rosen
STOC
2006
ACM
91views Algorithms» more  STOC 2006»
14 years 4 months ago
Time-space trade-offs for predecessor search
Mihai Patrascu, Mikkel Thorup
STOC
2006
ACM
108views Algorithms» more  STOC 2006»
14 years 4 months ago
Extractors for a constant number of polynomially small min-entropy independent sources
We consider the problem of randomness extraction from independent sources. We construct an extractor that can extract from a constant number of independent sources of length n, ea...
Anup Rao
STOC
2006
ACM
121views Algorithms» more  STOC 2006»
14 years 4 months ago
Narrow proofs may be spacious: separating space and width in resolution
The width of a resolution proof is the maximal number of literals in any clause of the proof. The space of a proof is the maximal number of clauses kept in memory simultaneously if...
Jakob Nordström
STOC
2006
ACM
115views Algorithms» more  STOC 2006»
14 years 4 months ago
Zero knowledge with efficient provers
We prove that every problem in NP that has a zero-knowledge proof also has a zero-knowledge proof where the prover can be implemented in probabilistic polynomial time given an NP ...
Minh-Huyen Nguyen, Salil P. Vadhan
STOC
2006
ACM
114views Algorithms» more  STOC 2006»
14 years 4 months ago
Linear time low tree-width partitions and algorithmic consequences
Classes of graphs with bounded expansion have been introduced in [15], [12]. They generalize both proper minor closed classes and classes with bounded degree. For any class with b...
Jaroslav Nesetril, Patrice Ossona de Mendez