Квантовый алгоритм (Tfgumkfdw glikjnmb)

Квантовый алгоритм — алгоритм, предназначенный для выполнения на квантовом компьютере.

Основные принципы

Квантовый алгоритм представляет собой классический алгоритм, который задает последовательность унитарных операций (гейтов, или вентилей) с указанием, над какими именно кубитами их надо совершать. Квантовый алгоритм задается либо в виде словесного описания таких команд, либо с помощью их графической записи в виде системы вентилей (quantum gate array).

Результат работы квантового алгоритма носит вероятностный характер^[1]. За счёт небольшого увеличения количества операций в алгоритме можно сколь угодно приблизить вероятность получения правильного результата к единице.

Множества задач, допускающих решение на квантовом компьютере и на классическом, совпадают. Квантовый компьютер, таким образом, не увеличивает число алгоритмически разрешимых задач. Весь смысл применения квантового компьютера в том, что некоторые задачи он способен решить существенно быстрее, чем любой из классических. Для этого квантовый алгоритм должен по ходу вычисления генерировать и использовать запутанные квантовые состояния (см. Квантовая суперпозиция и Квантовая сцепленность).

Любая задача, решаемая квантовым алгоритмом, может быть решена и классическим компьютером путём прямого вычисления унитарных матриц экспоненциальной размерности, получения явного вида квантовых состояний. В частности, проблемы, неразрешимые на классических компьютерах (например, проблема остановки), остаются неразрешимыми и на квантовых. Но такое прямое моделирование требует экспоненциального времени, и потому возникает возможность, используя квантовый параллелизм, ускорять на квантовом компьютере некоторые классические алгоритмы^[2].

Ускорение на квантовом компьютере не связано с тактовой частотой процессора. Оно основано на квантовом параллелизме. Один шаг квантового вычисления совершает гораздо большую работу, чем один шаг классического. Однако было бы ошибкой приравнивать квантовое вычисление к распараллеленному классическому. Например, квантовый компьютер не может решить задачу перебора быстрее, чем за ${\sqrt {T_{class}}}$ где $T_{class}$ — время работы детерминированного классического алгоритма перебора (см.^[3]), в то время как недетерминированный классический алгоритм решает её за время $log(T_{class})$ . Но недетерминированный классический алгоритм требует экспоненциального ресурса памяти, то есть не является физически осуществимым, тогда как квантовый алгоритм не противоречит известным законам природы.

Квантовое вычисление является процессом особого рода. Оно использует особый физический ресурс: квантовые запутанные состояния, что позволяет в некоторых случаях достигнуть поразительного выигрыша во времени. Такие случаи называются квантовым ускорением классических вычислений.

Случаи квантового ускорения, на фоне общей массы классических алгоритмов, очень редки (см.^[4]). Однако, это не умаляет принципиального значения квантовых вычислений, потому что они способны принципиально ускорить выполнение задач переборного типа.

Основные схемы квантового ускорения

Главный тип задач, которые ускоряются квантовыми алгоритмами, являются задачи типа перебора. Их можно разделить на 2 основные группы:

Задачи моделирования динамики сложных систем (первоначальная идея Фейнмана) и
Математические задачи, сводящиеся к перебору вариантов:
1. Общий случай перебора: схема Гровера и её варианты, а также
2. Задачи поиска скрытых периодов: схема Шора использования быстрого квантового преобразования Фурье и её аналоги.

Тип 1) представлен алгоритмом Залки — Визнера моделирования унитарной динамики квантовых систем $n$ частиц за почти реальное время и с линейной от $n$ памятью. Этот алгоритм использует схему Шора квантового преобразования Фурье.

Тип 2) представлен:

алгоритмом Гровера общей задачи перебора и его непрерывным и адиабатическим вариантами, а также алгоритмами, использующими схему Гровера: структурного поиска (Фари, Гутман), алгоритмом поиска экстремума (Хойер и др.) и поиска совпадающих строк в базе данных (Амбайнис),
алгоритмом Шора факторизации целых чисел, алгоритмом Абрамса — Ллойда выявления периода, алгоритмом Китаева определения скрытых подгрупп и др.

Тип 1) представляет наибольший интерес с точки зрения дальнейших приложений квантового компьютера.

Классификация

Классификация квантовых алгоритмов может проводиться по типу квантовых преобразований, используемых алгоритмом. Среди часто используемых преобразований можно отметить: en:phase kick-back, phase estimation, en:quantum Fourier transform, en:quantum walk, en:amplitude amplification, en:topological quantum field theory. Также возможна группировка квантовых алгоритмов по типу проблем, решаемых ими.^[5]

Широко известные алгоритмы

См. также

Примечания

↑ «Случайность как вычислительный ресурс» Архивная копия от 29 октября 2017 на Wayback Machine «Компьютерра» № 10 от 18 марта 2002 года «Квантовые алгоритмы напоминают вероятностные. Прежде всего, неопределенностью результата.»
↑ «Квантовые компьютеры», кфмн Л. Федичкин, ФТИ РАН. НиЖ, 2001 № 01 «Внедрение квантовых компьютеров не приведет к решению алгоритмически не разрешимых классических задач, а лишь ускорит некоторые вычисления»
↑ Yuri Ozhigov, Lower Bounds of Quantum Search for Extreme Point, Proc.Roy.Soc.Lond. A455 (1999) 2165—2172 [1]
↑ Yuri Ozhigov, Quantum Computers Speed Up Classical with Probability Zero, Chaos Solitons Fractals 10 (1999) 1707—1714 [2]
↑ Childs, Andrew M; Wim van Dam. Quantum algorithms for algebraic problems (неопр.) // 0812.0380. — 2008. — 2 December. Архивировано 1 февраля 2017 года.

Ссылки

Stephen Jordan, Algebraic and Number Theoretic Algorithms — comprehensive catalog of quantum algorithms, NIST, 2013

[1] «Случайность как вычислительный ресурс» Архивная копия от 29 октября 2017 на Wayback Machine «Компьютерра» № 10 от 18 марта 2002 года «Квантовые алгоритмы напоминают вероятностные. Прежде всего, неопределенностью результата.»

[nizh2001-01-2] «Квантовые компьютеры», кфмн Л. Федичкин, ФТИ РАН. НиЖ, 2001 № 01 «Внедрение квантовых компьютеров не приведет к решению алгоритмически не разрешимых классических задач, а лишь ускорит некоторые вычисления»

[ozhigov2-3] Yuri Ozhigov, Lower Bounds of Quantum Search for Extreme Point, Proc.Roy.Soc.Lond. A455 (1999) 2165—2172 [1]

[ozhigov-4] Yuri Ozhigov, Quantum Computers Speed Up Classical with Probability Zero, Chaos Solitons Fractals 10 (1999) 1707—1714 [2]

[5] Childs, Andrew M; Wim van Dam. Quantum algorithms for algebraic problems (неопр.) // 0812.0380. — 2008. — 2 December. Архивировано 1 февраля 2017 года.

[1]

[2]

[3]

[4]

[5]