[数论] Miller_Rabbin算法判断大素数,Pollard_rho算法进行质因素分解
来源:互联网 发布:闲鱼拒收淘宝怎么判 编辑:程序博客网 时间:2024/05/13 13:54
讲解转载于:http://www.cnblogs.com/rainydays/archive/2011/09/01/2162049.html http://blog.sina.com.cn/s/blog_86a9d97201015cj7.html
Miller-rabin
Miller-rabin算法是一个用来快速判断一个正整数是否为素数的算法。它利用了费马小定理,即:如果p是质数,且a,p互质,那么a^(p-1) mod p恒等于1。也就是对于所有小于p的正整数a来说都应该复合a^(p-1) mod p恒等于1。那么根据逆否命题,对于一个p,我们只要举出一个a(a<p)不符合这个恒等式,则可判定p不是素数。Miller-rabin算法就是多次用不同的a来尝试p是否为素数。
但是每次尝试过程中还做了一个优化操作,以提高用少量的a检测出p不是素数的概率。这个优化叫做二次探测。它是根据一个定理:如果p是一个素数,那么对于x(0<x<p),若x^2 mod p 等于1,则x=1或p-1。逆否命题:如果对于x(0<x<p),若x^2 mod p 不等于1,则p不是素数。根据这个定理,我们要计算a^(p-1) mod p是否等于1时,可以这样计算,设p-1=(2^t) * k。我们从a^k开始,不断将其平方直到得到a^(p-1),一旦发现某次平方后mod p等于1了,那么说明符合了二次探测定理的逆否命题使用条件,立即检查x是否等于1或p-1,如果不是则可直接判定p为合数。
pollard-rho
这是一个用来快速对整数进行质因数分解的算法,需要与Miller-rabin共同使用。求n的质因子的基本过程是,先判断n是否为素数,如果不是则按照一个伪随机数生成过程来生成随机数序列,对于每个生成的随机数判断与n是否互质,如果互质则尝试下一个随机数。如果不互质则将其公因子记作p,递归求解p和n/p的因子。如果n是素数则直接返回n为其素因子。
至于这个随机数序列是如何生成的暂时还不能理解,而且也是有多种不同的方式。这个序列生成过程中会产生循环,遇到循环则立即退出。
Pollard rho算法的原理就是通过某种方法得到两个整数a和b,而待分解的大整数为n,计算p=gcd(a-b,n),直到p不为1,或者a,b出现循环为止。然后再判断p是否为n,如果p=n成立,那么返回n是一个质数,否则返回p是n的一个因子,那么我们又可以递归的计算Pollard(p)和Pollard(n/p),这样,我们就可以求出n的所有质因子。
具体操作中,我们通常使用函数x2=x1*x1+c来计算逐步迭代计算a和b的值,实践中,通常取c为1,即b=a*a+1,在下一次计算中,将b的值赋给a,再次使用上式来计算新的b的值,当a,b出现循环时,即可退出进行判断。
在实际计算中,a和b的值最终肯定一出现一个循环,而将这些值用光滑的曲线连接起来的话,可以近似的看成是一个ρ型的。
对于Pollard rho,它可以在O(sqrt(p))的时间复杂度内找到n的一个小因子p,可见效率还是可以的,但是对于一个因子很少、因子值很大的大整数n来说,Pollard rho算法的效率仍然不是很好,那么,我们还得寻找更加的方法了。
Miller-rabin算法用到了二次探测,因为有些数称为Carmichael数,它满足费马小定理,但不是素数。
模板:POJ 1811
- [数论] Miller_Rabbin算法判断大素数,Pollard_rho算法进行质因素分解
- [数论] Miller_Rabbin算法判断大素数,Pollard_rho算法进行质因素分解
- miller_rabin素数判断和pollard_rho的素数因子分解算法
- 大素数判断和素因子分解(miller-rabin,Pollard_rho算法)
- 大素数判断和素因子分解(miller-rabin,Pollard_rho算法)
- 大素数判断和素因子分解(miller-rabin,Pollard_rho算法)
- 大素数判断和素因子分解(miller-rabin,Pollard_rho算法)
- Pollard_rho算法(大整数的因子分解或判断是否为素数)
- 大素数判断和素因子分解(miller-rabin,Pollard_rho算法)
- 大素数判断和素因子分解(miller-rabin,Pollard_rho算法)
- 大素数判断和素因子分解(miller-rabin,Pollard_rho算法)
- 大素数判断和素因子分解(miller-rabin,Pollard_rho算法)
- 大素数判断和素因子分解(miller-rabin,Pollard_rho算法)
- 大素数判断和素因子分解模板(miller-rabin,Pollard_rho算法)
- 大素数判断和素因子分解(miller-rabin,Pollard_rho算法)
- poj 1811(大素数模版 miller_rabbin素数判定+pollard_rho分解)
- Miller_Rabin 算法进行素数测试 pollard_rho 算法进行质因数分解 poj1811Prim Test
- 素数的Miller_Rabbin判定算法
- PKU - 3984 迷宫问题
- virtualbox 共享文件夹设置
- LRU缓存介绍和JAVA实现
- 什么是类。什么是对象
- UITextField值变化则赋值的小技巧
- [数论] Miller_Rabbin算法判断大素数,Pollard_rho算法进行质因素分解
- java中的匿名内部类总结
- 源泉书签,今日更新: 增加真正的书签笔记功能,从此可以不用印象笔记啦
- 高性能网络编程5--IO复用与并发编程
- 初入java路,面试屡碰壁。
- HDOJ 1564 Play a game【博弈论】
- 二叉树的基本功能实现
- NOIP2009 靶形数独(搜索)
- 4.【SELinux学习笔记】SELinu策略语言