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