概率,是一个程序的判定数据。
最高的概率设定是百分之十,最低的概率则只有0。01%,绝大部分输出的素数对应的都是0。01%。
但是判定的准确率并不是那么高,比如,已知的第49个梅森素数,M74207281,程序判定是素数的概率只有8%左右。
第50个,M77232917,概率则为6%左右。
帕德里克-罗什找到的第51个梅森素数,M82589933,判定的概率也不到9%。
虽然程序判定的不是那么准确,但显然几个数字对比其他数字判定的概率要大的多。
程序输出的第一个文件里就包含了所有概率在1%以上的素数以及判定概率。
第二个文件则包含0。1%到1%的素数。
第三个文件则包含0。05到0。1%的素数。
其他素数就被放弃,输出到最后一个文件里。
“我们先检测一亿以下的数字。”王浩进行了设定。
张志强则是在编写程序,把输出文件一对接Prime软件的自定义入口,以便实现让‘文件一’的素数,可以输入到自定义检测中。
这样就不用一直盯着程序,去一个个进行输入操作。
王浩仔细打量着服务器主机,好奇的问道,“我们用这两台服务器,给一个几千万位数字做素性检测,算一个数大概要多久时间?”
“这个不一定。”张志强道,“如果快的话,几秒钟就够了,比如,这个数能够直接被很小的整除,比如3,7,但只是极端的特例,大部分还是要用卢卡斯-莱默检验法,一直检测到最后,快的话也需要超过十个小时。”
“……这么慢?”
“这已经很快了。”张志强用力的咧咧嘴,那可是千万位的数字,计算量简直超出想象,只需要十个小时的速度已经很快了,若不是有卢卡斯-莱默检验法,想检测出来根本是不可能的。
“好吧。”
王浩抿了抿嘴点头道,“所以我们接下来就是等着?让它慢慢运行吧,按照这个速度来说,计算完第一个文件,最少也要一个月以上吧?”
“差不多。”
张志强计算了下时间,觉得应该和陈院长再说一下,服务器用一下倒是没关系,但是连续使用一个月,似乎就有点儿过分了。
“算了,明天再去吧!”他想着还是摇了摇头。
……
王浩和张志强到外面简单吃了个饭,还约定第二天去实验室,给参与的学生们发钱。
然后就休息了。
连续忙碌了好几天,王浩也感到非常的疲惫,填饱了肚子回到家里,躺在床上就睡了过去。
十个小时后。
地球对面。
密苏里中央大学数学家柯蒂斯-库珀,结束了忙碌的一天工作后,就去了计算机房,例行的打开GIMPS开放信息查看数据。
柯蒂斯-库珀是第四十九个梅森素数的发现者,当时他已经加入了梅森素数电子前沿基金会有七年时间。
自从十年前开始,他就一直致力于协调推广GIMPS,希望能有更多志愿者加入进来。
read_xia();