NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Версия от 22:54, 15 марта 2010; Chivilikhin.daniil (обсуждение | вклад) (Новая страница: «'''Теорема''' 3<tex>-SAT \in NPC </tex> (задача о выполнимости булевой формулы в форме 3-КНФ <tex>NP</tex>-полн…»)
Теорема 3
(задача о выполнимости булевой формулы в форме 3-КНФ -полна)