$Miller Rabin$总结
$ Miller Rabin $ 总结:
这是一个很高效的判断质数的方法,可以在用 $ O(logn) $ 的复杂度快速判断一个数是否是质数。它运用了费马小定理和二次探测定理这两个筛质数效率极高的方法。
费马小定理判质数:
$ a^{p-1}\equiv1\mod p $
这个定理在p为质数的时候是成立的,所以我们可以如果要判断p是否是质数,可以 $ rand $ 几个a值然后照着这个式子来算,如果算出来不是1那说明p一定不是质数。
但在我们的自然数中,如果照着这个式子算出来的答案为1,也是有可能不是质数的。更有一类合数,它用费马小定理不管 $ rand $ 什么数都判不掉。这类合数称为Carmichael数,其中一个例子就是561(哇,居然这么小)。
二次探测定理:
因为Carmichael数的存在,使得我们难以高效判断质数,所以我们还需要加入第二种判断方法使这种伪算法更优秀!而二次探测无疑就是为我们量身定制的算法,因为它要建立在同余式右边为1的基础上(而我们的费马小定理不正好满足了要求吗?)
若 $ b^2\equiv1\mod p $ 且 $ p $ 为质数 $ => $ 则 $ p $ 一定可以被 $ b-1 $ 和 $ b+1 $ 其中一个整除
这是二次探测定理,原理很简单,我们将上面的同余式左右都减1,根据平方差公式可以得出 $ (b-1)(b+1)\equiv0\mod p $ 这其实就代表着等式左边是模数的倍数,但若模数p是质数,则 $ (b-1) $ 和 $ (b+1) $ 必定存在一个是p的倍数,所以要么 $ b-1=p\quad(b=1) $ 或者 $ b+1=p\quad(b=p-1) $ 如果不满足则p一定不是质数!然后我们还可以发现若 $ b=1 $ 我们又可以进行新一轮二次探测!
根据这个道理,我们可以进行二次探测:因为 $ a^{p-1}\equiv1\mod p $ 如果 $ p-1 $ 为偶数的话就可以化成: $ a{(\frac{p-1}{2}){2}}\equiv1\mod p $ 这样就变成了二次探测的基本式。
inline ll ksc(ull x,ull y,ll p){//O(1)快速乘(防爆long long)
return (x*y-(ull)((lb)x/p*y)*p+p)%p;
}
inline ll ksm(ll x,ll y,ll p){//快速幂
ll res=1;
while(y){
if(y&1)res=ksc(res,x,p);
x=ksc(x,x,p); y>>=1;
}return res;
}
inline bool mr(ll x,ll p){
if(ksm(x,p-1,p)!=1)return 0;//费马小定理
ll y=p-1,z;
while(!(y&1)){//一定要是能化成平方的形式
y>>=1; z=ksm(x,y,p);//计算
if(z!=1&&z!=p-1)return 0;//不是质数
if(z==p-1)return 1;//一定要为1,才能继续二次探测
}return 1;
}
inline bool prime(ll x){ if(x<2)return 0;
if(x==2||x==3||x==5||x==7||x==43) return 1;
return mr(2,x)&&mr(3,x)&&mr(5,x)&&mr(7,x)&&mr(43,x);
}
这样子加上二次探测之后,明显就能高效很多,基本上卡不了,大概要每 $ 10^{10} $ 个数才会出现一个判不掉的,这个概率可以说十分微小,可以忽略!
$ Miller Rabin $ 所需要的一些算法:(快速幂) (快速乘)
随机推荐
- python系列-1 字符串操作
1.去除空格 str.strip():删除字符串两边的指定字符,括号的写入指定字符,默认为空格 >>> a=' hello ' >>> b=a.strip() ...
- BZOJ1559[JSOI2009]密码——AC自动机+DP+搜索
题目描述 输入 输出 样例输入 10 2 hello world 样例输出 2 helloworld worldhello 提示 这题算是一个套路题了,多个串求都包含它们的长为L的串的方案数. 显然是 ...
- 自定义缓存设计(static缓存数据)
设计题 编程过程中,为了解决缓存数据共享的问题,常常会使用static关键字达到脱离具体实例化对象,在整个java进程生命周期内共享数据的目的.请编写一个类,类名为MapCache,拥有但不局限于以下 ...
- 【刷题】BZOJ 2069 [POI2004]ZAW
Description 在Byte山的山脚下有一个洞穴入口. 这个洞穴由复杂的洞室经过隧道连接构成. 洞穴的入口是一条笔直通向"前面洞口"的道路. 隧道互相都不交叉(他们只在洞室相 ...
- 自学Python2.8-条件(if、if...else)
自学Python之路 自学Python2.8-条件(if.if...else) 1.if 判断语句 if语句是用来进行判断的,其使用格式如下: if 要判断的条件: 条件成立时,要做的事情 当“判断 ...
- 【BZOJ4821】[SDOI2017]相关分析(线段树)
[BZOJ4821][SDOI2017]相关分析(线段树) 题面 BZOJ 洛谷 题解 看看询问要求的东西是什么.把所有的括号拆开,不难发现要求的就是\(\sum x,\sum y,\sum xy,\ ...
- Java -- JDBC 学习--使用 DBUtils
Apache—DBUtils简介 commons-dbutils 是 Apache 组织提供的一个开源 JDBC工具类库,它是对JDBC的简单封装,学习成本极低,并且使用dbutils能极大简化jdb ...
- Azure KeyVault设置策略和自动化添加secrets键值对
一. 关于Azure Key Vault Azure 密钥保管库可帮助保护云应用程序和服务使用的加密密钥和机密. 借助 Key Vault,可使用密钥来加密密钥和机密(例如身份验证密钥.存储帐户密钥. ...
- 单机安装ELK
. 简介 1.1 介绍 ELK是三个开源工具组成,简单解释如下: Elasticsearch是个开源分布式搜索引擎,它的特点有:分布式,零配置,自动发现,索引自动分片,索引副本机制,restful风格 ...
- Kafka集群优化篇-调整broker的堆内存(heap)案例实操
Kafka集群优化篇-调整broker的堆内存(heap)案例实操 作者:尹正杰 版权声明:原创作品,谢绝转载!否则将追究法律责任. 一.查看kafka集群的broker的堆内存使用情况 1>. ...