Nexp does not have non-uniform quasipolynomial-size ACC circuits of o(log log n) depth
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
Connecting SAT algorithms and complexity lower bounds
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
Diagonalization strikes back: some recent lower bounds in complexity theory
COCOON'11 Proceedings of the 17th annual international conference on Computing and combinatorics
Correlation bounds for poly-size AC0 circuits with n1-o(1) symmetric gates
APPROX'11/RANDOM'11 Proceedings of the 14th international workshop and 15th international conference on Approximation, randomization, and combinatorial optimization: algorithms and techniques
Guest column: a casual tour around a circuit complexity bound
ACM SIGACT News
Marginal hitting sets imply super-polynomial lower bounds for permanent
Proceedings of the 3rd Innovations in Theoretical Computer Science Conference
A satisfiability algorithm for AC0
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
Parameterized complexity and subexponential-time computability
The Multivariate Algorithmic Revolution and Beyond
On the limits of sparsification
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part I
Degree lower bounds of tower-type for approximating formulas with parity quantifiers
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Permanent does not have succinct polynomial size arithmetic circuits of constant depth
Information and Computation
Space-bounded communication complexity
Proceedings of the 4th conference on Innovations in Theoretical Computer Science
Natural proofs versus derandomization
Proceedings of the forty-fifth annual ACM symposium on Theory of computing
Strong ETH holds for regular resolution
Proceedings of the forty-fifth annual ACM symposium on Theory of computing
Hadamard tensors and lower bounds on multiparty communication complexity
Computational Complexity
Degree lower bounds of tower-type for approximating formulas with parity quantifiers
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
The class ACC consists of circuit families with constant depth over unbounded fan-in AND, OR, NOT, and MOD$m$ gates, where $m 1$ is an arbitrary constant. We prove:- $NTIME[2^n]$ does not have non-uniform ACC circuits of polynomial size. The size lower bound can be strengthened to quasi-polynomials and other less natural functions.- $E^{NP}$, the class of languages recognized in $2^{O(n)}$ time with an $NP$ oracle, doesn't have non-uniform ACC circuits of $2^{n^{o(1)}}$ size. The lower bound gives a size-depth tradeoff: for every $d$, $m$ there is a $\delta 0$ such that $E^{NP}$ doesn't have depth-$d$ ACC circuits of size $2^{n^{\delta}}$ with MOD$m$ gates.Previously, it was not known whether $EXP^{NP}$ had depth-3 polynomial size circuits made out of only MOD6 gates. The high-level strategy is to design faster algorithms for the circuit satisfiability problem over ACC circuits, then prove that such algorithms can be applied to obtain the above lower bounds.