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テストによるチェックを行う作業のどちらかを選ぶことができる。
2008年6月後半以降、プロジェクトの活動が停止している[2]。
脚注
- ^ Riesel Sieve Project The Prime Pages
- ^ Boinc all Project Stats
|
---|
現在活動しているプロジェクト | |
---|
ベータ版のプロジェクト | - BURP
- Charity Engine
- CPDN Beta
- Ibercivis
- RNA World
- SETI@home beta
- WEP-M+2 Project
|
---|
アルファ版のプロジェクト | - Albert@Home
- BOINC@TACC
- DENIS@Home
- Donate@Home
- FightMalaria@Home
- Gerasim@Home
- iThena
- MLC@Home
- nanoHUB@home
- NFS@Home
- NumberFields@home
- ODLK
- RADIOACTIVE@HOME
- RALPH@home
- VGTU@Home
- WUProp@Home
- YAFU
|
---|
将来予想されているプロジェクト | |
---|
休止中・終了したプロジェクト | - 3x+1@home
- ABC@home
- AlmereGrid Boinc Grid
- APS@Home
- Astropulse
- AQUA@home
- Artificial Intelligence System
- BBC Climate Change Experiment
- BRaTS@Home
- cell computing
- Cels@Home
- Chess960@Home
- DepSpid
- DistributedDataMining
- Docking@Home
- DNETC@HOME
- DrugDiscovery@Home
- DynaPing
- EDGeS@Home
- eOn
- Eternity2.net
- FreeHAL
- Genetic Life
- HashClash
- Hydrogen@Home
- The Lattice Project
- Leiden Classical
- Magnetism@home
- Malaria Control Project
- μFluids@Home
- Nano-Hive@home
- NQueens@home
- Orbit@home
- Pirates@home
- POEM@home
- Predictor@home
- Primaboinca
- Proteins@home
- QMC@Home
- QuantumFIRE
- Ramsey@Home
- Rectilinear Crossing Number
- Renderfarm.fi
- Reversi
- RSA Lattice Siever
- Riesel Sieve
- RND@home
- SciLINC
- Seasonal Attribution Project
- SETI@home
- SHA-1 Collision Search Graz
- SIMAP
- Spinhenge@Home
- Sudoku project
- Superlink@Technion
- SZTAKI Desktop Grid
- TANPAKU
- Virtual Prairie
- Virus Respiratorio Sincitial
- XtremLab
|
---|
ツールと技術 | - BOINC Account Manager
- BOINC client-server technology
- BOINC Credit System
|
---|