其他分享
首页 > 其他分享> > [模板] Miller_Rabin和Pollard_Rho

[模板] Miller_Rabin和Pollard_Rho

作者:互联网

Miller_Rabin

用途

快速($O(slogn)$,s为尝试次数)地判断一个数是否是质数

原理

首先有费马小定理$a^{p-1}=1 (mod\ p)$当p为质数时成立,所以可以随机选择a来以这个式子作为一定的判断依据,但并不是所有合数都不满足这个式子,甚至存在合数对所有的a都不满足这个式子

然后有二次探测定理$a^2=1 (mod p)$,p是奇质数成立当$a=1(mod p)$或$a=p-1(mod p)$

证明:移项可得$(a-1)(a+1)=0 (mod p)$

标签:Miller,质数,合数,Pollard,定理,Rho,mod,Rabin,式子
来源: https://www.cnblogs.com/Ressed/p/11076543.html