К ВОПРОСУ О СЛОЖНОСТИ КЛАССИЧЕСКОГО МОДЕЛИРОВАНИЯ КВАНТОВЫХ ВЕТВЯЩИХСЯ ПРОГРАММ // Ученые записки КФУ. Физико-математические науки 2009 N2

Abstract

В статье рассматриваются синтаксические квантовые ветвящиеся программы (СКВП), вычисляющие булевы функции с большой надежностью. Представляется техника классического детерминированного моделирования СКВП, дается оценка сложности такого моделирования. На примере функции MOD показывается, что оценка сложности детерминированного моделирования близка к оптимальной. Предлагаемая техника классического моделирования СКВП дает другое (конструктивное) доказательство включения класса функций, вычислимых СКВП константной ширины в класс сложности NC.