ac0 (192B)
1 # Ac0 2 3 [ac] circuit with constant [depth] (and unbounded [fan_in], and polynomial size) 4 5 AC0 = [first_order_logic] + arbitrary numerical predicates arbitrary arity 6 7 Up: [ac] 8 9 See also: [acc0]
wiki_researchpersonal research wiki | |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |