Задачи, реализуемые на КВ.

Известно два примера нетри­виальных задач, в которых KB дают радикальный выигрыш.

Первый из них - задача разло­жения целых чисел на простые мно­жители и, как следствие, вычисле­ния дискретного логарифма (ДЛ). Дальше речь пойдет именно о ДЛ.

Пусть у нас есть поле вычетов по модулю простого числа. В нем есть первообразные корни - такие вы­четы, чьи степени порождают все ненулевые элементы. Если задан такой корень и задана степень, то возвести в степень можно быстро (например, сначала возводим в квадрат, потом получаем четвертую сте­пень, и т. д.) Дискретный лога­рифм - это обратная задача. Дан первообразный корень и какой-то элемент поля; найти, в какую степень нужно возвести этот корень, чтобы получить данный элемент. Вот эта задача уже считается сложной. На­столько сложной, что ряд совре­менных криптографических систем основан на том предположении, что вычислить ДЛ за приемлемое время невозможно, если модуль - доста­точно большое простое число.

Так вот, для дискретного лога­рифма есть эффективный кванто­вый алгоритм. Его придумал Шор в конце 1994 года. Пос­ле его статьи и начался взрыв публи­каций по КВ. Независимо от него, Алексей Китаев из ИТФ им. Ландау построил квантовый алгоритм для этой и некоторых более общих за­дач [8]. Идеи у них были разные.

Шор использовал примерно такую идею, она существенно квантовая: рассмот­рим базис в фазовом пространстве. Он состоит из классических состояний. Но в линейном пространстве много базисов. Мы можем найти некий оператор, который эффективно строит другой базис; мы можем к нему перейти, сделать там какие-то вычисления, вернуться обратно и получить нечто совершенно отлич­ное от того, что мы имели бы в классическом базисе. Одна из воз­можностей использовать квантовость состоит в том, что мы строим какой-то странный базис, в нем что-то делаем, возвращаемся обратно и интерпретируем результат. Шор именно эту идею и реализовал. При­чем преобразование оказалось та­кое, которое и в физике, и в матема­тике имеет принци­пиальное значение - дискретное преобразование Фурье.

Его можно представить в виде тензорного произведения опера­торов, которые действуют на каж­дый из кубитов такой матрицей:

Китаев придумал примерно следующее. Есть некото­рая ячейка - основной регистр, где мы записываем наши данные нулями и единицами. И еще есть один управляющий кубит. Мы ра­ботаем так: у нас реализована про­цедура умножения на первообраз­ный корень, на квадрат первооб­разного корня, и т. д. Управляю­щий кубит переводим в некоторое смешанное состояние, дальше строим такой оператор, который, в зависимости оттого, ноль или еди­ница в этом управляющем кубите, либо применяет умножение к на­шему основному регистру, либо не применяет. А потом кубит опять возвращаем в смешанное состоя­ние. Оказывается, что это эффек­тивный способ проделать некото­рое измерение. То есть Китаев за­метил, что одна из вещей, которые мы можем эффективно делать на квантовом компьютере, - это имитировать процесс квантового измерения. В данной задаче из результатов этих измерений эф­фективно извлекается ответ.

Сам процесс вычислений, происходит так: мы все время умножаем одну и ту же ячей­ку на некие константы, результаты измерений записываем, а потом производим своего рода обработ­ку результатов эксперимента - уже чисто классическими вычис­лениями. Вся квантовая часть зак­лючается в том, что где-то рядом с нашим регистром находится в некоем смешанном состоянии коррелированный с ним кубит, и мы его периодически наблюдаем.

Для вы­числения ДЛ числа, записанного N битами, нужно потратить N ³  еди­ниц времени. Вполне реализуе­мо - на КК, естественно. Но здесь надо заметить, что никто пока не доказал, что не существует столь же быстрого алгоритма для вы­числения ДЛ на обычной машине.

Вторая задача предложена Гровером (L. Grover) [9]. Рассмотрим базу дан­ных, содержащую 2 ^N записей. Мы хотим найти ровно одну запись. Имеется некая процедура опреде­ления того, нужную запись мы взяли или нет. Записи не упоря­дочены. С какой скоростью мы можем решить эту задачу на обыч­ном компьютере? В худшем слу­чае нам придется перебрать все 2 ^N записей - это очевидно. Оказывается, что на КК достаточно числа запросов по­рядка корня из числа записей – 2 ^{N /2} .

Интересная задача - созда­ние оптимальных микросхем. Пусть есть функция, которую нужно ре­ализовать микросхемой, и эта функция задана программой, ис­пользующей полиномиально ог­раниченную память. Построение нужной микросхемы с минималь­ным числом функциональных эле­ментов - задача PSPACE. По­этому появление устройств, эф­фективно решающих PSPACE-задачи, позволило бы единообразно проектировать оптимальные по своим показателям вычислитель­ные устройства обычного типа. Кроме того, в PSPACE попадает большинство задач «искусственного интеллекта»: машинное обучение, распознавание образов и т.д.

Так вот, точно установлено, что KB находятся где-то между обыч­ными вероятностными вычисле­ниями и PSPACE. Если все же ока­жется, что KB можно эффективно реализовать на классических ве­роятностных машинах, не будет смысла в физической реализации квантовых машин. Если же выяс­нится, что при помощи KB можно эффективно решать те или иные PSPACE-задачи, то физическая реализация КК откроет принци­пиально новые возможности.

Есть еще одна область применения КК, где заведомо возможен радикальный выигрыш у существующих техно­логий. Это моделирование самих квантовых систем.

Давайте посмотрим на такой вопрос: как можно эволюцию квантовой системы изучать на обычном компьютере? Это посто­янно делается, так как это задача важна для химии, молеку­лярной биологии, физики и т.п. Но, за счет эк­споненциального роста размер­ности при тензорном произведе­нии, для моделирования десяти спинов вам нужно оперировать с тысячемерным пространством, сто спинов - это уже конец. А если вспомнить, что в молекуле белка десятки тысяч атомов, то... Там, правда, не всюду существенно именно квантовое моделирование, но в целом ясно, что есть очень серьезные препятствия для моде­лирования квантовых систем на классических компьютерах. Так что если создать вычислительное устройство, которое ведет себя квантовым образом, то по край­ней мере один важный класс за­дач на нем есть смысл решать - можно моделировать реальные квантовые системы, возникающие в физике, химии, биологии.

 

Проблемы создания КК.

Когда начался бум вокруг квантовых вычислений, физики высказывались об этом бо­лее чем скептически. Модель кван­товых вычислений не противоре­чит законам природы, но это еще не значит, что ее можно реализовать. К примеру, можно вспомнить создание атом­ного оружия и управляемый термояд.

А если говорить о КК, надо отме­тить одну очень серьезную пробле­му. Дело в том, что любая физичес­кая реализация будет приближен­ной. Во-первых, мы не сможем сде­лать прибор, который будет давать нам произвольный вектор фазово­го пространства. Во-вторых, работа любого устройства подвержена вся­ческим случайным ошибкам. А уж в квантовой системе - пролетит ка­кой-нибудь фотон, провзаимодействует с одним из спинов, и все поменяется. Поэтому сразу возник вопрос, можно ли, хотя бы в прин­ципе, организовать вычисления на ненадежных квантовых элементах, чтобы результат получался со сколь угодно большой достоверностью. Такая задача для обычных компью­теров решается просто - напри­мер, за счет введения дополнитель­ных битов.

В случае КК эта проблема го­раздо глубже. То место, где воз­никает новое качество KB по срав­нению с обычными вычисления­ми, - это как раз сцепленные состояния - ли­нейные комбинации базисных век­торов фазового пространства. У вас есть биты, но они не сами по себе живут в каких-то состояниях - это был бы просто вероят­ностный компьютер (компьютер, дающий тот или иной ответ с определенной вероятностью), - а они на­ходятся в некоем смешанном со­стоянии, причем согласованно-смешанном. Из-за этого в КК нельзя, например, просто взять и скопировать один бит в другой! Обычная интуиция из теории алгоритмов здесь неприменима.

Так что проблема надежности довольно сложна, даже на уровне чистой теории. Те люди, которые активно занимаются KB, активно ее решали и добились успеха: доказано, что, как и в классике, можно делать вычисления на элементах с за­данной надежностью сколь угод­но точно. Это реализовано с по­мощью некоего аналога кодов, ис­правляющих ошибки.

Что касается технической сто­роны появляются сообщения, что созда­ются реальные квантовые систе­мы с небольшим числом битов - с двумя, скажем. Эксперименталь­ные, в железе, так сказать.

Так что эксперименты есть, но пока очень далекие от реальнос­ти. Два бита - это и для класси­ческого и для квантового компь­ютера слишком мало! Чтобы мо­делировать молекулу белка, нуж­но порядка ста тысяч кубитов. Для ДЛ, чтобы вскрывать шифры, достаточно примерно тысячи кубитов.

Задача эта возникла слишком недавно, и не исключено, что она потребует каких-то фундаменталь­ных исследований в самой физи­ке. Поэтому в обозримом будущем ожидать появления квантовых ком­пьютеров не приходится.

Но можно ожидать распрост­ранения через не очень долгое время квантовых криптографи­ческих систем. Квантовая крип­тография позволяет обмениваться сообщениями так, что враг, если попытается подслушать, сможет разве что разрушить ваше сооб­щение. То есть оно не дойдет до адресата, но перехватить его в принципе будет нельзя. Подобные системы, кото­рые уже реализованы, используют све­товод. Универсальный КК здесь не нужен. Нужно специа­лизированное квантовое устрой­ство, способное выполнять только небольшой набор операций, - сво­его рода квантовый кодек.

Физической системе, реализующей квантовый компьютер, можно предъявить пять требований:

1. Система должна состоять из точно известного числа частиц.

2. Должна быть возможность привести систему в точно известное начальное состояние.

3. Степень изоляции от внешней среды должна быть очень высока.

4. Надо уметь менять состояние системы согласно заданной последовательности унитарных преобразований ее фазового пространства.

5. Необходимо иметь возможность выполнять «сильные измерения» состояния системы (то есть такие, которые переводят ее в одно из чистых состояний).

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

 

Физические основы организации КК.

Итак, что же это за тайное оружие такое - КК? Остроумная идея за­ключается в использовании для хра­нения, передачи и обработки ин­формации существенно квантовых свойств вещества. В основном такие свойства проявляют объекты мик­ромира: элементарные частицы, атомы, молекулы и небольшие сгу­стки молекул, так называемые кла­стеры. (Хотя, конечно, и в жизни макромира квантовая механика иг­рает важную роль. В частности, только с ее помощью можно объяснить та­кое явление, как ферромагнетизм.) Одним из квантовых свойств веще­ства является то, что некоторые ве­личины при измерении (наблюде­нии) могут принимать значения лишь из заранее определенного дискрет­ного набора. Такой величиной, на­пример, является проекция собст­венного момента импульса, или, ина­че говоря, спина элементарной час­тицы, на любую заданную ось. На­пример, у электрона возможно только два значения проекции: + 1/2 или –1/2. Таким образом, количество информации, необходимое для со­общения о проекции, равно одному биту. Записав в классическую одно­битную ячейку памяти определен­ное значение, мы именно его оттуда и прочтем, если не произойдет ка­кой-нибудь ошибки.

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

Для описания поведения кван­товых систем было введено понятие волновой функции. Существуют волновые функции, называемые собственными для какой-то кон­кретной измеряемой величины. В состоянии, описываемом собствен­ной функцией, значение этой вели­чины может быть точно предсказа­но до ее измерения. Именно с таки­ми состояниями работает обычная память. Квантовая же система может находиться и в состоянии с волно­вой функцией, равной линейной комбинации собственных функции, соответствующих каждому из воз­можных значений (назовем здесь такие состояния сложными). В сложном состоянии результат из­мерения величины не может быть предсказан заранее. Заранее из­вестно только, с какой вероятно­стью мы получим то или иное зна­чение. В отличие от обычного ком­пьютера, в квантовом для представ­ления данных используются такие ячейки памяти, которые могут на­ходиться в сложном состоянии. В нашем примере мы определили бы, что спин электрона с определенной вероятностью смотрит вверх и вниз, то есть можно сказать, что в кубит записаны сразу и 0, и 1. Количество информации, содержащееся в та­кой ячейке, и саму ячейку называют квантовым битом, или, сокращен­но, кубитом. Согласитесь, ячейки в сложных состояниях весьма не­обычны для классической теории информации. Каждому возможно­му значению величины, представ­ленной кубитом, соответствует ве­роятность, с которой это значение может быть получено при чтении. Эта вероятность равна квадрату мо­дуля коэффициента, с которым соб­ственная функция этого значения входит в линейную комбинацию. Именно вероятность и является ин­формацией, записанной в кубит.

Квантовую механику не случай­но называют иногда волновой ме­ханикой. Дело в том, что квантово-механические волновые функции ведут себя подобно световой или какой-либо другой волне. И для волновых функций, благодаря их способности интерферировать, также может быть введено понятие когерентности. Именно это свой­ство используется в когерентном квантовом компьютере. Набор кубитов представляется когерентны­ми волновыми функциями. Ока­зывается, что существует вполне определенный класс воздействий на квантовую систему, называе­мый унитарными преобразования­ми, при которых не теряется запи­санная в кубит информация и не нарушается когерентность волно­вых функций кубитов. Унитарные преобразования обратимы - по результату можно восстановить ис­ходные данные. После прохожде­ния через квантовый процессор, использующий унитарные преоб­разования, волновые функции ку­битов заставляют интерферировать друг с другом, наблюдая получаю­щуюся картину и судя по ней о результате вычисления.

Из-за того, что для представле­ния информации используются кубиты, в которых записано сразу оба значения - и 0, и 1, в процессе вычислений происходит парал­лельная обработка сразу всех воз­можных вариантов комбинаций би­тов в процессорном слове. Таким образом, в КК реализуется естест­венный параллелизм, недоступный классическим компьютерам. За счет возможности параллельной работы с большим числом вариантов, в идеале равным 2 ^N (где N - число кубитов), квантовому компьютеру необходимо гораздо меньше вре­мени для решения определенного класса задач. К ним относятся, на­пример, задача разложения числа на простые множители или поиск в большой базе данных. Для коге­рентного компьютера уже предло­жены алгоритмы, использующие его уникальные свойства. Кроме того, предполагается использовать КК для моделирования квантовых систем, что трудно или вообще невозможно сделать на обычных компьютерах из-за нехватки мощности или по принципиальным соображениям.

Все существующие на сегодняш­ний день обычные компьютеры, да­же с параллельной обработкой ин­формации на многих процессорах, могут быть смоделированы так на­зываемым клеточным автоматом Тьюринга. Это существенно детер­минированная и дискретная маши­на. С возникновением и обсуждени­ем идей квантовых вычислений ста­ла активно развиваться квантовая теория информации и, в частности, теория квантовых клеточных авто­матов - ККА. Квантовый клеточный автомат является обобщением авто­мата Тьюринга для КК. Сформули­рована гипотеза, гласящая, что каж­дая конечным образом реализуемая физическая система может быть дос­таточно хорошо смоделирована универсальной моделью квантовой вычислительной машины, исполь­зующей ограниченное количество ресурсов. Для одного из предложенных типов ККА теоретически уже доказано, что он подходит для тако­го моделирования и не противоре­чит квантовой теории.

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

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

Если в области передачи инфор­мации уже созданы реально рабо­тающие системы и до коммерческих продуктов осталось лишь несколько шагов, то коммерческая реализация квантового когерентного процессо­ра - дело будущего. К настоящему времени КК научился вычислять сум­му 1+1! Это большое достижение, если учесть, что в виде результата он выдает именно 2, а не 3 и не 0. Кроме того, не следует забывать, что и пер­вые обычные компьютеры были не особенно мощны.

Сейчас ведется работа над дву­мя различными архитектурами процессоров: типа клеточного ав­томата и в виде сети логических элементов. Пока не известно о ка­ких-либо принципиальных пре­имуществах одной архитектуры перед другой. Как функциональ­ная основа для логических эле­ментов квантового процессора бо­лее или менее успешно использу­ется целый ряд физических явле­ний. Среди них - взаимодействие одиночных поляризованных фо­тонов или лазерного излучения с веществом или отдельными ато­мами, квантовые точки, ядерный магнитный резонанс и - наибо­лее многообещающий - объем­ный спиновый резонанс. Процессор, постро­енный на последнем принципе, в шутку называют «компьютером в чашке кофе» - из-за того, что в нем работают молекулы жидкости при комнатной температуре и ат­мосферном давлении. Кроме этих эффектов есть довольно хорошо развитая технология логических элементов и ячеек памяти на джозефсоновских переходах, которую можно при соответствующих ус­ловиях приспособить под коге­рентный процессор.

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

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

Сильно отличается от двух пре­дыдущих «компьютер в чашке ко­фе». Благодаря достоинствам данного метода этот ком­пьютер является наиболее реаль­ным претендентом на то, чтобы достигнуть разрядности 10 бит в бли­жайшее время. В компьютере на кол­лективном спиновом резонансе ра­ботают молекулы обычных жидко­стей (без всяких квантовых вывертов типа сверхтекучести). В качестве ку­битов используется ориентация ядерных спинов. Работа логических ячеек и запись кубитов осуществля­ется радиочастотными электромаг­нитными импульсами со специаль­но подобранными частотой и фор­мой. В принципе, прибор похож на обычные приборы ядерного маг­нитного резонанса (ЯМР) и исполь­зует аналогичную аппаратуру. Жиз­неспособность этого подхода обес­печивается, с одной стороны, очень слабой связью ядерных спинов с окружением и, потому, большим временем сохранения когерентно­сти (до тысяч секунд). Эта связь ос­лаблена из-за экранирования ядер­ных спинов спинами электронов из оболочек атомов. С другой стороны, можно получить сильный выход­ной сигнал, так как для вычислений параллельно используется большое количество молекул. «Не так уж сложно измерить спин четвертого ядра у какого-то типа молекул, если у вас имеется около числа Авогадро (~10²³) таких молекул», - говорит Ди Винченцо (Di Vincenzo), один из исследователей. Для определения результата непрерывно контроли­руют излучение всего ансамбля. Та­кое измерение не приводит к потере когерентности в компьютере, как было бы в случае использования толь­ко одной молекулы.

Ядерные спины в молекулах жидкости при комнатной темпера­туре хаотически разупорядочены, их направления равномерно рас­пределены от 0 до 4p. Проблема записи и считывания кажется не­преодолимой из-за этого хаоса. При воздействии магнитного поля спины начинают ориентироваться по полю. После снятия поля через небольшое время система снова приходит к термодинамическому равновесию, и в среднем лишь около миллионной доли всех спинов остается в состоянии с ориентацией по направлению поля. Однако бла­годаря тому, что среднее значение сигнала от хаотически направлен­ных спинов равно нулю, на этом фоне можно выделить довольно слабый сигнал от «правильных» спинов. Вот в этих-то молекулах с правильными ядерными спинами и размещают кубиты. Для коррек­ции ошибок при записи N кубитов используют 2N или больше спинов. Например, для N =1 выбираются такие жидкости, где какие-то два спина ядер в одной молекуле после опре­деленного воздействия полем мо­гут быть ориентированны только одинаково. Тогда по направлению второго спина при снятии резуль­тата обработки можно отсеять нуж­ные молекулы, никак не влияя на первый спин.

Как уже было сказано, обработ­ка битов осуществляется радиоим­пульсами. Основным логическим элементом является управляемый инвертор. Из-за спин-спинового взаимодействия резонансная час­тота, при которой происходит оп­рокидывание одного спина, зави­сит от направления другого.

Что касается квантовой передачи данных, к настоящему времени экспериментально реализованы системы обмена секретной информацией по незащищенному от несанкционированного доступа каналу. Они основаны на фундаментальном постулате квантовой механики о невоз­можности измерения состояния без оказания влияния на него. Подслушивающий всегда изменяет состояние кубитов, кото­рые он подслушал, и это может быть зафиксировано связы­вающимися сторонами. Данная система защиты информации абсолютно надежна, так как способов обойти законы кванто­вой механики пока еще никто не выдумал.

 

Вместо заключения…

Пока квантовым компьютерам по плечу только наиболее простые за­дачи - например, они уже умеют складывать 1 и 1, получая в резуль­тате 2. Было также запланировано взятие дру­гого важного рубежа - фактори­зации числа 15, его предстоит раз­ложить на простые множители - 3 и 5. А там, глядишь, дойдет дело и до более серьезных задач.

Опытные образцы сейчас со­держат менее десяти квантовых би­тов. По мнению Нейла Гершенфельда (Nell Gershenfeld), участвовав­шего в создании одной из первых действующих моделей квантового компьютера, необходимо объеди­нить не менее 50-100 кубитов, что­бы решать полезные с практиче­ской точки зрения задачи. Интерес­но, что добавление каждого сле­дующего кубита в квантовый ком­пьютер на эффекте объемного спи­нового резонанса требует увеличе­ния чувствительности аппаратуры в два раза. Десять дополнительных кубитов, таким образом, потребуют увеличения чувствительности в 1000 раз, или на 60 дБ. Двадцать - в миллион раз, или на 120 дБ...

He исключе­но, что в информационном обще­стве появление квантового компь­ютера сыграет ту же роль, что в свое время, в индустриальном, - изоб­ретение атомной бомбы. Действи­тельно, если последняя является средством «уничтожения мате­рии», то первый может стать сред­ством «уничтожения информа­ции» - ведь очень часто то, что известно всем, не нужно никому.

Литература, содержащая основную информацию о КК.

1. Feynman R. Int. J. Theor. Phys. 21, 1982.

2. Манин Ю.И. Вычислимое и невычислимое. - М.: Советское ра­дио, 1980.

3. Feynman R. Quantum mechanical computers. // Optics News, February 1985, 11, p.11.

4. Deutsch D. Quantum theory, the Church-Turing principle and the universal quantum computer. - Proc. R. Soc. London A 400, 97, 1985.

5. Deutsch D. Quantum computational networks. - Proc. R. Soc. London A 425, 73, 1989.

6. Yao А. С.-С. Quantum circuit complexity. //Proceedings of the 34th Annual Symposium on the Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1993, p. 352.

7. Shor P.W. Algorithms for Quantum Computation: Discrete log and Factoring. // Proceedings of the 35th Annual Symposium on the Foundations of Computer Science, edited by S. Goldwasser, IEEE Computer Society Press, Los Alamitos, CA, 1994, p.124.

8. Китаев A.Ю. Квантовые вычисления: алгоритмы и исправление ошибок. //Успехи математических наук.

9. Grover L. Afast quantum mechanical algorithm for database search. //Proceedings of the 28th Annual ACM Symposium on Theory of Computing, 1996, pp. 212-219.

10. Kitaev A.Yu. Quantum measurements and the Abelian stabilizer problem. - LANL e-print quant-ph/9511026, http://xxx.lanl.gov.

11. Shor P.W. Fault-Tolerant Quantum Computation. - LANL e-print quant-ph/9005011, http://xxx.lanl.gov.

12. Bennett С.Н., Bernstein E., Brassard G., Vazirany U. Strengths and Weaknesses of Quantum Computing. - LANL e-print quant-ph/9701001, http://xxx.lanl.gov, to appear in SIAM J. On Computing.

 

12	Поделиться:

Воспользуйтесь поиском по сайту: