Схемная сложность и класс P/poly

Определение:

[math]P/poly=\{L | \forall n [/math] существует логическая схема [math] C_n [/math] с [math] n [/math] входами и одним выходом такая, что: размеры [math] C_n \leqslant p(n)[/math]; [math]x \in L \iff C_{|x|}(x) = 1 \}[/math].

Определение:

Пусть C — сложностный класс, f — функция. Тогда [math] C/f = \{L| [/math] существуют [math] a_0, a_1, .. , a_n, .. , [/math] программа p, удовлетворяющая ограничениям C: [math]|a_i| \leqslant f(i) [/math]; [math] x \in L \iff p(x, a_{|x|})=1 [/math].