SIZE
#計算複雑性理論
#計算複雑性クラス
#Boolean回路
言語$ Lが$ \mathbf{SIZE}(T)であるとは、$ T-サイズのBoolean回路族$ \{C_n\}_{n \in \mathbb{N}}が存在し($ \forall n. |C_n| < T(n))、$ x \in L \iff C_{|x|}(x) = 1を満たすことである