36
правок
Изменения
Нет описания правки
Но надо откуда-то взять этот набор. Можно его угадать, используя квантор существует. Добавим его.
Так как <tex>NP \in{} subset P/poly</tex> то
<tex>L=\{x|\exists{C_n}: C_n решает SAT и \forall{y} C_n(f(<x,y>))=1\}</tex>
