Riesel Sieve
From Wikipedia, the free encyclopedia
Riesel Sieve（リーゼル・シーブ）とは、Berkeley Open Infrastructure for Network Computing（BOINC）を用いた分散コンピューティングプロジェクトの一つ。509,203が最小のリーゼル数であることを証明するため、これより小さな全ての奇数について、 k × 2n - 1 が素数となる例を探すものである。
プロジェクトが始まった2003年8月の時点で、509,203よりも小さなリーゼル数 k の候補として101個が知られていた。2008年8月の時点で、30以上の k の候補が外された。中でもこのプロジェクトによって発見された最も大きな素数は、485,767 × 23,609,357 - 1 で、108万6,531桁にもなるものであった[1]。また、残った k 候補については2,000,000よりも小さなnが存在しないことも確認された。
プロジェクトは、GIMPSやSeventeen Or Bustといった他の素数検索プロジェクトと同じように、（ k , n ）の組み合わせを小さな因数でふるいにかける方法で行われている。その後、Lucas-Lehmerテストを基にしたLucas-Lehmer-Rieselテストによりチェックが行われている。プロジェクトの参加者は、ふるいにかける作業と、他の者がふるいにかけた候補に対してLLRテストによるチェックを行う作業のどちらかを選ぶことができる。
脚注
- ↑ Riesel Sieve Project The Prime Pages
- ↑ Boinc all Project Stats
 | この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。 |