费马定理的逆定理几乎可以用来判断一个数是否为素数,但是有一些数是判断不出来的,因此,Miller_Rabin测试方法对费马的测试过程做了改进,克服其存在的问题. 推理过程如下(摘自维基百科): 摘自另一篇博文(手动滑稽): 原理明白了,就直接上代码了(KuangBin大神的板子): 代码思路是, Miller_Rabin()函数随机选取 s 个a,a用做“基底” check() 函数是用来判断x是否等于1,也就是判断a是否是n的凭证. Mul_mod()函数是 快速乘 ,求 a^t % n 之后…