NP-easy - NP-easy - Wikipedia
В теория сложности, то класс сложности NP-easy это набор функциональные проблемы которые разрешимы в полиномиальное время по детерминированная машина Тьюринга с оракул для некоторых проблема решения в НП.
Другими словами, проблема X NP-проста. если и только если существует такая проблема Y в NP, что X полиномиально-временная приводимая по Тьюрингу к Ю.[1] Это означает, что с учетом оракул для Y существует алгоритм, который решает X за полиномиальное время (возможно, многократно используя этот оракул).
NP-easy - другое название FPНП (см. функциональная проблема статья) или для FΔ2P (см. полиномиальная иерархия статья).
Примером NP-простой задачи является задача сортировки списка строк. Проблема решения «строка A больше строки B» находится в NP. Есть такие алгоритмы, как быстрая сортировка который может отсортировать список, используя только полиномиальное количество вызовов процедуры сравнения, плюс полиномиальное количество дополнительной работы. Следовательно, сортировка NP-проста.
Существуют также более сложные задачи, которые являются NP-простыми. Видеть NP-эквивалент для примера.
В определении NP-easy используется редукция Тьюринга, а не много-одно сокращение потому что ответы на проблему Y только ИСТИНА или ЛОЖЬ, но ответы на проблему Икс может быть более общим. Следовательно, не существует общего способа перевести экземпляр Икс к экземпляру Y с таким же ответом.
Примечания
- ^ Гэри и Джонсон (1979), п. 117, 120.