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

第34卷2期 安徽师范大学学报(自然科学版) VOJ．34No．2 2011年3月 ofAnhuiNormalUniversity(NaturalScience) Mar．2011 Journal 寻找关于几个素数基的两类强伪素数 谢蕊蕊 (安徽师范大学数学计算机科学学院，安徽芜湖241000) 摘要：给出了用四次剩余特征为主要工具找K8．强伪素数和K7／2．强伪素数(具有形式，l=pq， 于前6个素数基的K8一强伪素数和关于前4个素数基的K7／2．强伪素数，总共有111个K8一强伪素 数和173个K7／2．强伪素数．进一步验证了张振祥的一个论断，即PR(r／)值越接近1／4时，n成为一 关于较多个基的强伪素数的可能性就越大． 关键词：素性测定；强伪素数；Miller测试；四次剩余特征；孙子定理 中图分类号：0156．1文献标识码：A 文章编号：1001—2443(2011)02—0110—06 素性测定问题是计算数论的中心课题之一．严格素性测定算法有Jaeoloi和测试，椭圆曲线、狈4试和多项式 时间的AKS算法．但在实际操作中我们还是普遍使用概率素性测定的方法，因为它们容易实现而且速度快． 设奇数冠∈z+，靠一1=2叼，其中2＼卜d．若竹是素数，则对任意b∈z+，ged(咒，6)=1，有 bn一1三1mod，z． (1) ‘及 d兰一1mod bd兰1mod竹或b2 7／对某个r∈{0，1，…，S一1}．． (2) 6．2．6]．若咒对 数，记作psp(b)．100多年前人们就知道，对每个给定的基b，有无穷多个psp(b)[1，Exercise CD，一、 给定正整数咒，随机取奄个小于竹的不同的正整数6，然后作咒关于以这些数b为基础的Miller测试，若咒是 素性测试虽不能确保通过100次测试的整数咒就是素数，但确实给出了极其可靠，几乎万无一失的事实让人 相信是素数． 定义‰为关于前m个素数基的最小强伪素数．如果知道了‰的准确值，那么对小于几的整数扎，我 们就有了一个确定性素性测定算法，它不仅容易实现而且速度快．Pomerance，等[7J和Jaeschkei8】给出了‰ 砣=Pq，其中P，口是奇素数且口一1=走(P一1)，意=2，3，4，5，6，7，13，4／3，5／2．(3) 收稿日期：2010—01—07 基金项目：国家自然科学基金． 作者简介：谢蕊蕊(1986一)，女．安徽阜阳人，硕士研究生，研究方向：计算数论及其应用 34卷第2期 谢蕊蕊： 寻找关于几个素数基的两类强伪素数 111 祥[9】用四次剩余特征和三次剩余特征为主要工具，找出了所有小于1024的关于前9个或10个素数基的K2．， 22位数降到了19位数． 本文参照[9，10]中的方法，继续用四次剩余特征为主要工具，先给出咒是关于素数基b的K8一伪素数和 K7／2一强伪素数的必要条件，然后找到了一些候选者”，再对这些候选者进行Miller测试，进而得到了所有小 步验证了张振祥在[11]中的一个论断，即玮(竹)值越接近I／4时，咒成为关于较多个基的强伪素数的可能性 就越大． mod 在本文中，令D表示Gauss整数环z[i]且口，卢，7f∈D．若素数b三14，则b=廖，其中J9是不 可约基本(primaryirreducible)元．若god(6，N(口))=1，则OI-1表示Ot模b的逆． 引理1．1 令丌=r+si是不可约基本元