83
правки
Изменения
Класс NP
,Нет описания правки
<tex>\Sigma_1 = \{L|\exists R(x,y) \in Poly, p \in Poly | l \in L \Leftrightarrow \exists y, |y| \le p(x) | R(x,y)=1\}</tex>
==Теорема о равенстве <tex>\Sigma_1 </tex> и <tex> NP</tex>==
===Формулировка===
<tex>\Sigma_1 = NP</tex>