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
を満たすことである