一种适合32位机器数的确定性素数判定法.docVIP

算好,我以前也研究过素数问题.现在资料还保存着.. 拿来给你分享吧. (这个算法检测速度,还是很快的,你可以试试看哦~~) 一种适合32位机器数的确定性素数判定法 作者： 王浩（great_wh@） 此论文是为发布个人研究成果与大家分享交流而提交，本人教育背景如下： 计算机应用专业/管理工程专业双学士 天津大学 于1995年到1999年在校就读 日期________________2006-11-28___________________ 摘要 一种适合32位机器数的确定性素数判定法 作者：王浩 本文通过对米勒-拉宾非确定性素数判定法如何转化为确定性素数判定法的研究，发现了与之相关的伪素数的一些性质，引入了伪素数的最小可判定底数的概念，并总结出了一些规律。通过这些规律找出了一种特别适合32位机器数的确定性素数判定法，该方法对于32位机器数进行素数判定最多只需要进行16log(n) 次乘/除法。该方法具有实现简单、速度快的优点，非常具有推广价值。 本文中总结出的一些规律如果能够得到证明和推广，则有可能彻底解决把米勒-拉宾非确定性素数判定法转化为确定性素数判定法的问题，从而对素数判定理论和实践产生一定的促进作用。 本文共有五章。分述如下： 第一章：讲述素数判定法的现状，列举了目前常用的一些素数判定法及其适用范围。 第二章：讲解伪素数表生成过程。 第三章：分析伪素数表，引入了伪素数的最小可判定底数的概念，并且总结出了一些规律。根据这些规律，找出了一种特别适合32位机器数的确定性素数判定法，并且进行了多种优化，给出了时间复杂度分析。 第四章：算法的C++语言实现和解释说明。 第五章：算法的可推广性分析和未来发展展望。 目录 第一章 素数判定法现状... 1 第二章 2-伪素数表的生成... 2 第三章 寻找2-伪素数的最小可判定底数... 3 第四章 算法实现和解释... 5 第五章 算法可推广性分析... 8 参考文献... 9 词汇表 素数判定法：判定一个自然数是否素数的方法。 确定性素数判定法：一个素数判定法判定某个自然数为素数的充要条件是该自然数确实是素数，该判定法就是确定性素数判定法。即该判定法不存在误判的可能性。 32位机器数：在计算机上用32个二进制位表示的无符号整数。 64位机器数：在计算机上用64个二进制位表示的无符号整数。 第一章 素数判定法现状 现在，确定性素数判定法已经有很多种，常用的有试除法、威廉斯方法、艾德利曼和鲁梅利法。它们的适用范围各不相同，威廉斯方法比较适合10^20到10^50之间的数，艾德利曼和鲁梅利法适合大于10^50的数，对于32位机器数，由于都小于10^10，所以一般都用试除法来判定。 也许有人会问：“你为什么没有提马宁德拉.阿格拉瓦法呢？不是有人说它是目前最快的素数判定法吗？” 其实这是一个很大的误解，阿格拉瓦法虽然是log(n)的多项式级算法，但目前只有理论上的意义，根本无法实用，因为它的时间复杂度是O(log(n)^12)，这个多项式的次数太高了。就拿最慢的试除法跟它来比吧，试除法的时间复杂度为O(n^(1/2)*log(n)^2)，当n = 16时，log(n)^12 =而n^(1/2)*log(n)^2 = 64，你看相差有多么大！如果要让两者速度相当，即log(n)^12 = n^(1/2)*log(n)^2，得出n = 10^43.1214，此时需要进行的运算次数为log(n)^12 = 10^25.873（注意：本文中log（）函数缺省以2为底），这样的运算次数在一台主频3GHz的计算机上运行也要10^8.89707年才能运行完，看来我们这辈子是别指望看到阿格拉瓦法比试除法快的这一天啦！ 除了这些确定性素数判定法外，还有基于概率的非确定性素数判定法，最常用的就是米勒-拉宾法。 对于32位机器数（四则运算均为常数时间完成），试除法的时间复杂度是O(n^(1/2))，而米勒-拉宾法的时间复杂度只有O(log(n))。所以后者要比前者快得多，但是由于米勒-拉宾法的非确定性，往往我们在需要确定解时仍然要依靠速度较慢的试除法。那是否可以通过扩展米勒-拉宾法，来找到一种更快的确定性素数判定法呢？结论是肯定的，本文就带你一起寻找这样一种方法。 第二章 2-伪素数表的生成 既然要扩展米勒-拉宾法，那首先我们应该知道为什么米勒-拉宾法是个非确定性素数判定法？答案很简单，由于伪素数的存在。由于米勒-拉宾法使用费尔马小定理的逆命题进行判断，而该逆命题对极少数合数并不成立，从而产生误判