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

Автоматизированная генерация спецификаций квантовых цепей на основе полиномов Рида-Маллера (Виталий Калмычков, SECR-2019) * Виталий Калмычков ------------- В докладе охарактеризовано современное положение в квантовых вычислениях, и возможно слушатели узнают новую информацию из перспективной области создания и программирования квантовых компьютеров. Будет представлен опыт разработки модульной системы автоматической генерации спецификаций квантовых цепей, используемых в качестве основы для логического представления квантового вычислительного процесса. В докладе рассматриваются предложенные способы по автоматической минимизации квантовых цепей на основе масштабируемых шаблонов, их оценки и верификации.