№ 2906Квантовые вычисленияУровень 4

Квантовый генератор схем для BQP

Класс BQP состоит из языков, которые с ограниченной вероятностью ошибки решает равномерное семейство квантовых схем $\{C_n\}_{n\ge1}$ полиномиального размера. Равномерность означает, что детерминированный классический алгоритм по $n$ за полиномиальное от $n$ время выдаёт описание $C_n$. Докажите, что класс останется тем же, если выдавать $C_n$ поручить BQP-алгоритму, точнее — если он выдаёт распределение описаний $C_n$.