Miller-Rabin随机化判定素数

博客园食用体验更佳

用来干嘛的

​   要判断一个数 $n$ 是否为素数，最朴素直接的办法是以$O(\sqrt{n})$ 时间复杂度地从2到 $\sqrt{n}$ 循环即可得到最准确的结果。但是如果在 $n$ 比较大的情况下，时间花销就太大了。这时，我们可以选择牺牲一点点准确度，使用可爱的米勒-拉宾（Miller-Rabin）素性检验算法来判断质数。根据百度百科，使用快速幂运算，这个算法的时间复杂度是 $O(k{\log }^{3}n)$的，$k$是我们设定对一个数的进行测试的次数。$k$ 越大，判断错误的几率越低，保守估计大概是$4^{-k}$，实际效果极佳，我们一般取到10就可以了。

谁搞出来的(摘自百度百科)

​  米勒-拉宾素性检验是一种素数判定法则，利用随机化算法判断一个数是合数还是可能是素数。卡内基梅隆大学的计算机系教授Gary Lee Miller首先提出了基于广义黎曼猜想的确定性算法，由于广义黎曼猜想并没有被证明，其后由以色列耶路撒冷希伯来大学的Michael O. Rabin教授作出修改，提出了不依赖于该假设的随机化算法。

要用到的数学定理

费马小定理：

​  如果$p$是一个质数，而且整数$a$与$p$互质（即最小公因数$gcd(a,p)=1$），则有 a p − 1 ≡ 1 ( m o d   p ) a^{p-1}≡1(mod~p)