张硕还是第一次做这种研究,发现想找研究的入手点很不容易。
亿位的素数,首先必定是一个位数过亿的数字,而位数过亿的数字中,最小的数字是10的99,999,999次方。
数字大到如此地步,用常规方法去测定素性牵扯的计算量会庞大到无法估量,最高端的计算机性能也根本是杯水车薪。
所以,必须要找特殊的数字。
梅森数就是‘特殊数字’中最容易测定素性的,直到目前为止,已知最大素数排行榜的前几位都是梅森素数。
梅森数,也就是‘2的n次方-1’,因为其具有的特殊性质,可以用卢卡斯-莱默检验法来进行素性测定。
卢卡斯-莱默检验法是专门针对梅森数进行一种循环检测的方法。
这种方法让梅森数的素性检验大大的简化,比如,检测数字‘2的n次方-1’的素性,只需要进行‘n-2’次循环计算就可以得到结果。
当然,针对亿位数字来说,每进行一次计算都需要庞大的计算量,而进行分析也不可能针对亿位数字本身。
“所以,还是只能对幂数n进行研究……”
在所有的梅森数中,梅森素数占据的比例极少,出现也没有什么规律可言,研究入手点也只能从幂数n进行分析。
首先,要让梅森数高于亿位,幂数n就必须大于3.32192(log2(10))亿。
其次,n必须是素数,只有n是素数,对应的梅森数才可能是梅森素数。
然后……
“氪币!”
【科研币-1。】
在进行了科币操作以后,马上知道了下一步的大方向——概率筛选!
用概率判定的方法,筛选大于‘3.32192亿’的素数,有素数n对应梅森素数的可能性低,就直接排除掉。
梅森素数没什么规律可言,筛选方法自然也充满了‘主观性’。
也就是说,筛选过程并不严谨。
当然,也根本没什么影响,研究的目标就是找到‘一个亿位素数’,只要筛掉的不是亿位素数对应的n就没影响。
……
张硕开始‘闭关’了。
他在办公室里一闷就是一整天。
谭友铭和苏炳康一起站在楼梯口,他有些担心的说着,“张硕做研究有点儿太投入了,最近长期一个人闷在办公室。”
“他可能还不太适应研究员的生活?”
苏炳康盯着张硕办公室的门,拧着眉头道,“我刚才去看了一下,确实是在做研究,他投入到甚至没理我,我进去、再出来,他可能都不知道。”
他思索着说道,“是不是因为毕业太快了?从学习到工作的转变,可能会真有些不适应。”
孙兴利远远的走了过来,他顺着两人的眼神看过去,问道,“谭院长,苏教授,你们在看什么?”
“张硕!”
谭友铭担心道,“他一直闷在办公室里,又是两天了。”
“这有什么大不了?”孙兴利摸了摸后脑勺,他有些不明白,“我也一直待在办公室,不是很正常吗?”
“你是做研究?”谭友铭有点怀疑。
“当然了!”
孙兴利顿时大声强调,“我是在为明年申请项目做准备,都开始写计划书了!”
“我去看看!”
他说完没等谭友铭说什么,赶紧走向了张硕办公室。
“进!”
里面传来一身喊。
孙兴利推门走了进去,就看到桌子、地上有好多的手稿,让房间看起来有些凌乱。
张硕正盯着电脑屏幕。
孙兴利凑过去扫了一眼,发现屏幕上是一個分析曲线图,上面还有一大堆密密麻麻的点,他看了好半天也没看明白。
他拿起桌上的一张手稿,放在眼前看了又看,发现上面是一大堆的数字,还有一些符号、公式之类的内容。
他盯着手稿看了好半天,忽然反应过来,满是惊讶的喊道,“你是在研究梅森素数?!”
“肯定是!”
张硕点头道,“上次你说起梅森素数,我觉得很有意思,就想找一个亿位的素数出来。”
孙兴利顿时笑了,“你是在走我的老路!”
“我25岁的时候,也是你这种状态,天天去研究一大堆的数字,不过看起来你比我还要执着……”
“我能理解,都会有这一天!”
他理解的拍了拍张硕的肩膀,“不过我奉劝你提前做好什么都发现不了的心理准备,不然等一无所获的时候,晚上一个人偷偷的哭鼻子,还被女朋友嘲笑,那可是很难受的。”
张硕愣了一下,马上转过头问道,“伱还因为这个晚上偷偷的哭?而且还被女朋友嘲笑?”
“我不是说我,我是说你!”孙兴利立刻纠正