7
AC
0
•
Definition
A language L
µ
{0,1}
*
is in non-
uniform AC
0
if there exists d > 0, a
polynomial p(n), and a family of circuits
(C
n
)
n
¸
0
s.t.:
size(C
n
)
·
p(n)
depth(C
n
)
·
d, and
8
w
2
{0,1}
*
:
w
2
L
iff
C
n
(w) = true,
where n=|w|