关于第3步的反例,主线篇里我们已经知道2340≡1(mod341)88≡1(mod9)改进版的素性检测可以一定程度上排除这种干扰。 一、Miller-Rabin算法 注意到n−1必然是偶数,不断除2直到出现奇数m,就可以把待测n写成n−1=2km 整个流程为 简单说一下这个流程:从am起判定是否出现−1(当然先要判定am是否为1),若出现...