Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-limited-3sat-npc/Решение Храбров