Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/E13SAT-NPC
Материал из DISCOPAL
< Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC | Задачи
Версия от 07:45, 21 февраля 2019; StasFomin (обсуждение | вклад) (Массовая правка: замена :Решенные задачи на :Нерешенные задачи)
Покажите, что NP-полна и такая вариация 3SAT, когда язык состоит из таких 3КНФ, которые
- выполнимы
- и в этом выполняющем наборе, в каждой скобке ровно один истинный литерал.
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.