「米フロリダ州の男性、わずか4回の試行で51番目のメルセンヌ素数を発見」記事へのコメント

負荷

[Anonymous Coward]

最近は円周率の桁数記録のニュース聞かないなーという感覚だったが、メルセンヌ素数っていう手法もあったのね＞CPU負荷

Re:

[Anonymous Coward]

負荷を与えるならCPUのメーカーから公式のツールが配布されてませんか？
どちらかと言うと排熱設計の目的ですが

Re:

[Anonymous Coward]

公式ツールだとVWが気になる

素数探求はレースじゃねぇ

[Anonymous Coward]

まあ円周率計算だと連続稼働時間をいかに伸ばせるかの戦いですからね
素数の計算と違ってどこを計算するかとかどこから計算を始めるかといった選択の余地が一切ない
アルゴリズムを考える人や実装する人、プロセッサに最適化する人にとってはまた違うのでしょうが
#結局そういうことをやってるせいで歯抜けになってるわけで手分けして絨毯爆撃方式をやるほうが電気代と資源のムダが少ない

Re:素数探求はレースじゃねぇ

[annoymouse coward (11178)]

> 素数の計算と違ってどこを計算するかとかどこから計算を始めるかといった選択の余地が一切ない

以前はそう考えられていましたが
1995年に円周率のn桁目だけを直接計算する数式が発見されています．

実際の式と，その実装であるBBPアルゴリズムについては
以下のページあたりが参考になると思います
http://www.kk62526.server-shared.com/pi/BBP.html [server-shared.com]

これを応用することで，
今では，円周率のN桁目からM桁目だけを計算するといった選択の余地ができています．

たとえば円周率計算を2兆桁まで計算！などのニュースが時々流れますが
その計算結果の検算でBBPアルゴリズムがよく使われます．

つまり，２兆桁の円周率からランダムにN桁目からM桁目を選んで，
その値をBBPアルゴリズムで計算した値と比較，
一致したら計算結果は間違ってはなさそうと判断するわけです．
（もちろん厳密な判定には他の検算方法も組み合わせます）

Re:素数探求はレースじゃねぇ

[Anonymous Coward]

BBPで求まるのは16進数での任意桁だから、10進数だと基数変換できる程度には複数桁求めなきゃ駄目なんだっけ？
まぁどっちにしてもBBP以外での計算で検算が必要なら他のアルゴリズムでの計算は結局必要だよね。

Re:

[Anonymous Coward]

この公式、もう20年以上前だし、コンピューター数学をやっている人にとっては常識（誰でも実装できるというレベルではないが、そういうのがあることぐらいは知っている程度には）だと思っていたけど、そうでもなかったのかな。

Re:

[Anonymous Coward]

はいはいそうですね。

Re:

[Anonymous Coward]

現代語訳: ボクは知ってた。すごいでしょ。

Re:

[Anonymous Coward]

自分が、そう思ってることを「常識」と言わないのが「常識」ですよｗ

Re:

[Anonymous Coward]

数学者なんてそんなもんだろｗ