Эффективные алгоритмы в модели квантовых ветвящихся программ

Оглавление
Основные обозначения и понятия
Введение
1 Предварительные сведения
1.1 Детерминированные ветвящиеся программы.
1.1.1 Определения
1.1.2 Связь с другими моделями вычислений
1.2 Вероятностные ветвящиеся программы.
1.2.1 Определения
1.2.2 Уменьшение вероятности ошибки
1.2.3 Метод Ппегрг4пИ
2 Квантовые ветвящиеся программы
2.1 Основы квантовых вычислений
2.2 Определение квантовых ветвящихся программ
2.3 Эффективные квантовые ветвящиеся программы.
2.4 Схемное представление
2.5 Уменьшение вероятности ошибки
2.6 Связь с другими схемными моделями вычислений
3 Квантовый метод отпечатков
3.1 Квантовый метод отпечатков.
3.1.1 Существованиехорошего множества параметров
3.1.2 Конструктивные методы построения хорошего множества параметров
3.1.3 Варианты использования техники отпечатков .
3.2 Вычисление функции
3.2.1 Вычисление функции .
3.3 Квантовая для проверки равенства и сводимых к
ней функций
3.3.1 Понятие сводимости.
3.3.2 Проверка равенства.
3.3.3 Проверка симметрии.
3.3.4 Проверка периодичности
3.3.5 Функция ii.
3.4 Квантовая для проверки перестановочности матрицы
3.5 Квантовая для задачи о скрытой подгруппе .
3.5.1 Доказательство верхней оценки сложности
3.6 Вычисление функции голосования на одном кубите .
3.7 Проблема равенства в коммуникационной модели .
3.8 Упрощенный метод отпечатков
4 Моделирование функций из 1 квантовыми кО
4.1 Перестановочные ветвящиеся программы.
4.2 Результаты Баррингтона
4.3 Моделирование 1 квантовыми с.
Заключение
Литература