第(1/3)頁 張志強酸帕特里克-羅什是有道理的,全世界不知道有多少學者,都會酸帕特里克-羅什。 因為,幸運。 中彩票的幸運者也會被酸,但中彩票是經常會發生的,全世界有很多的彩票中獎者,而發現最新梅森素數的,近幾年時間里,只有帕特里克-羅什一人,他的名字已經在gimps官網主站掛了幾年時間。 gimps官網有關于帕特里克-羅什幸運的介紹,上面寫道,“對于帕特里克-羅什來說,這個賽季更加幸運,他的堅持獲得了豐厚的回報。多年來,帕特里克一直在使用gimps軟件作為他的計算機版本的免費“壓力測試”,不到四個月前他開始在自己的媒體服務器上尋找,以回饋這個項目。” “一些gimps參與者已經尋找了20多年,幾萬次嘗試,但沒有成功。這證明,運氣好的話,任何人都可以找到下一個新的梅森素數。” prime軟件長期在線人數幾十萬,運行的cpu數量幾百萬,幾年時間,就只出現了一個帕特里克-羅什,有多幸運就可想而知了。 另外,發現新的梅森素數,收獲的可不止十萬美元獎勵,還有個人名氣上的巨大提升。 比如,gimps網站長期掛著帕特里克-羅什個人的‘幸運介紹’,目的大概是吸引更多的人加入進來。 很多對于發現新梅森素數的報道都會提到帕特里克-羅什,他的名字出現在各大媒體的版面上,不知道的人還以為是什么有名氣的學者,有巨大貢獻的科學家。 可實際上,帕特里克-羅什放在學術圈,就只是個最底層而已,至多能算得上是一個算法工程師,還是能力并不算太突出那種。 如果真去計較的話,帕特里克-羅什并不算是學者,可他卻因為幸運的發現梅森素數,而以‘類似于學術成果的成果’,變得比其他真正學者更有名氣。 這就是被學者們羨慕嫉妒的根源。 帕特里克-羅什干了什么呢? 他只是利用prime軟件做服務器壓力測試,用自己的電腦掛一下軟件運行,然后就很幸運的找到了梅森素數。 他收獲了金錢,收獲了名聲,還把名字留在了有關梅森素數的歷史記錄中。 王浩仔細想想都感覺有些感慨,不得不承認,帕特里克-羅什確實是非常的幸運。 他搖了搖頭,自定義了程序運行時間,很快被分配了一個超大質數,也開始用電腦掛起了prime軟件,而后也不理會,就開始研究起了梅森素數。 他研究的是算法。 prime軟件的主要功能是進行分布式處理和計算統計,實際上,內部對于梅森素數的檢驗算法是非常簡單的,針對一個數字的驗證,就是采用盧卡斯-萊默檢驗法。 盧卡斯-萊默檢驗法,是針對梅森數的素性檢驗,由愛德華-盧卡斯于1878年制定的,五十年后,德里克-亨利-萊默對于方法進行了改進完善。 這個針對梅森素數的素性檢驗方法已經非常簡化。 利用盧卡斯-萊默檢驗法,驗證梅森數‘mn=2的n次方-1’是否是素數,只需要讓程序循環運行‘n-2次’就夠了。 當然,因為牽扯到千萬位的超大數,每一次循環的計算量還是很高的,但針對千萬位超大數的素性檢驗,已經可以說是簡化到了極致。 比如,家用普通電腦,運行一百個小時左右,就可以檢測出一個千萬位梅森數的素性。 這種速度相當驚人。 正因為如此,一直到現在快要百年時間,針對梅森數的素性檢驗,使用的依舊是盧卡斯-萊默檢驗法。 盧卡斯-萊默檢驗法的內容,只要看一眼就能明白過來,方法沒有什么難度可言。 正因為方法太過于簡單,想改善就顯得無從下手。 比如,普通的加法,方法已經足夠簡單,還怎么去改善呢? 王浩仔細思考了一下,也根本是無從下手,但研究肯定是有方向的,針對單個素數的檢驗方法無法突破,也能夠在檢驗數字篩選上做突破。 但是,他仔細想了很久,還是找不到方向,只能慢慢看看能不能有什么靈感。 …… 第二天早上,王浩早早的爬起來去晨跑。 生活節奏回歸了以往的規律,鍛煉也碰到了熟悉的人。 蘇映雪。 她依舊是那副運動打扮,也依舊顯得英姿颯爽。 王浩和蘇映雪一起跑了兩圈,順便說了幾句話,才知道對方是準備長期駐扎西海市了。 “我負責跟進納微實驗室的項目。”蘇映雪簡單的一句解釋,透露出了很多信息,她力主和納微實驗室進行合作,直接負責項目的跟進,肯定是對項目非常重視的。 如果納微實驗室的項目長期沒有進展,對蘇映雪個人的事業也許造成一些影響。 “我記得說過,建議你們和納微實驗室合作。”王浩笑道,“肯定不會后悔。” “我相信你。”蘇映雪看著王浩的眼睛,很認真的點頭。 王浩和蘇映雪說了幾句,又堅持跑了兩圈,感到有些疲憊就離開去吃早飯了。 第(1/3)頁