33
правки
Изменения
м
//'''Что такое <tex><x,y> \subset{L_1}</tex>?''' Если означает что если <tex>L_1\in{} NP</tex> то <tex>L_1 \le{}_m SAT</tex> с помощью <tex>f</tex>, т.е.
Нет описания правки
----
'''Требуется доказать, что <tex>L\in \Sigma_1</tex>'''
<tex>L=\{x|\forall{y} f(<x,y>)\in{SAT}\}</tex>