Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/accept-after-t-steps-in-npc — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «Язык ''L'' состоит из пар (M, t), где ;M: одноленточная машина Тьюринга над бинарным алфавитом.…») |
StasFomin (обсуждение | вклад) (Массовая правка: добавление Категория:Теоретические задачи) |
||
| Строка 7: | Строка 7: | ||
[[Категория:Нерешенные задачи]] | [[Категория:Нерешенные задачи]] | ||
| + | [[Категория:Теоретические задачи]] | ||
Версия 06:51, 4 мая 2023
Язык L состоит из пар (M, t), где
- M
- одноленточная машина Тьюринга над бинарным алфавитом.
- t
- число t единичной системе (t единиц).
- Существует вход x, M(x) останавливается и возвращает 1, после t шагов.
Покажите, что это NP-полная задача.