Определение квантового вычисления. Примеры
Пока мы описали работу квантового компьютера. Теперь пора определить, когда эта работа приводит к решению интересующей нас задачи. Определение будет похоже на определение вероятностного вычисления.
Пусть есть функция . Рассмотрим квантовую схему, работающую с
битами:
. Неформально говоря, эта схема вычисляет
, если после применения
к начальному состоянию
, мы, "посмотрев" на первые
битов, с большой вероятностью "увидим"
. (Остальные q-биты могут содержать произвольный мусор.)
Нужно только оговорить, что такое эта вероятность. Слова "посмотрев" и "увидим" в точном смысле означают, что производится измерение значений соответствующих q-битов. В результате измерения могут получаться разные ответы, каждому соответствует своя вероятность. Ниже (раздел 9) этот вопрос рассматривается подробно. Для того, чтобы дать определение квантового вычисления функции , достаточно (не вдаваясь в обсуждение физических объяснений этого факта) принять следующее: вероятность получения базисного состояния,
при измерении состояния
равна
![]() |
( 8.1) |
Нас интересует вероятность того, что компьютер закончит работу в состоянии вида , где
— любое.
Определение 8.1. Схема вычисляет
, если для любого
выполнено
![\sum_{z}^{} \bigl| \langle F(x),z|\,U\,|x,0^{N-n}\rangle\bigr|^2 \ge 1-\varepsilon,](/sites/default/files/tex_cache/5d7e70f6a220c28bac3031420a4113a7.png)
![\varepsilon](/sites/default/files/tex_cache/f8b1c5a729a09649c275fca88976d8dd.png)
![1/2](/sites/default/files/tex_cache/975ca8804565c1a569450d61090b2743.png)
![F(x)](/sites/default/files/tex_cache/d76f2c4d6bdf142af5106c3f36e9e970.png)
![x](/sites/default/files/tex_cache/9dd4e461268c8034f5c8564e155c67a6.png)
![(F(x),z)](/sites/default/files/tex_cache/d7b348bfd0ca24d30548ef45dc9362e7.png)
![(x,0^{N-n})](/sites/default/files/tex_cache/5359c567e9ffa5e55298fa104b040bde.png)
![N](/sites/default/files/tex_cache/8d9c307cb7f3c4a32822a51922d1ceaa.png)
Как и для вероятностных вычислений, выбор несущественен, поскольку можно запустить несколько экземпляров схемы независимо и выбрать тот результат, который получается чаще всего. Из оценки, приведенной в
"Вероятностные алгоритмы и класс BPP. Проверка простоты числа"
, следует, что для уменьшения вероятности неудачи в
раз нужно взять
экземпляров схемы
. Выбор самого частого результата реализуется классической схемой, использующей функцию голосования
(она равна 1, когда более половины ее аргументов равны 1, и равна 0 в противном случае). Функция
реализуется в полном базисе схемой размера
, так что потеря эффективности при уменьшении вероятности неудачи в
раз задается множителем
.
Задача 8.1. Докажите, что приведенное рассуждение является корректным в квантовом случае: функция реализована в виде обратимой схемы, на вход которой подаются выходные q-биты
копий схемы
.