Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/3ESAT-NPC

Материал из DISCOPAL
Перейти к: навигация, поиск

Покажите, что 3ESAT — NP-полная задача.

Источник — «https://discopal.ispras.ru/index.php?title=Полиномиальные_сводимости_и_NP-полные_задачи._Классы_NP,_coNP,_NPC/Задачи/3ESAT-NPC&oldid=16020»