ПостBQP
-
Определение и свойства PP-машины
- PP-машина — это машина, которая принимает решение о принадлежности строки к языку L с вероятностью 1/2.
- Машина использует квантовые вычисления и может быть реализована с помощью квантовых схем.
- PP-машина может быть использована для доказательства NP-полноты некоторых задач.
-
Доказательство NP-полноты
- Доказательство основано на конструкции PP-машины и алгоритме Ааронсона для определения принадлежности строки к языку.
- Алгоритм Ааронсона использует квантовые вычисления для определения принадлежности строки к языку L.
- PP-машина принимает решение о принадлежности строки с вероятностью 1/2, что эквивалентно алгоритму PostBQP.
-
Реализация PP-машины
- В статье представлена подробная информация о реализации PP-машины.
- Машина выбирает базисное состояние случайным образом и использует квантовые вычисления для вычисления вероятности принятия строки.
-
Доказательство PP ⊆ PostBQP
- Доказательство основано на алгоритме Ааронсона, который использует квантовые вычисления для определения принадлежности строки к языку L.
- Алгоритм Ааронсона основан на квантовых состояниях и измерениях, которые позволяют определить принадлежность строки к языку с вероятностью 1/2.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.