尋找一個億位的素數……
張碩還是第一次做這種研究,發現想找研究的入手點很不容易。
億位的素數,首先必定是一個位數過億的數字,而位數過億的數字中,最小的數字是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歲的時候,也是你這種狀態,天天去研究一大堆的數字,不過看起來你比我還要執著……”
“我能理解,都會有這一天!”
他理解的拍了拍張碩的肩膀,“不過我奉勸你提前做好什麼都發現不了的心理準備,不然等一無所獲的時候,晚上一個人偷偷的哭鼻子,還被女朋友嘲笑,那可是很難受的。”
張碩愣了一下,馬上轉過頭問道,“伱還因為這個晚上偷偷的哭?而且還被女朋友嘲笑?”
“我不是說我,我是說你!”孫興利立刻糾正過來。
“我沒有女朋友。”
“……反正我是說你!”
孫興利狠狠的說下一句,迅速從房間裡走出來,才關上門就看到羅勇軍走了過來。
羅勇軍聽說張碩一個人悶在辦公室,就過來看看情況,他小聲問道,“怎麼樣?張碩在乾什麼?”
“能怎麼樣?”
孫興利認真道,“他正在重蹈我的覆轍,這是我們這類人必定會經曆的!”