Изменения

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

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

109 байт добавлено, 18:11, 17 марта 2010
Нет описания правки
==Задача <tex>3SAT</tex>==
<tex>3SAT=3CNFSAT=\{\phi|\phi</tex> в 3-КНФ, <tex>\phi \in SAT\}</tex>
 
==Теорема==
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/326»

Навигация