Sciweavers

FOCS
2003
IEEE
14 years 4 months ago
Algorithms and Complexity Results for #SAT and Bayesian Inference
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi
FOCS
2003
IEEE
14 years 4 months ago
Locally Testable Cyclic Codes
László Babai, Amir Shpilka, Daniel S...
FOCS
2003
IEEE
14 years 4 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
14 years 4 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
14 years 4 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
14 years 4 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
14 years 4 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