Транспиляция классических алгоритмов в квантовые оракулы

Abstract

Представляется экспериментальный транспилятор, который преобразует математическое выражение в оптимальный квантовый оракул. Процесс выполняется в несколько этапов: построение направленного ациклического графа (DAG) выражения, конвертация в логические гейты (XOR, AND, NOT), их оптимизация методом equality saturation и генерация итоговых квантовых схем с минимизацией количества вспомогательных кубитов. Система поддерживает битовые, условные операции, операции сравнения, модульную арифметику (по модулю 2^n или простых чисел).

Speaker

Александр Аверьянов
Saratov Fall meeting
Russia

Upload Report

Discussion

Ask question