PCP и аппроксимируемость/Задачи/ex-max2sat-in-npc
Материал из DISCOPAL
< PCP и аппроксимируемость | Задачи(перенаправлено с «Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-max2sat-in-npc»)
Рассмотрим максимизационную версию задачи 2SAT, где дополнительно к 2SAT-формуле задается параметр K, и спрашивается, можно ли выполнить больше чем K, количество скобок.
Покажите, что эта задача NP-полна.
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.