Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/strong-nmt-good-characterization — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Массовая правка: добавление Категория:Теоретические задачи) |
||
| Строка 7: | Строка 7: | ||
[[Категория:Решенные задачи]] | [[Категория:Решенные задачи]] | ||
| + | [[Категория:Теоретические задачи]] | ||
Текущая версия на 06:50, 4 мая 2023
Пусть есть язык L, для которого
- есть некая МТ M, возвращает «0», «1», «?».
- для любого , все пути вычисления M(x) за полиномиальное время приводят к ответам «1» или «?», при том есть хотя бы один путь к «1».
- для любого , все пути вычисления M(x) за полиномиальное время приводят к ответам «0» или «?», при том есть хотя бы один путь к «0».
Покажите, что