DOI: 10.17587/prin.11.169-176

УДК: 004.421, 004.04, 519.688

Автоматизированная генерация спецификаций квантовых цепей на основе полиномов Рида — Маллера

В. А. Калмычков, канд. техн. наук, доц., vakalmychkov@etu.ru, И. В. Матвеева, канд. техн. наук, доц., ir_mat@mail.ru, Санкт-Петербургский государственный электротехнический университет ЛЭТИ

Представлены современный уровень квантовых вычислений и авторский опыт разработки приложений для синтеза и анализа спецификаций квантовых цепей для генерируемых поляризованных полиномов Рида—Маллера. Описана лексическая верификация квантовых цепей на основе символической нотации коэффициентов кубитов. Приведены результаты применения шаблонов автоматической минимизации преобразователей SWAP в квантовых цепях в архитектуре линейно ближайшего соседства и автоматически формируемые таблицы статисти­ческого анализа для многокритериального выбора квантовой цепи.

Ключевые слова: кубит, квантовая цепь, квантовая стоимость, полиномы Рида — Маллера фиксированной полярности

Стр. 169–176