量子アルゴリズムの因数分解と離散対数計算の無条件的正当性

本論文では、Regev氏が提案した量子アルゴリズムの正当性を無条件に証明した。この量子アルゴリズムは、Shor氏のアルゴリズムよりも量子ゲートの数が少なくて済む。