Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-limited-3sat-npc — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена :Решенные задачи на :Нерешенные задачи) |
StasFomin (обсуждение | вклад) (Массовая правка: замена :Нерешенные задачи]] на :Решенные задачи]]) |
||
Строка 4: | Строка 4: | ||
Покажите, что и эта задача NP-полна. | Покажите, что и эта задача NP-полна. | ||
− | [[Category: | + | [[Category:Решенные задачи]] |
<!--Вообще-то, решения уже есть--> | <!--Вообще-то, решения уже есть--> |
Версия 15:49, 20 мая 2020
Рассмотрим ограниченную версию задачи 3SAT, где на КНФ-формулу дополнительно наложено ограничение, что в ней каждая переменная может входить не больше трех раз, причем каждый литерал - не больше двух.
Покажите, что и эта задача NP-полна.