Изменения

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

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

171 байт добавлено, 14:41, 17 марта 2010
→‎Доказательство
<tex> CNFSAT \in NPC. </tex>
== Доказательство ==
Для доказательства теоремы необходимо установить два факта:
* <tex> CNFSAT /in NP </tex>
* <tex> CNFSAT /in NPH </tex>
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/298»

Навигация