AKS素性测定算法的一个改进版本在PC上的实现

AKS算法从理论上成功解决了在多项式时间内进行确定性素性测定的著名难题,但它并不实用,从而得到一系列的改进。为深入分析现有AKS改进算法的实际应用效率,利用Delphi-Pascal语言在微机Pentium IV/1.8G上实现了AKS算法的一个Bernstein改进版本(简称AKS-Bernstein第二算法),并分析比较了AKS算法现有几个版本的实际耗时。对于原先需要几十甚至几千个小时才能完成一次素性测定的数据,利用AKS-Bernstein第二算法进行测试仅需几十秒,从而指出该算法比其他版本有很大改进。此外,通过分析AKS-Bernstein第二算法仍然存在的一些不足,指出该算法在素性测定的实际运用上还有待进一步完善。

Jacobi和素性测定算法在PC上的实现

我们在ＰＣ机上实现了Ａｄｌｅｍａｎ－Ｐｏｍｅｒａｎｃｅ－Ｒｕｍｅｌｙ的Ｊａｃｏｂｉ和素性测定算法的Ｃｏｈｅｎ－Ｌｅｎｓｔｒａ版本。我们的Ｐａｓｃａｌ程序在４８６微机上对１０４位素数的严格素性证明在５分钟内完成。特别地，我们证明了１０１０３＋１２９是素数。本文给出我们的程序对此数的严格素性证明所用的主要参数、一些中间数据和算法各步骤实际耗时。

一个推广的Lucas型素性测定算法

特殊形式的自然数,例如形式为Mh,n=h.2n±1的数(h奇数,n正整数)常是人们感兴趣的研究对象。Berrizbeitia和Berry提出一个Lucass型素性测定测试,即当h mod 5时测试Mh,n的素性所用的种子仅依赖于h。本文推广了Berrizbeitia和Berry关于Mh,n=h.2n±1的素性测定,即将h不能被5整除推广到h不能被形如4m+1的素数q整除时的情形(特别当h能被15整除时)。

有关LUCAS序列的几个充要条件

Lucas序列Un(u)和Vn(u)定义为:U0=0,V0=2,U1=1,V1=u,Un=uUn-1-Un-2,Vn=uVn-1-Vn-2,n≥2.本文分别给出了同余式组 UN+r(u)≡0modNVN+r(u) 2modN,UN+r(u) 0modNVN+r(u)≡2modN和UN+r(u) 0modNVN+r(u) 2modN成立的几个充要条件,并对满足同余式组的u的个数进行估计,其中N=pq是两个奇素数之积,q=k(p+1)+r,｜r｜<p+12,k≥7,(u2-4p)=-1且gcd(u,N)=gcd(u2-4,N)=1.

寻找关于几个素数基的两类强伪素数

给出了用四次剩余特征为主要工具找K8-强伪素数和K7/2-强伪素数(具有形式n=pq,其中p,q是奇素数且q-1=k(p-1),k=8,7/2的强伪素数)的方法,表列出所有小于1024的关于前6个素数基的K8-强伪素数和关于前4个素数基的K7/2-强伪素数,总共有111个K8-强伪素数和173个K7/2-强伪素数.进一步验证了张振祥的一个论断,即PR(n)值越接近1/4时,n成为关于较多个基的强伪素数的可能性就越大.

寻找是强伪素数的Carmicheal数

令N=q1q2q3,q1<q2<q3是三因子的Carmicheal数,定义C3,1-及C3,2-数,它们分别指qi=5 mod 8,i=1,2,3及qi≡5 mod 8,i=1,2,q3≡9 mod 16时的情况,它们有着较高的成为强伪素数的概率.本文首先给出成为这些数的充分必要条件然后给出算法,最后经过上机计算得到1024以内的有58个对于前5个素数基的C3,1-强伪素数,其中有一个是对于前8个素数基的强伪素数;以及27个对前4个素数基的C3,2-强伪素数,只有一个是对于前4个基的强伪素数.