Sciweavers

84
Voted
FOCS
2003
IEEE
15 years 10 months ago
Algorithms and Complexity Results for #SAT and Bayesian Inference
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi
86
Voted
FOCS
2003
IEEE
15 years 10 months ago
Locally Testable Cyclic Codes
László Babai, Amir Shpilka, Daniel S...
86
Voted
FOCS
2003
IEEE
15 years 10 months ago
Stability and Efficiency of a Random Local Load Balancing Protocol
Aris Anagnostopoulos, Adam Kirsch, Eli Upfal
156
Voted
FOCS
2003
IEEE
15 years 10 months ago
Polynomial Degree vs. Quantum Query Complexity
The degree of a polynomial representing (or approximating) a function f is a lower bound for the quantum query complexity of f. This observation has been a source of many lower bo...
Andris Ambainis
FOCS
2003
IEEE
15 years 10 months ago
A Lattice Problem in Quantum NP
We consider coGapSV P√ n, a gap version of the shortest vector in a lattice problem. This problem is known to be in AM ∩coNP but is not known to be in NP or in MA. We prove th...
Dorit Aharonov, Oded Regev
FOCS
2003
IEEE
15 years 10 months ago
Switch Scheduling via Randomized Edge Coloring
The essence of an Internet router is an n ¡ n switch which routes packets from input to output ports. Such a switch can be viewed as a bipartite graph with the input and output p...
Gagan Aggarwal, Rajeev Motwani, Devavrat Shah, An ...
FOCS
2003
IEEE
15 years 10 months ago
Proving Hard-Core Predicates Using List Decoding
We introduce a unifying framework for proving that predicate P is hard-core for a one-way function f, and apply it to a broad family of functions and predicates, reproving old res...
Adi Akavia, Shafi Goldwasser, Shmuel Safra
FOCS
2003
IEEE
15 years 10 months ago
Quantum Search of Spatial Regions
: Can Grover’s algorithm speed up search of a physical region—for example a 2-D grid of size √ n × √ n? The problem is that √ n time seems to be needed for each query, j...
Scott Aaronson, Andris Ambainis