О моделировании квантовых и классических бинарных программ

Рассматриваются сложностные классы, определяемые на основе бинарных программ. Доказываются основные соотношения между классами сложности, определяемые вероятностными и квантовыми бинарными программами (как один раз, так и много раз измеряемыми), вычисляющими с изолированной и неизолированной ошибкой. Для доказательства разработаны метод “линейного моделирования” квантовой бинарной программы и метод “квантового моделирования” вероятностной бинарной программы.
Библ. 21.