Is Factoring Really In BQP? Really? https://rjlipton.wordpress.com/2011/01/23/is-factoring-really-in-bqp-really/ 結局、BPP^BQP⊆BQP だからShorのアルゴリズムをサブルーチンとして使って問題なく、 BPP^BQP⊆BQP なのは Principle of Deferred Measurement があるから?