Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/3csat-npc — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
|||
Строка 1: | Строка 1: | ||
− | |||
<latex> | <latex> | ||
Покажите, что NP-полным является язык выполнимых булевых формул | Покажите, что NP-полным является язык выполнимых булевых формул | ||
Строка 11: | Строка 10: | ||
</latex> | </latex> | ||
− | [[Категория: | + | [[Категория:Решенные задачи]] |
[[Категория:Теоретические задачи]] | [[Категория:Теоретические задачи]] |
Текущая версия на 12:14, 26 декабря 2023