AC0 — The AC0 Complexity Class #
This module re-exports the AC0 definitions and main results.
Definitions (from Circ.AC0.Defs) #
InAC0— predicate: the family is in AC0 (constant depth, polynomial size, unbounded fan-in AND/OR)
The parity (XOR) function family: the N-input XOR for each input length.