NP is as easy as detecting unique solutions
Theoretical Computer Science
Computational limitations for small-depth circuits
Computational limitations for small-depth circuits
Algebraic methods in the theory of lower bounds for Boolean circuit complexity
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
Constant depth circuits, Fourier transform, and learnability
Journal of the ACM (JACM)
Journal of Computer and System Sciences
BPP has subexponential time simulations unless EXPTIME has publishable proofs
Computational Complexity
When do extra majority gates help?: polylog(N) majority gates are equivalent to one
Computational Complexity - Special issue on circuit complexity
P = BPP if E requires exponential circuits: derandomizing the XOR lemma
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Construction of extractors using pseudo-random generators (extended abstract)
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Graph nonisomorphism has subexponential size proofs unless the polynomial-time hierarchy collapses
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Hard-core distributions for somewhat hard problems
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
Near-Optimal Conversion of Hardness into Pseudo-Randomness
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
A theorem on probabilistic constant depth Computations
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
The complexity of approximate counting
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
Hardness Amplification Proofs Require Majority
SIAM Journal on Computing
Pseudorandom generators for combinatorial checkerboards
Computational Complexity
Hi-index | 0.00 |
Nisan [18] and Nisan and Wigderson [19] have constructed a pseudo-random generator which fools any family of polynomial-size constant depth circuits. At the core of their construction is the result due to Håstad [10] that no circuit of depth d and size 2n1/d can even weakly approximate (to within an inverse exponential factor) the parity function. We give a simpler proof of the inapproximability of parity by constant depth circuits which does not use the Håstad Switching Lemma. Our proof uses a well-known hardness amplification technique from derandomization: the XOR lemma. This appears to be the first use of the XOR lemma to prove an unconditional inapproximability result for an explicit function (in this case parity). In addition, we prove that BPAC0 can be simulated by uniform quasipolynomial size constant depth circuits, improving on results due to Nisan [18] and Nisan and Wigderson [19].