NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ

Материал из Викиконспекты

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

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

Перейти к: навигация, поиск

Теорема 3[math]-SAT \in NPC [/math] (задача о выполнимости булевой формулы в форме 3-КНФ [math]NP[/math]-полна)

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=NP-полнота_задачи_о_выполнимости_булевой_формулы_в_форме_3-КНФ&oldid=236»