# *non-uniform* $ACC^0$ and above classes

$NEXP$ smallest class above $ACC^0$ that we know is separated from $ACC^0$.

We do not know if either $NP$ or $P/poly$ is in $ACC^0$.

Suppose every problem in $NP$ can be solved in polynomial time with polynomial sized advice string (that is $NP\subseteq P/poly$ holds) however the circuit that computes it needs only $ACC^0$ type structure?

Would that mean $NP$ is in non-uniform $ACC^0$ or uniform $ACC^0$?

• how about non-uniform $ACC^0\cap EXPSPACE$? Is it in any uniform $ACC^i \cap EXPSPACE$ or at least uniform $TC^i\cap EXPSPACE$ at any i>0? – Bread Winner Dec 31 '15 at 23:02