УП (сложность)

Оглавление1 ВВЕРХ (сложность)1.1 Определение UP1.2 Переформулировка NP1.3 Примеры задач в UP1.4 Сложность P=UP и P=(UP ∩ co-UP)1.5 Теорема Валианта-Вазирани1.6 Отсутствие […]

ВВЕРХ (сложность)

  • Определение 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 не имеет серьезных проблем. 

Полный текст статьи:

УП (сложность) — Википедия

Оставьте комментарий