Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/conp-as-yes — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «Покажите, что язык L лежит в co-NP тогда и только тогда, если существует недетерминированна…») |
StasFomin (обсуждение | вклад) (Массовая правка: добавление Категория:Теоретические задачи) |
||
Строка 7: | Строка 7: | ||
[[Категория:Нерешенные задачи]] | [[Категория:Нерешенные задачи]] | ||
+ | [[Категория:Теоретические задачи]] |
Текущая версия на 06:51, 4 мая 2023
Покажите, что язык L лежит в co-NP тогда и только тогда, если существует недетерминированная машина M, и полином p, такой, что M останавливается за время p(n) для всех входов x длины n, и L состоит точно только из таких строк x, у которых все пути вычисления M(x) приводят к ответу «1».