|
Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)
О реализации булевых функций в квантовых ветвящихся программах методом отпечатков
Ф. М. Аблаев, А. В. Васильев
Аннотация:
В работе представлен разработанный нами метод отпечатков вычисления булевых функций в квантовых моделях вычислений. Этот метод является развитием техники fingerprinting.
Применение метода отпечатков демонстрируется на примере вычисления функции $\mathrm{MOD}_m$ в классе квантовых OBDD (забывающих один раз читающих ветвящихся программ). Далее возможности метода отпечатков демонстрируются на примере реализации функции “равенство” в квантовой модели коммуникационных вычислений с рефери (SMP communication model) и на примере распознавания языков в квантовых автоматах.
Все приведенные реализации булевых функций в различных квантовых моделях вычислений (OBDD, коммуникационная модель SMP и конечный автомат) являются асимптотически оптимальными.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 08–07–00449, а также Университета Турку.
Авторы благодарят Юхани Кархумяки за приглашение в Университет Турку и плодотворные обсуждения предмета статьи.
Статья поступила: 09.10.2008 Переработанный вариант поступил: 16.12.2008
Образец цитирования:
Ф. М. Аблаев, А. В. Васильев, “О реализации булевых функций в квантовых ветвящихся программах методом отпечатков”, Дискрет. матем., 21:4 (2009), 3–19; Discrete Math. Appl., 19:6 (2009), 555–572
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1067https://doi.org/10.4213/dm1067 https://www.mathnet.ru/rus/dm/v21/i4/p3
|
|