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

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

Версия 22:54, 15 марта 2010

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

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