额,我们今天来讲一讲Miller-Rabin素性测试算法。

读者:怎么又是随机算法!!!(⊙o⊙)…

【好了,言归正传】

【费马小定理】

费马小定理只是个必要条件,符合费马小定理而非素数的数叫做Carmichael

Carmichael数是非常少的。

在1~100000000范围内的整数中,只有255个Carmichael数。

为此又有二次探测定理,以确保该数为素数。

这就构成了Miller-Rabin的基本原理 ╰( ̄▽ ̄)╭

【二次探测定理】

二次探测定理 如果p是一个素数,0<x<p,则方程x^2≡1(mod p)的解为x=1,p-1

【Miller-Rabin】

让我们来模拟一下:

第一步:先计算出m、j,使得n-1=m*2^j,其中m是正奇数,j是非负整数

第二步:随机取一个b,2<=b

第三步:计算v=b^m mod n

第四步:如果v==1,通过测试,返回

第五步:令i=1

第六步:如果v=n-1,通过测试,返回

第七步:如果i==j,非素数,结束

第八步:v=v^2 mod n,i=i+1

第九步:循环到S(S根据数据进行改变)

【算法分析】

既然是随机算法,那么我们就来计算一下这种算法的正确率。

Miller-Rabin的正确率为75%。

怎么这么低(⊙o⊙)…,你可以多调用几次就好了!这样可以使正确概率提高为1-(1/4)^S

【代码】

#include<iostream>
#include<cstdio>
#include<cstring>
#include<windows.h>
#include<time.h>
using namespace std;
#define ll long long
const int S=5; //可以根据数据进行更改!!!
ll mod_mul(ll a, ll b, ll n)
{
ll res=0;
while(b)
{
if(b&1) res=(res + a)%n;
a=(a+a)%n;
b>>=1;
}
return res;
} ll mod_exp(ll a, ll b, ll n)
{
ll res=1;
while(b)
{
if(b&1) res=mod_mul(res,a,n);
a=mod_mul(a,a,n);
b>>=1;
}
return res;
}
bool miller_rabin(ll n)
{
if(n==2 || n==3 || n==5 || n==7 || n==11) return true;
if(n == 1 || !(n%2) || !(n%3) || !(n%5) || !(n%7) || !(n%11)) return false;
ll x,pre,u;
int i,j,k=0;
u=n-1;
//要求x^u % n
while(!(u&1))
{ //如果u为偶数则u右移,用k记录移位数
k++;
u >>= 1;
}
srand((ll)time(0));
for(i=0;i<S;++i)
{ //进行S次测试
x=rand()%(n-2) + 2;
//在[2, n)中取随机数
if((x%n)==0) continue;
x=mod_exp(x,u,n);
//先计算(x^u) % n,
pre=x;
for(j=0;j<k;++j)
{ //把移位减掉的量补上,并在这地方加上二次探测
x=mod_mul(x,x,n);
if(x==1 && pre!=1 && pre!=n-1) return false;
//二次探测定理,这里如果x = 1则pre 必须等于 1,或则 n-1否则可以判断不是素数
pre=x;
}
if(x!=1) return false;
//费马小定理
}
return true;
}
int main()
{
long long n;
scanf("%lld",&n);
cout<<miller_rabin(n);
system("pause");
return 0;
}

P.S. 感谢吉林大学的模板,当然这已经改过了,进行了优化。

【你以为这就完了?】

下面我们来研究一下Miller-Rabin的更高效算法

【代码】

#include<windows.h>
#include<iostream>
#include<time.h>
#include<cstdio>
#include<cmath>
using namespace std;
bool witness(long long a,long long n)
{
long long t,d,x;
d=1;
int i=ceil(log(n-1.0)/log(2.0)) - 1;
for(;i>=0;i--)
{
x=d; d=(d*d)%n;
if(d==1 && x!=1 && x!=n-1) return true;
if( ((n-1) & (1<<i)) > 0)
d=(d*a)%n;
}
return d==1? false : true;
}
bool miller_rabin(long long n)
{
int s[]={2,7,61};
if(n==2) return true;
if(n==1 || ((n&1)==0)) return false;
for(int i=0;i<3;i++)//注意这里的i<3不可以改,因为每次S都只为2,7,61!
if(witness(s[i], n)) return false;
return true;
}
int main()
{
long long n;
scanf("%lld",&n);
cout<<miller_rabin(n);
//system("pause");
return 0;
}

我们发现,它只调用witness函数3次,每次都a为2,7,61。时间很快啊。

但正确率……

:-D   //迷之微笑

【算法杂谈】Miller-Rabin素性测试算法的更多相关文章

  1. 关于Miller-Rabin与Pollard-Rho算法的理解(素性测试与质因数分解)

    前置 费马小定理(即若P为质数,则\(A^P\equiv A \pmod{P}\)). 欧几里得算法(GCD). 快速幂,龟速乘. 素性测试 引入 素性测试是OI中一个十分重要的事,在数学毒瘤题中有着 ...

  2. POJ1811_Prime Test【Miller Rabin素数测试】【Pollar Rho整数分解】

    Prime Test Time Limit: 6000MS Memory Limit: 65536K Total Submissions: 29193 Accepted: 7392 Case Time ...

  3. HDU1164_Eddy&#39;s research I【Miller Rabin素数测试】【Pollar Rho整数分解】

    Eddy's research I Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others ...

  4. 优化后的二次测试Miller_Rabin素性测试算法

    ll random(ll n) { return (ll)((double)rand()/RAND_MAX*n + 0.5); } ll pow_mod(ll a,ll p,ll n) { ) ; l ...

  5. Miller Rabin算法学习笔记

    定义: Miller Rabin算法是一个随机化素数测试算法,作用是判断一个数是否是素数,且只要你脸不黑以及常数不要巨大一般来讲都比\(O(\sqrt n)\)的朴素做法更快. 定理: Miller ...

  6. 【数论基础】素数判定和Miller Rabin算法

    判断正整数p是否是素数 方法一 朴素的判定   

  7. (Miller Rabin算法)判断一个数是否为素数

    1.约定 x%y为x取模y,即x除以y所得的余数,当x<y时,x%y=x,所有取模的运算对象都为整数. x^y表示x的y次方.乘方运算的优先级高于乘除和取模,加减的优先级最低. 见到x^y/z这 ...

  8. 关于素数:求不超过n的素数,素数的判定(Miller Rabin 测试)

    关于素数的基本介绍请参考百度百科here和维基百科here的介绍 首先介绍几条关于素数的基本定理: 定理1:如果n不是素数,则n至少有一个( 1, sqrt(n) ]范围内的的因子 定理2:如果n不是 ...

  9. 素数与素性测试(Miller-Rabin测试)

    转载自Matrix大牛的博客 把代码翻译成C++ http://www.matrix67.com/blog/archives/234 题目链接: http://hihocoder.com/proble ...

随机推荐

  1. javascript实用技巧、javascript高级技巧

    字号+作者:H5之家 来源:H5之家 2016-10-31 11:00 我要评论( ) 三零网提供网络编程. JavaScript 的技术文章javascript实用技巧.javascript高级技巧 ...

  2. [原创]webapp/css3实战,制作一个《炉石传说》宣传页

    在移动网页,尤其是webapp中常需要用到大量的css3动画,来获得良好交互体验 我之前帮朋友做了一个,可惜没帮上忙现在和大家分享一下 目标是要做一个<炉石传说>游戏的介绍宣传页面,文字内 ...

  3. EXCEL 2010学习笔记 —— 数据透视表

    今天整理一下EXCEL2010 数据透视表的课程笔记,数据透视表可以对多组数据进行统计和整理,是一种基本的数据可视化工具. 记录6个方面的总结: 1.创建数据透视表 2.更改数据透视表的汇总方式 3. ...

  4. No.23

    腓利比书3:19:"他们的结局就是沉沦,他们的神就是自己的肚腹,他们以自己的羞辱为荣耀,专以地上的事为念". 谨记!

  5. curl及postman专题

    一. 步骤 1: 下载cURL工具 使用您的Windows机器从cURL web站点下载最新版本的cURL: (1) 通常情况下,多数的Windows用户可以从官网下载页面http://curl.ha ...

  6. sql 数据库结构导出到文件

    SELECT 表名 = Case When A.colorder= Then D.name Else '' End, 表说明 = Case When A.colorder= Then isnull(F ...

  7. MFC---给按钮加上快捷键

    现在快捷键的使用已经很频繁了.快捷键可以使我们的操作变得更简单,更快捷.如何给自己的按钮加一个快捷键呢.    如下图:我们希望给我们的参照按钮加一个快捷键CTR + F. 不要以为在按钮的标题上加上 ...

  8. javase-->基础知识(二)

    1.算术运算符 7种:+,-,*,/,%,++,--;          --------------------注意不要想当然,按照类型规则来计算 ++在变量前,先加1再取变量使用 --同理 在变量 ...

  9. C# ADO.net 数据库连接池

    前一阵开发一套系统,同组的同事提供了一个数据库连接组件,是他自己封装的,使用了自定义的连接池,用着很是不爽,而且经常会因为程序不严谨的原因,导致连接池里的连接被用完,也导致其他错误,因此我想自己研究一 ...

  10. MongoDB的分片(9)

    什么是分片 分片是指将数据库拆分,将其分散在不同的机器上的过程.将数据分散到不同的机器上,不需要功能强大的服务器就可以存储更多的数据和处理更大的负载.基本思想就是将集合切成小块,这些块分散到若干片里, ...