Sciweavers

FOCS
1992
IEEE
13 years 11 months ago
Separating the Communication Complexities of MOD m and MOD p Circuits
: We prove in this paper that it is much harder to evaluate depth
Vince Grolmusz
FOCS
1992
IEEE
13 years 11 months ago
Proof Verification and Hardness of Approximation Problems
The class PCP(f(n), g(n)) consists of all languages L for which there exists a polynomial-time probabilistic oracle machine that uses O(f(n)) random bits, queries O(g(n)) bits of ...
Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu...
FOCS
1992
IEEE
13 years 11 months ago
Reconstructing Algebraic Functions from Mixed Data
We consider a variant of the traditional task of explicitly reconstructing algebraic functions from black box representations. In the traditional setting for such problems, one is ...
Sigal Ar, Richard J. Lipton, Ronitt Rubinfeld, Mad...
FOCS
1991
IEEE
13 years 11 months ago
Walking an Unknown Street with Bounded Detour
A polygon with two distinguished vertices, s and g, is called a street iff the two boundary chains from s to g are mutually weakly visible. For a mobile robot with on-board vision...
Rolf Klein
FOCS
1991
IEEE
13 years 11 months ago
Lower Bounds for the Complexity of Reliable Boolean Circuits with Noisy Gates
We prove that the reliable computation of any Boolean function with sensitivity s requires Ω(s log s) gates if the gates of the circuit fail independently with a fixed positive...
Anna Gál
FOCS
1991
IEEE
13 years 11 months ago
Competitive Algorithms for Layered Graph Traversal
Amos Fiat, Dean P. Foster, Howard J. Karloff, Yuva...
FOCS
1991
IEEE
13 years 11 months ago
Dynamic Three-Dimensional Linear Programming
We perform linear programming optimizations on the intersection of k polyhedra in R3 , represented by their outer recursive decompositions, in expected time O(k log k log n + √ ...
David Eppstein