ВВЕРХ (сложность)
-
Определение UP
- UP — это класс задач, решаемых за полиномиальное время на машине Тьюринга с одним принимающим путем.
- UP включает в себя P и содержится в NP.
-
Переформулировка NP
- Язык находится в NP, если его ответ можно проверить за полиномиальное время детерминированной машиной.
- Машина-верификатор принимает не более одного ответа на каждый экземпляр задачи.
-
Примеры задач в UP
- UP включает задачи целочисленной факторизации и игры на четность.
-
Сложность P=UP и P=(UP ∩ co-UP)
- Пока не найдено решение для этих задач за полиномиальное время, сложно доказать равенство P=UP или P=(UP ∩ co-UP).
-
Теорема Валианта-Вазирани
- NP содержится в RPPromise-UP, что означает возможность случайного преобразования любой задачи из NP в задачу из Promise-UP.
-
Отсутствие серьезных проблем у UP
- UP не имеет серьезных проблем.
Полный текст статьи: