一、前言
质因数分解，是一个在算法竞赛里老生常谈的经典问题。我们在解决许多问题的时候需要用到质因数分解来辅助运算，而且质因数分解牵扯到许许多多经典高效的算法，例如miller-rabin判断素数算法，rho启发式搜索质因数分解算法等。在此文里，我要介绍的就是miller-rabin算法以及rho启发式搜索分解算法。
二、算术基本定理
首先，我们得知道，任意一个大于1的自然数都可以分解为有限个质数的乘积。这里因子均为质数，且为正整数。我们把这样的分解成为N的标准分解式。关于算数基本定理的应用有许多，例如可以证明素数无限，定义god,lcm等，在此不一一赘述。有了算数基本定理，我们可以发现计算数论函数，约数和等都是十分方便的，这大大的方便了我们的解题。接下来我们介绍如何来分解质因数。
三、质因数分解的算法
所谓质因数，是某自然数的因素而且这个因素还得是质数。
我们不难想到基本的枚举，即暴力枚举1~n所有数，判断是否能够被n整除且该数是否为质数。大概代码如下：
For i:=1 to n do
If n mod i=0 then
If check(i) then //check为检验i是否为质数的子函数，返回值为boolean
Writeln(i);
Function check(n:longint):boolean;
Var i:longint;
begin
For i:=2 to n do
If n mod i=0 then exit(false); //如果一旦有比它小的数除他为0，那么该数不为质数
Exit(true); //否则显然为质数
End;
这个是最朴素的方法，虽然代码简洁思路简单，但是时间复杂度实在是太高了。
于是我们有了优化1，我们发现判断一个数是否为素数只需枚举到sqrt(i)，为何呢？因为一个数若不是素数，那么它必定是两个数的乘积，这两个数显然有一个小于等于sqrt(i)，否则sqr(sqrt(i))=i，那么显然为质数。
Function check(n:longint):boolean;
Var i:longint;
Begin
For i:=2 to sqrt(n) do If n mod i=0 then exit(false);
Exit(true);
End;
但是我们发现时间复杂度还是比较高O(sqrt(n)*n)
于是我们有了优化2。我们不暴力判断n的每个因素，而是不断去试除。
何谓试除？设x是n的质因数，我们在分解的过程中每找到一个x就把它记录下来，并且让n:=n div x;那么我们在遇见x的倍数时，显然不可能会再有x的倍数了。那么我们就能通过“类似筛法”的思想，在O(sqrt(n))时间内，对n进行质因数分解，这也是现在比较常用的方法。
I:=2;
While n<>1 do
Begin
While n mod i=0 do
Begin
Writeln(i);
N:=n div i;
End;
Inc(i);
End;
我们在不断的div i中，我们把i的所有存在于n的因素里的倍数全部给丢掉了。
（即，n=12时，n=2*2*3=3*4 那么我们在i=2的时候，把4给筛掉了。）
在这里，我们发现每个i都会是质数，即i的变化总是2→3→5→7.......
于是我们有了优化3。如果我们能预先存储不大于sqrt(n)的所有质数，我们就可以快速调用了，不要小看这个优化，在n的质因数比较大的时候，O(n)的线性时间是我们耗费不起的。先来说下筛法（摘自百度百科）
用筛法求素数的基本思想是：把从1开始的、某一范围内的正整数从小到大顺序排列， 1不是素数，首先把它筛掉。剩下的数中选择最小的数是素数，然后去掉它的倍数。依次类推，直到筛子为空时结束。如有：
1 2 3 4 5 6 7 8 9 10
11 12 13 14 15 16 17 18 19 20
21 22 23 24 25 26 27 28 29 30
1不是素数，去掉。剩下的数中2最小，是素数，去掉2的倍数，余下的数是：
3 5 7 9 11 13 15 17 19 21 23 25 27 29
剩下的数中3最小，是素数，去掉3的倍数，如此下去直到所有的数都被筛完，求出的素数为：
2 3 5 7 11 13 17 19 23 29
procedure get(n:longint); //Get函数为利用筛法求素数
var maxfactor,newp:longint;
begin
maxfactor:=trunc(sqrt(n));
fillchar(hash,sizeof(hash),true);
for i:=2 to maxfactor do
if hash[i] then
begin
newp:=i shl 1; //等价于newp:=i*2;
while newp<n do
begin
hash[newp]:=false;
inc(newp,i);
end;
end;
hash[1]:=false;
for i:=2 to n do
if hash[i] then
begin
inc(sushut);
sushu[sushut]:=i;
end;
end;
procedure solve(n:longint); inline;
var i:longint;
begin
i:=1;
while sushu[i]<=n do
begin
tot:=0;
if sushu[i]=0 then break;
while n mod sushu[i]=0 do
begin
n:=n div sushu[i];
inc(tot);
if tot=1 then
begin
inc(ans);
sum[ans].number:=sushu[i];
end;
sum[ans].k:=tot;
end;
if sushu[i]=2 then fuck:=tot;
inc(i);
end;
end;
可是这样的复杂度在n为超大整数类型且素因子十分大的时候也无能为力了，不仅会MLE，更会TLE。那么，我们来说一下这次的重头戏，也就是rho分解大法。
我们必须知道Fermat分解：
首先，对于任意的一个偶数，我们都可以提取出一个2的质因子，如果结果仍为偶数，则可继续该操作，直至将其化为一个奇数和2的多少次幂的乘积，那么我们可以假定这个奇数可以被表示成2*N+1，如果这个数是合数，那么一定可以写成N=c*d的形式，不难发现，式中的c和d都是奇数，不妨设c>d，我们可以令a=(c+d)/2,b=(c-d)/2，那么的可以得到N=a*a-b*b，而这正是Fermat整数分解的基础；由不等式的关系，我们又可以得到a>=sqrt(c*d)=sqrt(N)，那么，我们就可以枚举大于N的完全平方数a*a，计算a*a-N的值，判断计算的结果是否为一个完全平方数，如果是，那么a，b都是N的因子，我们就可以将算法递归的进行下去，知道求出N的所有质因子。容易看出，Fermat分解大数的效率其实并不高，但是比起试除法要好了很多；而且每次的计算都是计算出N的一个因子，更加降低了其效率。这就让我们想着去尝试新的算法，那就是Pollard rho算法。
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-robin素性检验。
根据费马小定理，
若n是一个奇素数，a是任何整数(1≤ a≤n-1) ，则 a^(n-1)≡1(mod n)。
miller-robin的理论基础：
如果n是一个奇素数， 将n-1表示成2^s*r的形式(r是奇 数)，a 是和n互素的任何整数， 那么ar≡1(mod n) 或者对某个j(0≤j ≤s －1， j∈Z) 等式 a2jr ≡－1(mod n)成立。 这个理论是通过一个事实经由Fermat定理推导而来： n是一个奇素数，则方程x2 ≡ 1 mod n只有±1两个解。
注意，miller-rabin算法只是一种素性判断的概率算法，关于miller-rabin，pascal贴吧里应该有相关的帖子介绍，而miller-rabin的判断错误的概率是相当低的，(0.25)^t，t为素性测试的轮数。Miller-rabin算法在Int64范围内无法解决的强伪素数特殊判断一下即可。
接下来我们上代码：（我没找到Pas的，于是自己写了一份很丑的Pas代码，大神勿喷）
const count=10;
pri:array [0..10] of longint=(2,3,5,7,11,13,17,19,23,29,31);
var n,total:int64;
i:longint;
ans:array [0..10000] of int64;
function multi(a,b,m:int64):int64;
//考虑到64位二进制数能表示的范围，只需取前9个素数为基
var ans:int64;
begin
ans:=0;
a:=a mod m;
while b<>0 do
begin
if (b and 1)=1 then
begin
ans:=(ans+a) mod m;
dec(b);
end;
b:=b>>1;
a:=(a+a) mod m;
end;
exit(ans);
end;
function gcd(x,y:int64):int64;
begin
if x mod y=0 then
exit(y)
else exit(gcd(y,x mod y));
end;
function quick_mod(a,b,m:int64):int64;
var ans:int64;
begin
ans:=1; a:=a mod m;
while b<>0 do
begin
if (b and 1)=1 then
begin
ans:=multi(ans,a,m);
dec(b);
end;
b:=b>>1;
a:=multi(a,a,m);
end;
exit(ans);
end;
function prime(n:int64):boolean;
var m,k,a,x,y:int64; i,j:longint;
begin
if n=2 then exit(true);
if (n<2) or ((n and 1)=0) then exit(false);
m:=n-1; k:=0;
while (m and 1)=0 do
begin
inc(k);
m:=m>>1;
end;
randomize;
for i:=0 to count do
begin
a:=random(n) mod (n-1)+1;
x:=quick_mod(a,m,n);
y:=0;
for j:=0 to k-1 do
begin
y:=multi(x,x,n);
if (y=1) and (x<>1) and (x<>n-1) then exit(false);
x:=y;
end;
if y<>1 then exit(false);
end;
exit(true);
end;
function pollard_rho(n,c:int64):int64;
var i,k,x,y,d:int64;
begin
i:=1; k:=2;
randomize;
x:=random(n) mod (n-1)+1;
y:=x;
while true do
begin
inc(i);
x:=(multi(x,x,n)+c) mod n;
d:=gcd(y-x,n);
if (d>1) and (d<n) then exit(d);
if (x=y) then exit(n);
if (i=k) then
begin
y:=x;
k:=k<<1;
end;
end;
end;
procedure find(n,c:int64);
var p,k:int64;
begin
if n=1 then exit;
if prime(n) then
begin
inc(total);
ans[total]:=n;
exit;
end
else
begin
p:=n;
k:=c;
randomize;
while p>=n do
begin
p:=pollard_rho(p,c);
dec(c);
end;
find(p,k);
find(n div p,k);
end;
end;
begin
read(n);
find(n,120);
for i:=1 to total do
writeln(ans[i]);
end.
至此，我们在Int64范围内解决了质因数分解的若干问题。