Miller_Rabbin大素数判定 学习笔记

引理：（费马小定理）
$a^{p-1}\equiv 1\pmod p,(a,p)=1$

快速判定一个数是否为素数的方法：
如果存在一个整数$a$，满足$a^{p-1}\equiv 1\pmod p$的话，那么$n$称为基于$a$的伪素数。
当有多个满足关系的$a$时，$n$为素数的概率趋向于1。
所以多取几个 a <script type="math/tex" id="MathJax-Element-244">a</script>测试即可。