As-Snow

摘要： 前提 Miller-Rabin 素性测试算法需要如下两个引理： 1. 费马小定理 设 $p$ 是素数，$a$ 为整数，且 $(a,p)=1$，则 $a^{p-1}\equiv1\pmod{p}$ 证明: $ \begin{aligned} &考虑\ 1,2,3,\dots,(p-1)\ 这\ p-1 阅读全文