Miller-Rabin检验。举个例子,$\pi(10)=4$,因为在2到10之间只有2,3,5,7是质数。不想要一个能被3或者5整除的数,等等。n)^{6+\epsilon})$步内。k不等于0,那么$a^k$不太可能同余于1。k$步,每一步都是模N下的乘法。Stirling公式告诉我们如果n很大的话,n!近似等于$(n/e)^n$。如果$1<d<N$那么算法成功,返回d的值。j自增,从步骤2开始循环。例子:我们用Pollard的p-1方法来分解N=13927189。