|
Ученые записки Казанского государственного университета. Серия Физико-математические науки, 2009, том 151, книга 2, страницы 7–15
(Mi uzku740)
|
|
|
|
Пятнадцатая международная конференция "Проблемы теоретической кибернетики"
К вопросу о сложности классического моделирования квантовых ветвящихся программ
Ф. М. Аблаев Кафедра теоретической кибернетики Казанского государственного университета
Аннотация:
В статье рассматриваются синтаксические квантовые ветвящиеся программы (СКВП), вычисляющие булевы функции с большой надежностью. Представляется техника классического детерминированного моделирования СКВП, дается оценка сложности такого моделирования. На примере функции $\mathrm{MOD}_m$ показывается, что оценка сложности детерминированного моделирования близка к оптимальной. Предлагаемая техника классического моделирования СКВП дает другое (конструктивное) доказательство включения класса функций, вычислимых СКВП константной ширины в класс сложности $NC^1$.
Ключевые слова:
квантовые алгоритмы, сложность вычислений, ветвящаяся программа.
Поступила в редакцию: 30.03.2009
Образец цитирования:
Ф. М. Аблаев, “К вопросу о сложности классического моделирования квантовых ветвящихся программ”, Учён. зап. Казан. гос. ун-та. Сер. Физ.-матем. науки, 151, № 2, Изд-во Казанского ун-та, Казань, 2009, 7–15
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/uzku740 https://www.mathnet.ru/rus/uzku/v151/i2/p7
|
Статистика просмотров: |
Страница аннотации: | 418 | PDF полного текста: | 134 | Список литературы: | 31 |
|