同時,一個個資料也都輸出到檔案裡,並進行了分類。
這個程式輸入的數值是6000萬以上的數字,可以快速檢測中其中的素數,並進入到真正的分析程式中,輸出的則是‘素數’以及‘對應梅森數是梅森素數的機率’。
機率,是一個程式的判定資料。
最高的機率設定是百分之十,最低的機率則只有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,希望能有更多志願者加入進來。
現在只要正常來上班,柯蒂斯庫珀結束一天工作後,就會到計算機房的電腦上看一看。
GIMPS是分散式的開放網路,資訊全部是對外公開的,任何人登陸都可以檢視。