Miller-Rabin学习笔记

MillerRabin

MillerRabin 用于判定一个大整数是不是素数,且速度非常快
应该是 O(klog3n),其中 k 为测试的次数,n 为要判定的数
算法本质上是一种概率算法,存在误判的可能性,但是出错的概率非常小。出错的概率到底是多少,存在严格的理论推导。(网上copy的)

两个重要的东西

Farmet测试

根据费马小定理,如果 pPgcd(a,p)=1 那么 ap11(modp)。它给我们提供了一种检验素数的思路:对于数n,它的基本思想是不断地选取在 [2,n1] 的数让它为 a 并检验是否每次都有 an11(modn),如果没有,那么 n 肯定不是素数

其实有它我们就可以大概率判定素数了
为什么是大概率呢?
谁告诉你费马小定理的逆定理是成立的?
也就是说费马小定理的逆定理并不成立,换言之,满足了 an11(modn)n 也不一定是素数。

例子:1819年有人发现了费马小定理逆命题的第一个反例:虽然2的340次方除以341余1,但341=11*31,后来,人们又发现了561, 645, 1105等数都表明a=2时Fermat小定理的逆命题不成立。虽然这样的数不多,但不能忽视它们的存在。统计表明,在前10亿个自然数中共有50847534个素数,而满足 2n11(modn) 的合数n有5597个
如果用费马小定理的逆命题来判断一个正整数n是不是素数,在前10亿个自然数中出错的可能性为 0.011%
这个出错的可能性还是很高的,但是仍然可以用这个技巧来排除大量的合数,这种方法就是费马检测

上面的做法中随机地选择 a ,很大程度地降低了犯错的概率。但是仍有一类数,上面的做法并不能准确地判断。
对于合数 n ,如果对于所有正整数 aan 互素,都有同余式 an11(modn) 成立,则合数 n 为卡迈克尔数(Carmichael Number),又称为费马伪素数。
比如, 561=3×11×17 就是一个卡迈克尔数。
而且我们知道,若 n 为卡迈克尔数,则 m=2n1 也是一个卡迈克尔数,从而卡迈克尔数的个数是无穷的。

于是 Farmet 测试变得很玄学

当然,因为卡迈克尔数的数量在一定范围内是很少的,1108 内只有255个,如果提前打好一个卡迈克尔数的表来特判,还是可以的
但不是主流
于是我们可以愉快请出第二位 boss

二次探测定理

根据有限域上的平方根定理:p为奇素数(p2 的素数),有 x21(modpe)x 仅有两根 x=1x=1,在模 p 的意义下 x=1 相当于 x=p1,我们称 ±1 为1的平凡平方根。很容易有一个推论,如果模n存在1的非平凡平方根,n一定是合数

当然,为什么仅有两根 ±1 ?一个因式分解就好了

x21(modpe)x210(modpe)(x+1)(x1)0(modpe)

可解出 x=1x=1

根据卡迈克尔数的性质,可知其一定不是 pe
不妨将费马小定理和二次探测定理结合起来使用:

先使用二次探测定理,将 an1 分成 a2bd,可以从 x=ad 开始,依次平方 b 次,每次平方的时候模上 n,按照之前的平方根定理,如果模上 n 的结果为 1 的话,那么 x 一定是 1,或者是 n1,如果不满足则不是素数,x=x2 ,再次循环。最后,我们其实算出了 an1n 意义的值,再用费马小定理判断一下就好了

当然,因为是大整数,所以在算两数相乘时极有可能爆 long long,所以我们用上快速乘
具体细节看代码

Code

#include<cstdio>
#include<ctime>
#include<algorithm>
using namespace std;
typedef long long LL;
inline LL fmul(LL x , LL y , LL p) //快速乘
{
LL res = 0;
while (y)
{
if (y & 1) res = (res + x) % p;
y >>= 1 , x = (x + x) % p;
}
return res;
}
inline LL fpow(LL x , LL y , LL p) //快速幂
{
LL res = 1;
while (y)
{
if (y & 1) res = fmul(res , x , p);
y >>= 1 , x = fmul(x , x , p);
}
return res;
}
inline int Miller_Rabin(LL m , int test_time) //test_time 测试的次数,每次选取随机的在[2..n-1]范围内的 a
{
if (m < 3) return (m == 2);
if (!(m & 1)) return 0;
LL d = m - 1;
int b = 0;
while (!(d & 1)) d = d >> 1 , b++; //将 a^{n-1} 分成 a^{2^b*d}
srand((unsigned)time(NULL));
for(register int i = 0; i < test_time; i++)
{
LL a = rand() % (m - 2) + 2 , v = fpow(a , d , m) , u = 0;
for(register int j = 0; j < b; j++)
{
u = fmul(v , v , m); //不断平方
if (u == 1 && v != 1 && v != (m - 1)) return 0; //平方根定理推论判定
v = u;
}
if (v != 1) return 0;
}
return 1;
}
int main()
{
int n;
scanf("%d" , &n);
LL m;
while(n--)
{
scanf("%lld" , &m);
if (Miller_Rabin(m , 6)) printf("Prime\n");
else printf("Not prime\n");
}
}
posted @   leiyuanze  阅读(434)  评论(0编辑  收藏  举报
编辑推荐:
· 开发者必知的日志记录最佳实践
· SQL Server 2025 AI相关能力初探
· Linux系列:如何用 C#调用 C方法造成内存泄露
· AI与.NET技术实操系列(二):开始使用ML.NET
· 记一次.NET内存居高不下排查解决与启示
阅读排行:
· 阿里最新开源QwQ-32B,效果媲美deepseek-r1满血版,部署成本又又又降低了!
· 开源Multi-agent AI智能体框架aevatar.ai,欢迎大家贡献代码
· Manus重磅发布:全球首款通用AI代理技术深度解析与实战指南
· 被坑几百块钱后,我竟然真的恢复了删除的微信聊天记录!
· AI技术革命,工作效率10个最佳AI工具
点击右上角即可分享
微信分享提示