MillerRabin
首先,约去x-1的所有因子2,得到t。
计算。
然后不断平方,直到变为。
如果在平方过程中变为1,且平方前不是1或x-1,则检测失败。
最后,根据费马小定理,若得数不是1,则检测失败。
用几个不同的质数a检测即可。
注意使用快速乘。
时间复杂度
代码:
#define ll long long
ll ksc(ll a,ll b,ll c)
{
return (a*b-(ll)((long double)a/c*b)*c+c)%c;
}
ll ksm(ll a,ll b,ll c)
{
ll jg=1;
while(b>0)
{
if(b&1)
jg=ksc(jg,a,c);
a=ksc(a,a,c);
b=(b>>1);
}
return jg;
}
int pri[10]={2,3,5,7,11,13,17,19,23,29};
bool miller(int a,ll x)
{
ll t=x-1;int s=0;
while(t%2==0)
t/=2,s+=1;
ll z=ksm(a,t,x);
for(int i=0;i<s;i++)
{
ll t=ksc(z,z,x);
if(t==1&&z!=1&&z!=x-1)
return false;
z=t;
}
return z==1;
}
bool isprime(ll x)
{
for(int i=0;i<10;i++)
{
if(x==pri[i])
return true;
}
for(int i=0;i<10;i++)
{
if(!miller(pri[i],x))
return false;
}
return true;
}
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· go语言实现终端里的倒计时
· 如何编写易于单元测试的代码
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· 分享一个免费、快速、无限量使用的满血 DeepSeek R1 模型,支持深度思考和联网搜索!
· 使用C#创建一个MCP客户端
· 基于 Docker 搭建 FRP 内网穿透开源项目(很简单哒)
· ollama系列1:轻松3步本地部署deepseek,普通电脑可用
· 按钮权限的设计及实现