Polynomial-size circuit family (source code)

= Polynomial-size circuit family

A circuit family has polynomial size when $C_n$ has at most $n^{O(1)}$ gates.