271
правка
Изменения
Нет описания правки
{{Определение
|definition=
<tex>P/poly=\{L | \forall n </tex> существует [[Реализация_булевой_функции_схемой_из_функциональных_элементов|логическая схема ]] <tex> C_n </tex> с <tex> n </tex> входами и одним выходом такая, что:
#размеры <tex> C_n \leqslant p(n)</tex>, где <tex> p </tex> {{---}} полином;
#<tex>x \in L \iff C_{|x|}(x) = 1 \}</tex>.
}}
{{Определение
|definition=
<tex> PSIZE </tex> {{---}} класс языков, вычислимых семейством [[Реализация_булевой_функции_схемой_из_функциональных_элементов|логических схем]] <tex> \{C_n\}_{n>0} </tex> полиномиального размера с n входами и одним выходом, то есть: <tex>PSIZE=\{L | \forall n </tex> <tex> \exists C_n </tex>:
#Size <tex> (C_n) \leqslant p(n)</tex>, где <tex> p </tex> {{---}} полином;
#Input <tex> (C_n) = n </tex>;
#Output <tex> (C_n) = 1 </tex>;
#<tex>x \in L \iff C_{|x|}(x) = 1 \}</tex>.
}}
{{Определение
