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