$ 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 $ 所需要的一些算法:(快速幂) (快速乘)

随机推荐

  1. Bootstrap自动定位浮标

    前面的话 Affix 插件主要功能就是通过插件给某个元素(需要固定的元素)添加或删除position:fixed,实现元素在浏览器窗口的粘性固定效果.本文将详细介绍Bootstrap自动定位浮标 基本 ...

  2. Lucene 分析的意思是按照某种规则进行内容拆分 支持模糊搜索

    Lucene 分析的意思是按照某种规则进行内容拆分 里面的域的值是拆分后的内容

  3. 云时代的IT运维面临将会有哪些变化

    导读 每一次IT系统的转型,运维系统和业务保障都是最艰难的部分.在当前企业IT系统向云架构转型的时刻,运维系统再一次面临着新的挑战.所以在数据中心运维的时候,运维人员应该注意哪些问题? 在云计算时代, ...

  4. LAMP平台部署

    LAMP平台的概述 LAMP环境脚本部署:https://github.com/spdir/ShellScripts/tree/master/lamp LAMP的介绍:百度百科 LAMP平台的构成组件 ...

  5. BZOJ3523[Poi2014]Bricks——贪心+堆

    题目描述 有n种颜色的砖块,第i种颜色的砖块有a[i]个,你需要把他们放成一排,使得相邻两个砖块的颜色不相同,限定第一个砖块的颜色是start,最后一个砖块的颜色是end,请构造出一种合法的方案或判断 ...

  6. Redundant Paths POJ - 3177(边—双连通分量)

    题意: 在图中加边 看最少能通过加多少条边把 图变成边—双连通分量 解析: 先做一次dfs,不同的连通分量的low是不同的  注意重边 缩点 统计度为1的点  那么需要加的边为(ret+1)/2 #i ...

  7. hdu 6319 Problem A. Ascending Rating (2018 Multi-University Training Contest 3 A)

    链接: http://acm.hdu.edu.cn/showproblem.php?pid=6319 思路: 单调队列倒着维护,队列里面剩下的值的数量就是这一段区间的count值,如样例第一个区间:3 ...

  8. (python爬取小故事网并写入mysql)

    前言: 这是一篇来自整理EVERNOTE的笔记所产生的小博客,实现功能主要为用广度优先算法爬取小故事网,爬满100个链接并写入mysql,虽然CS作为双学位已经修习了三年多了,但不仅理论知识一般,动手 ...

  9. Java XML JSON 数据解析

    下面我们通过一段代码了解一下解析JSON格式数据的基本过程: 提示:使用JSON需要导入 JSON 相关的多个Jar文件 import net.sf.json.JSONObject; public c ...

  10. 洛谷 P4174 [NOI2006]最大获利 解题报告

    P4174 [NOI2006]最大获利 题目描述 新的技术正冲击着手机通讯市场,对于各大运营商来说,这既是机遇,更是挑战.THU 集团旗下的 CS&T 通讯公司在新一代通讯技术血战的前夜,需要 ...