“看来还是要用计算机手段做验证,接下来的工作,数学研究已经解决不了了。”
王浩思考着开始写起了程序,他要做一个‘函数验证’的程序,就是把一个个指数代入到函数中,计算它们所对应的梅森数所对应的坐标,是否在判定函数覆盖的区域内。
因为两个函数都比较复杂,程序设计起来也很不容易。
好在王浩自己塑造的函数,对代入数值后的求解方法很了解,他用了一个上午的时间,终于完成了程序所有的设计。
然后他去了中心实验室。
这时候,中心实验室依旧非常热闹,不止是计算机实验室的人,还有其他学院的人过来,学校好几个领导都过来一趟,特别关注了一下发现梅森素数问题,他们知道王浩在忙着研究什么,也没有过去打扰。
楼道里。
陈庆华、朱建荣以及栾海平正站在一起,讨论着学校发布公告信息的事情。
陈庆华想让朱建荣拟稿的时候,多提起计算机实验室,最好是对王浩的所属进行‘模糊处理’,让看到消息的人,以为王浩就是计算机实验室的研究院、计算机学院的教授。
旁边,栾海平黑着脸听着,恶狠狠的眼神似乎透露着,都有种把陈庆华掐死的冲动,他不断的反对着,“王浩是理学院的教授,就算不谈学院,也不能说他是计算机学院的啊?这不等于是骗人吗?”
“什么骗人?”
陈庆华马上质问三连,“王浩是不是一直在计算机实验室?两个梅森素数是不是在计算机实验室发现的?所以发布的成果公告上写,计算机实验室的王浩教授,能有什么问题?”
“额~~~”
王浩走过来站在旁边。
陈庆华注意到王浩顿时有点尴尬,马上道,“王浩也来了,我就直白的说,我们不是要把他挖到计算机实验室,而是,针对这个成果,是在我们计算机实验室完成的,公告谈什么理学院也没有意义,对吧?”
“怎么没意义?很有意义,理学院也需要……”栾海平立刻进行了反驳。
王浩倒是对什么计算机学院、理学院不感兴趣,反正只是学校的一条公告而已,他干脆完全当做没看见,轻飘飘的从旁边走了过去。
他是来找张志强的。
张志强依旧顶着通红的双眼,从凌晨三点到现在,他就一直没有休息过。
王浩劝了一句,“赶紧回去睡一觉,找到梅森素数值得高兴,但也别这样啊……”
“放心吧,还能坚持!”
张志强满是不在意的说道,他确实感到非常疲惫,也想着一会去办公室眯一会儿。
现在还有事。
“把检测程序停下来,先计算这个……”
王浩把写好的代码,拷贝到了电脑里,简单解释道,“这是对梅森数的筛选程序,可以说就是对之前程序的优化,也许会变得更精准吧。”
他有些不确定。
在结果没有百分之百出来之前,他也不敢说自己做的研究就是正确的。
张志强顿时重新打起精神,停掉了一直在运行的检测程序,开始执行刚拷贝的代码。
一亿以下的质数作为数据录入,输出端则有三个文件。
第一个文件记录的是处在判定函数边缘线的‘指数P’以及对应坐标。
第二个文件记录的是,处在判定函数覆盖范围内的‘指数P’、对应坐标以及到边缘线的最近距离。
第三个文件,则是剩余被排除的素数、对应坐标,以及到边缘线的最短距离。
函数比较复杂、程序也比较复杂,需求的计算量就非常庞大,-->>