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