Изменения

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

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

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

Навигация