首页 > 代码库 > Millar_rabin和Pollard_Rho

Millar_rabin和Pollard_Rho

1.Millar_rabin 素数判定

     基于以下两个基础:

  1.如果p是素数,且(a,p)=1,那么(a^(p-1))%p=1(费马小定理)

      2.对于0<x<p,(x^2)%p=1  =>  x=1 或者 x=p-1

    处理:

         把p-1写成u*(2^t),则a^(p-1)=(a^u)^2^2^2.....t次平方操作

    过程:

        随机产生一个数a,cur=a^u %p,对cur做t次平方操作,即cur=cur*cur %p,每次操作结束后,如果cur=1那么上一次的cur必须为1或者p-1否则为合数(上面的基础2),最终的cur必须为1(基础1)。

 注意:

       long long 在计算乘法的时候要防止溢出,用2进制模拟乘法。

2.Pollard_rho,因数分解

     用某种方法生成a,b.计算p=gcd(a-b,n),则p是n的一个因数,如果p=n或者p=1,则迭代的生成a,b,知道p不是n或者1,或者a,b出现循环。(通常b=(a*a+c)%p,在执行之前用Millar_rabin进行素数判定保证n不为素数).

     过程:

       func get_facts(n)

             if (n是素数){fac[tot++]=n; return;}

      p=n

            while (p>=n) p=Pollard_rho(n,rand()%(p-1)+1)

             get_facts(p)

             get_facts(n/p)

          end func