这是一种随机性素数判定算法,也就是说,答案可能出错,但是可能性极小。
先是讲两个定理:
费马小定理: 对于一个质数p,取任意整数a,满足gcd(p,a)=1,则有
ap?1≡1(modp) 二次探测定理: 对于0