Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/Tautology in coNP/Решение-Александра-Мафусалова