请教关于因子分解的问题

eoeobop515

一个数在P-1 Factoring（有STAGE 1 和 STAGE 2），没有找到因子，会不会就100％确定不是素数，还是会发给另一个高级别的电脑从新LL分析？？

wreck

并不能确定这个数（2^p-1）是不是素数。
比如使用B1=340000，B2=7140000
如果没有寻找到一个因子，则只能说明这个数在B1=340000和B2=7140000时没有因子
也即如果(2^p-1)不是素数，则其最小因子减1之后的最大素因子大于7140000
不妨设t是2^p-1的最小素因子，t-1=p1^i1*p2^i2*...*pk^ik*pn
则ps^is<340000，1<s<k
pn<7140000