アカウント名:
パスワード:
M78が見つかるのはいつだろう＜関係ありません
Wikipedia:
さらに42番目の候補として p = 25,964,951 が挙がっており、現在間に素数がないかどうか検証中である。
これ、去年末に検証が終わって、M42であることが確定してます。
GIMPS [mersenne.org]
M(25964951) proven to be 42nd Mersenne Prime
うむ。高校生だったニッケルとノルさんが発見したM25を懐かしく思い出した。
小さい方から確定して言ってるんだろうけど、(と言うか、42の候補より小さい素数がないか確認してるんだから小さい方からでないと確定できないっぽい）ほかに検証している機関がすくないとかで追証出来てないんじゃない？
最低3つのアルゴリズムで検出しないといけない、んだけど2つしかないとか、みんな同じアルゴリズムとか。そもそも使ってるアルゴリズムの網羅性に疑問があるとか。
あるいは、ある特定機関が認証しないといけないんだけどそこは確実だけど遅い手法を使ってるとかマシンパワーあまり使えないとか(予算がない！)で手間取ってるとか。
追証の必要はない。必要があると主張するなら、お前がやればいいだけ。
Q.E.D.
この手のエレファントな証明って大体そんな感じになっちゃいそうでアレだなぁ…
クライアントを立ち上げてサーバから素数候補を受け取った人の殆どが結果を返却しません。サーバの方では半年経つとその素数候補を別なクライアントに配布します。なるべく小さい数から配布しているのですが、ある数値以下の素数候補について全て計算が終わるには凄く時間がかかります。
えー？それは余りにも分割が適当すぎやしないか。「素数候補AについてB～C区間に含まれる素数候補で割れるか審査せよ」のような、この手の分割ってのは出来ないの？一般PCで演算できる程度には一時的に問題を圧縮(先の例だとA,B,Cの三つの数)できてるわけだし、分割方面でも工夫できないものなのか。
「素数候補AについてB～C区間に含まれる素数候補で割れるか審査せよ」のような、この手の分割ってのは出来ないの？
できません。１個づつ配布してるんですよ
素数かどうか確かめるのに割り算してると思うな。まず、Lucas Test [wikipedia.org]を読んでみるといい。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
日本発のオープンソースソフトウェアは42件 -- ある官僚
もうM48か (スコア:0)
M78が見つかるのはいつだろう＜関係ありません
Re:もうM48か (スコア:2)
>ただし、メルセンヌ素数としての番号が確定しているものは、41番目までであり、
なので、その意味でのM48ではないような。人類が見つけた順番だと48番目だけど、小さいものからの順序で言うと48番目かどうかは未定、みたいな。小さい方から確定させて行きそうな気がしたので意外。
Re:もうM48か (スコア:3)
Wikipedia:
これ、去年末に検証が終わって、M42であることが確定してます。
GIMPS [mersenne.org]
Re: (スコア:0)
うむ。高校生だったニッケルとノルさんが発見したM25を懐かしく思い出した。
Re: (スコア:0)
小さい方から確定して言ってるんだろうけど、(と言うか、42の候補より小さい素数がないか
確認してるんだから小さい方からでないと確定できないっぽい）
ほかに検証している機関がすくないとかで追証出来てないんじゃない？
最低3つのアルゴリズムで検出しないといけない、んだけど2つしかないとか、みんな同じアルゴリズムとか。
そもそも使ってるアルゴリズムの網羅性に疑問があるとか。
あるいは、ある特定機関が認証しないといけないんだけどそこは確実だけど遅い手法を使ってるとか
マシンパワーあまり使えないとか(予算がない！)で手間取ってるとか。
Re:もうM48か (スコア:1)
書き間違いました>「確定」。確定は小さな方からでないと無理ですよね。
小さい方からしらみつぶしにして行くんじゃないのか、と意外に思った次第です。まあ、素数かどうか判定しやすいパターンを先にやってるとか深淵な理由があるんだろうなと想像は付きますが。
Re: (スコア:0)
追証の必要はない。
必要があると主張するなら、お前がやればいいだけ。
Q.E.D.
Re: (スコア:0)
この手のエレファントな証明って大体そんな感じになっちゃいそうでアレだなぁ…
Re: (スコア:0)
クライアントを立ち上げてサーバから素数候補を受け取った人の殆どが結果を返却しません。
サーバの方では半年経つとその素数候補を別なクライアントに配布します。
なるべく小さい数から配布しているのですが、ある数値以下の素数候補について全て計算が終わるには凄く時間がかかります。
Re: (スコア:0)
えー？それは余りにも分割が適当すぎやしないか。
「素数候補AについてB～C区間に含まれる素数候補で割れるか審査せよ」のような、この手の分割ってのは出来ないの？
一般PCで演算できる程度には一時的に問題を圧縮(先の例だとA,B,Cの三つの数)できてるわけだし、分割方面でも工夫できないものなのか。
Re: (スコア:0)
できません。
１個づつ配布してるんですよ
Re: (スコア:0)
素数かどうか確かめるのに割り算してると思うな。
まず、Lucas Test [wikipedia.org]を読んでみるといい。