5
правок
Изменения
Новая страница: «'''Теорема''' 3<tex>-SAT \in NPC </tex> (задача о выполнимости булевой формулы в форме 3-КНФ <tex>NP</tex>-полн…»
'''Теорема''' 3<tex>-SAT \in NPC </tex> (задача о выполнимости булевой формулы в форме 3-КНФ <tex>NP</tex>-полна)
