Журнал Компьютерра - 23 от 20 июня 2006 года   ::   Компьютерра

Доказано, что любая задача моделирования молекул или атомов допускает такое представление, а значит, ее можно решить на КК.

Но, повторяю, создание такого КК — фундаментальная проблема физики. Она тесно связана и с математическим формализмом, и с алгоритмами. Например, в моей недавней работе рассмотрена модификация аппарата квантовой теории на основе теории алгоритмов (arXiv:quant-ph/0604055). Эти исследования только начинаются, но есть надежда, что на их основе удастся построить эффективные алгоритмы для моделирования квантовых задач на обычных компьютерах. К тому же есть все основания считать, что алгоритмы — вообще более подходящий формализм для квантовой физики, чем традиционные анализ и алгебра. Что же касается компьютеров квантовых, то для них пока найдено очень мало алгоритмов, которые были бы эффективнее своих классических аналогов. Более того, есть теоремы (в том числе и мои), показывающие, что подавляющее большинство классических алгоритмов невозможно ускорить на КК (о своих результатах в этом направлении я рассказывал еще на первой конференции НАСА по квантовому компьютингу в Палм-Спрингс в 1998 году). Но это не повод для пессимизма — уже обнаруженные квантовые алгоритмы открывают очень заманчивые перспективы.

Технологии



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