Rigorous Statements and Proofs of the Lemmas in Simon's Algorithm for the Dihedral Coset Problem and Their Underlying Hypothesis

该论文针对 Simon 近期提出的关于二面体陪集问题（Dihedral Coset Problem）的量子算法中的四个引理进行严格化证明。Simon 的算法声称能在多项式时间内解决该问题，但其分析依赖于四个引理，其中三个仅有证明草图。本文为

历史摘要 · 未重新核验 · arXiv cs.CR