NEXP Does Not Have Non-uniform Quasipolynomial-Size ACC Circuits of o(loglogn) Depth [chapter]

Fengming Wang
2011 Lecture Notes in Computer Science  
ACC m circuits are circuits consisting of unbounded fan-in AND, OR and MOD m gates and unary NOT gates, where m is a fixed integer. We show that there exists a language in non-deterministic exponential time which can not be computed by any non-uniform family of ACC m circuits of quasipolynomial size and o(log log n) depth, where m is an arbitrarily chosen constant.
doi:10.1007/978-3-642-20877-5_17 fatcat:lxkowswvgvc2bbzj6dgnf232qu