Изменения

Перейти к: навигация, поиск

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

437 байт убрано, 15:31, 5 июня 2012
Нет описания правки
<tex> \mathrm{PSIZE} =\{L \bigm| \forall n </tex> <tex> \exists C_n </tex>:
#<tex> |C_n| \leqslant p(n)</tex>, где <tex> p </tex> {{---}} полином;
#Число входов в схеме <tex> (C_n) </tex> равно <tex> n </tex>;#Каждая схема <tex> (C_n) </tex> имеет один выход;
#<tex>x \in L \Leftrightarrow C_{|x|}(x) = 1 \}</tex>.
}}
#<tex> x \in L \Leftrightarrow p(x, a_{|x|})=1 \}</tex>.
}}
 
Замечание.
Вычисление с подсказками не является вычислением с оракулом: для любых слов одинаковой длины используется одна и та же подсказка, программа <tex> p </tex> работает в соответствии с ограничениями класса <tex> C </tex>, а не за <tex> O(1) </tex>.
 
{{Определение
Анонимный участник

Навигация