Главная > КВАНТОВЫЕ ВЫЧИСЛЕНИЯ: ЗА И ПРОТИВ (В. А. Садовничего)
<< Предыдущий параграф Следующий параграф >>
Пред.
След.
Макеты страниц

Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

В данной задаче неявно предполагается существование $T_{c}$, который связывает каждое входное состояние траектории с единственным выходным состоянием траектории в каждой фазе вычисления. Существование таких $T_{c}$ следует из факта, что существует соответствующий оператор классической машины Тьюринга, действие которого описывает единственную траекторию состояния внутри каждой фазы вычисления. Квантовая версия может быть определена как допускающая размытие вдоль единственной траектории для каждой фазы вычисления и, следовательно, вводит дисперсию, определяемую суммой $h$ уравнения (3). Обобщение на $T_{c}$, включающее суммы по различным фазовым состояниям, как было сделано здесь для $T_{a}$, — задача дальнейших исследований.

Приведенное выше обсуждение показывает, что описание даже простейших измерений расстояния оказывается относительно сложным, если подсчитать все шаги, необходимые (см. рис. 1) для получения скрещенных состояний в уравнении (4). Это основано на представлении чисел как состояний квантовых регистров, времени, требующегося для выполнения различных частей задачи (например, операции +1 или -1 в фазе вычислений), и других факторов. Для обсуждаемой задачи процесс решения, как показано на рис. 1 , представляет собой реализацию предположения о существовании для тех физических экспериментов, которые могут быть осуществлены квантовыми роботами, гипотезы [8], подобной гипотезе Черча-Тьюринга [15] для квантовых компьютеров [16].

В заключение следует подчеркнуть, что как неодушевленные физические системы, квантовые роботы ничего не знают о вычислениях, или о своем местоположении на решетке в любой момент времени, или о том, измерение ли это вообще. Их поведение просто соответствует динамике, определяемой $T$.

Categories

1
Оглавление
email@scask.ru