$$ \def\bra#1{\mathinner{\left\langle{#1}\right|}} \def\ket#1{\mathinner{\left|{#1}\right\rangle}} \def\braket#1#2{\mathinner{\left\langle{#1}\middle|#2\right\rangle}} $$ はじめに これまでに、「量子アルゴリズムの基本:〜」と題して、 量子アルゴリズムの基本:量子フーリエ変換の確認 量子アルゴリズムの基本:位相推定アルゴリズムの確認 量子アルゴリズムの基本:算術演算の確認(加算) 量子アルゴリズムの基本:算術演算の確認(剰余加算) 量子アルゴリズムの基本:算術演算の確認(制御-剰余乗算) 量子アルゴリズムの基本:算術演算の確認(べき剰余) という具合に見てきましたが、今回はその集大成とも言うべき「Shorのアルゴリズム」で