Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/unary-in-p-then-exptime-nexp — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «Докажите, что если каждый унарный язык из NP также лежит в P, то EXPTIME=NEXP. Категория:Нереш…») |
StasFomin (обсуждение | вклад) (Массовая правка: добавление Категория:Теоретические задачи) |
||
| Строка 2: | Строка 2: | ||
[[Категория:Нерешенные задачи]] | [[Категория:Нерешенные задачи]] | ||
| + | [[Категория:Теоретические задачи]] | ||
Версия 06:51, 4 мая 2023
Докажите, что если каждый унарный язык из NP также лежит в P, то EXPTIME=NEXP.