第九十一章 发现新的梅森素数!(4/7)
张志强拿到了使用权以后,顿时非常兴奋的带着王浩过去了,他一直对两台服务器心心念念,但因为手头上没有需要使用服务器的项目,很遗憾根本就没有用过。
这次可以试试了。
两台新的服务器是在所谓的中心实验室,其实就是六层的会议室改造出来的。
他们打开电脑把程序录入,在强大的硬件支持下,让程序快速运行起来。
同时,一个个数据也都输出到文件里,并进行了分类。
这个程序输入的数值是6000万以上的数字,可以快速检测中其中的素数,并进入到真正的分析程序中,输出的则是‘素数’以及‘对应梅森数是梅森素数的概率’。
概率,是一个程序的判定数据。
最高的概率设定是百分之十,最低的概率则只有001,绝大部分输出的素数对应的都是001。
但是判定的准确率并不是那么高,比如,已知的第49个梅森素数,74207281,程序判定是素数的概率只有8左右。
第50个,77232917,概率则为6左右。
帕德里克-罗什找到的第51个梅森素数,82589933,判定的概率也不到9。
虽然程序判定的不是那么准确,但显然几个数字对比其他数字判定的概率要大的多。
程序输出的第一个文件里就包含了所有概率在1以上的素数以及判定概率。
第二个文件则包含01到1的素数。
第三个文件则包含005到01的素数。
其他素数就被放弃,输出到最后一个文件里。
“我们先检测一亿以下的数字。”王浩进行了设定。
张志强则是在编写程序,把输出文件一对接pr软件的自定义入口,以便实现让‘文件一’的素数,可以输入到自定义检测中。
这样就不用一直盯着程序,去一个个进行输入操作。
王浩仔细打量着服务器主机,好奇的问道,“我们用这两台服务器,给一个几千万位数字做素性检测,算一个数大概要多久时间?”
“这个不一定。”张志强道,“如果快的话,几秒钟就够了,比如,这个数能够直接被很小的整除,比如3,7,但只是极端的特例,大部分还是要用卢卡斯-莱默检验法,一直检测到最后,快的话也需要超过十个小时。”
“……这么慢?”
“这已经很快了。”张志强用力的咧咧嘴,那可是千万位的数字,计算量简直超出想
本章未完,点击下一页继续阅读。