Комментарии — PCP и аппроксимируемость/Задачи/ex-max2sat-in-npc