Изменения

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

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

2 байта добавлено, 19:00, 19 марта 2010
→‎Теорема
== Теорема ==
<tex> CNFSAT \in NPC </tex>, то есть задача принадлежит классу [[NP-полныхполнота]] задач.
== Доказательство ==
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/548»

Навигация