【国際】最大素数は632万けた 米大学院生が発見

このエントリーをはてなブックマークに追加
689拓也 ◆mOrYeBoQbw :03/12/15 18:40 ID:uxVjhtV4
>>685
qがp1〜pnによって素因数分解できると仮定すれば

(p1*p2*...*pn)+1=(p1^x1*p2^x2*...*pn^xn)  x1...xnは零以上の整数

素数pa(1≦a≦n)を右辺の約数とし、paで両辺を割ると
左辺={(p1*p2*...*pn)+1}/pa=(p1*p2*...*pn)/pa+1/pa  (分配法則)
左辺の(p1*p2*...*pn)/paは整数、1/paは1以下の有理数となり整数ではない
右辺は整数になるので

はじめ仮定した(p1*p2*...*pn)+1=(p1^x1*p2^x2*...*pn^xn)は否定され
∴qはp1〜pnによって素因数分解できない

だと、だめでせうか?
690672:03/12/15 18:41 ID:+eW3bJ6D
>>688
少なくともメルセンヌ素数は無限にある。
でも、それ以外の素数は無限にあるんだろうか?
691672:03/12/15 18:46 ID:+eW3bJ6D
>>689

あ、これは納得できます(いきなり敬語)。
そうですよね、左辺右辺が等しいならば整数で割ったらおなじように変数に
ならないとまずいですよね。
有り難うございます。
692668:03/12/15 18:53 ID:1gURbvfn
解決しちゃったんなら必要ないけど
書いちゃったから張らせて

p,qを自然数として
p * m = q
となる、自然数mは存在しないならば

p * (n*m) = q
となる、自然数n、mも存在しない。
ゆえに
(p*n) * m = q
となる自然数n、mも存在しない。

よって、
p,qを自然数として
p * m = q
となる、自然数mは存在しないならば
pはpを因数にもつ(p*n)で割り切れない。
693名無しさん@4周年:03/12/15 18:57 ID:CzY5RBMV
RSAの論文で感動しておきながら、俺はPGP一度も使ったことないのよね・・・・・
SSLはRC6の鍵のやり取りだけにだけにRSA使ってるってはじめて知ったよ 昨日

694名無しさん@4周年:03/12/15 19:05 ID:BdP+R1Xj
>>685
2+1=3
695名無しさん@4周年:03/12/15 19:06 ID:u7zWfkZL
p1〜pnは素数小さい順からの並びである。
pnが最大の素数と仮定して背理法により素数に
限りが無いとこを証明する。

Q=(p1*p2*...*pn)+1 なるQを考える。

Qの素因数分解を試みてみるが数式より
p1からpnで割っても常に余り1で割り切れない。

よってQ自体が素数かpnより大きい素因数を持つ可能性があり矛盾する。

で良いんじゃないの?
696名無しさん@4周年:03/12/15 19:08 ID:Y9U2kd69
はいりはいりうえ 背理法〜♪

大きくなれよー
697 ◆Jyg8dKL1d. :03/12/15 19:08 ID:Dea5W1zm
sosyuuuuugetto
698672:03/12/15 19:09 ID:+eW3bJ6D
自分なりにまとめると

仮に
p1、p2、・・・、pn
がすべての素数とする。
>>659 
で述べられているように

(p1*p2*・・・*pn)+1=q

とするとqはp1,p2,・・・,pnのどの値でも割り切れない値になる。
qは素数である可能性があるが、別の素数の組み合わせによる
素因数分解ができる可能性が残っている。

しかし、
>>689
で述べられているように、qはp1,p2,・・・,pnの数字の中から任意の数字を1回以上つかっただけの素因数分解はできない。

したがって、qは素数で無い可能性はあるが、この場合、qの素因数分解をすると
p1,p2,・・・,pn以外の素数が使われるはず。
p1,p2,・・・,pnは、pn以下の素数を列挙したものだから、この素数はpn
を越えた値である。

したがって、qが素数であろうがなかろうが、pnを越えた素数が存在
しなければならない。

したがって、素数は無限に存在する。
699名無しさん@4周年:03/12/15 19:10 ID:NabOMSAW
発見したことが重要なんだよ。
日本人にはできない芸当だな。
700名無しさん@4周年:03/12/15 19:12 ID:7bXZx4aF
>>690
嘘つけ。メルセンヌ素数は未だ有限とも無限とも証明されていない。
701名無しさん@4周年:03/12/15 19:14 ID:TZDeUYqG
>>695
pnが最大の素数と仮定したんだからQがpnより大きい素因数を持つ可能性を考慮する必要は無いと思うけど。
702名無しさん@4周年:03/12/15 19:16 ID:TIXpPulr
@素数が新たに発見される。
  ↓
A素数公式の手がかりが一つ増える。
  ↓
B@とAの繰り返し
  ↓
C素数公式発見!
  ↓
Dウマー
703672:03/12/15 19:21 ID:+eW3bJ6D
素数公式ってありえるんだろうか・・・。
704名無しさん@4周年:03/12/15 20:59 ID:JV6QGHWk
ttp://mathworld.wolfram.com/MersennePrime.html
を見ると指数の分布に規則性がない。
次のメルセンヌ素数もすぐに見つかったりして。

ところで、
2^(今回の数)-1
は素数になるかな?
705668:03/12/15 21:34 ID:1gURbvfn
>>698
もう見てないとは思うけど……
質問させて

> (p1*p2*・・・*pn)+1=q
>
> とするとqはp1,p2,・・・,pnのどの値でも割り切れない値になる。
> qは素数である可能性があるが、別の素数の組み合わせによる
> 素因数分解ができる可能性が残っている。

何度見てもここが分からない。

「…のどの値でも割り切れない」と既に言っているのに、
何故その「割り切れない数」の倍数で割り切れる可能性について
言及してるの?

aで割り切れない数は、aのn倍では割り切れないでしょう?

706672:03/12/15 22:14 ID:Twu/KzUV
>>668 >>705


>>「…のどの値でも割り切れない」と既に言っているのに、
>>何故その「割り切れない数」の倍数で割り切れる可能性について
>>言及してるの?


・・・すいません。言われてみればその通りです(ふたたび敬語)。
(px*z)も(px^2*py^2)もpxの倍数にはかわりないんだから割り切れないのは当たり前ですね。
pxを二乗するとなにか別次元の値にでもなるかのような錯覚おこしてました。


仮に素数がp1 * p2 * 〜 pnだけだったとすると


(p1 * p2 * 〜 pn) + 1 = q
で、qが素数で無い場合、qはp1,p2,〜,pnのどれでも余り1で割り切れないし、
当然のごとくp1,p2,〜,pnの倍数(もちろんこれらの任意の数の乗も含む)でも割り切れない
だから、qの素因数分解をするとp1,p2,〜,pn以外の素数が使われるはず。
p1,p2,〜,pnはpn以下の素数を全て列挙したものだから、これ以外の素数
という事はpnを越えた値になるはず。


で、よろしいでしょうか?
707695:03/12/15 22:24 ID:u7zWfkZL
>>706
おいらの証明もそんな感じ
708668:03/12/15 22:39 ID:1gURbvfn
>>706
おそらくそんな感じだと思います。
あってるかどうかまでは分かりませんが、
私の中での疑問点は無くなりました。


709プッチ:03/12/15 23:08 ID:9tZ6ZSLZ
素数を数えて落ち着くんだ…。

49999,49993,49991,49957,49943,49939,49937,49927,
49921,49919,49891,49877,49871,49853,49843,49831,
49823,49811,49807,49801,49789,49787,49783,49757,
49747,49741,49739,49727,49711,49697,49681,49669,
49667,49663,49639,49633,49627,49613,49603,49597,
49559,49549,49547,49537,49531,49529,49523,49499,
49481,49477,49463,49459,49451,49433,49429,49417,
49411,49409,49393,49391,49369,49367,49363,49339,
49333,49331,49307,49297,49279,49277,49261,49253,
49223,49211,49207,49201,49199,49193,49177,49171…。
710名無しさん@4周年:03/12/16 00:06 ID:rWigKRr+
>>681

俺らは勉強もできないしもちろん頭も悪いよ
って訂正しておけ
711名無しさん@4周年:03/12/16 04:11 ID:vnBMfPV4
>>693
公開鍵暗号は共通鍵暗号に比べて処理が重すぎるんだな。
だからメッセージの処理は共通鍵暗号に任せて
公開鍵暗号は共通鍵の秘密配送と認証のみに用いられるのが普通。
712名無しさん@4周年:03/12/16 10:58 ID:iexJJnPt
          パーン
    _, ,_ ∩
 ( ‘д‘)彡☆))Д´)←>>1
   ⊂彡

おまいが根本的にわかってないから、
こんなに厨が集まってくるじゃネーカ!
713名無しさん@4周年:03/12/16 11:59 ID:sIxROFuD
>>712

1じゃないだろ
華北新報だろ
714名無しさん@4周年:03/12/16 20:09 ID:iexJJnPt
   ,、,、
  (・e・)
   ゚しJ゚

ソウトモイウ
715名無しさん@4周年:03/12/17 01:25 ID:QbDbVPj6
                           ト-、___
                     _,,-‐‐‐‐‐‐t-:、_ `‐、、_
                __,,,-‐'´     .:. ,,:.:``‐、;:;:;ヽ_
  ,,,_____,,..、_,,,,,-‐‐‐-、、_,,-'´    ............:.:/: .:.     ````ヽ、_
 〈=__,,,,__,,,,,,,,,,,,..::::::::::...  ;.:.:.:.:.:.:.:.:.:.:.:.:.:.:,;ノ::.            `‐、、
/ .._____.. .. . `````ヽ- '--‐‐'''''~~~'`::::ヽ:.:.:.....        、     ヽ、
ヒ;-'´  ````:‐:‐:-:-.:__,,、、、、、  ....:.:.:.:.:.:.`:.:.:.:,;,;,;,;.:.:.;,;...........ヽ、ヽT   ◎ ヽ、
                 ````‐--:-:‐:':´:`:`´:: :::``:..、_:.:.:.:.:.:.:.ヽ、__ ,-==,
                                 ````‐‐:-:-:-:-:‐"
716名無しさん@4周年:03/12/17 02:00 ID:EpGvEP28
パーキングにて
日本人 --> いちいちバックで停める人多し。
外国人 --> そんなめんどくさいことはしない。当然頭から

地下鉄にて
日本人 --> 駅が近づくと階段の方向へ電車内を移動する人多し。
外国人 --> そんなめんどくさいことはしない。移動するのは強盗ぐらい。

街中にて
日本人 --> 遅刻しそうなのか走っている人多し。
外国人 --> そんな疲れることはしない。10分かそこらの遅れは遅刻と
       考えない。走ってるのはひったくりぐらい

本屋にて
日本人 --> 本を下から引っこ抜いていく人多し。
外国人 --> そんなめんどくさいことはしない。汚れてても気にしない。

要するに外国人は細かいことは気にしない、めんどくさいことはしない
疲れることはやらない、急がない。 外国人がこれを破る時は

 = = = 金 か 命 が か ら む 時 で あ る = = = 
717CODF ◆zBkkY3/1AQ :03/12/17 03:42 ID:eMtfGN47
632万430桁か。
現代のコンピュータを駆使してもその程度なんだな。
恐るべし素数。
718名無しさん@4周年:03/12/17 06:17 ID:0lL6ck/+
>>717
だからこそ暗号としての利用価値があるわけで。

逆に量子コンピュータが実用化して、NP問題がガシガシ解けるようになったら、
どうやってプライバシーを守ったらいいんだろう?と今から心配したり。
719名無しさん@4周年:03/12/17 12:33 ID:kdkRqWKB
>>710
じゃぁ訂正するね
俺らってホント頭も悪いし勉強もできないよな
なぁ>>710
720名無しさん@4周年:03/12/17 21:15 ID:eA7iNSf2
羊が2匹、羊が3匹、羊が5匹、羊が7匹、羊が11匹、羊が13匹、羊が17匹、
羊が19匹、羊が23匹、羊が29匹、羊が31匹、羊が37匹、羊が…zzzzz
721名無しさん@4周年:03/12/18 19:22 ID:dXWGMfCF
>>719

俺は頭がいいし、そのお陰でお前の言っている勉強というやつも一応、できる。
722名無しさん@4周年:03/12/18 23:43 ID:HGK0BwzA
>>721
もうIDも変わってるのに、「自分が>>710だ」という会話の前提すら述べずに
いきなり「俺は頭がいいし…」などと言い出すヤツが
本当に頭がいいとは、とても思えんのだが。 ┐('〜`;)┌
723名無しさん@4周年:03/12/18 23:49 ID:PRuebgMX
シムシティのどうでもいいニュースに出てきそうだな。
724名無しさん@4周年:03/12/19 00:27 ID:/AqcfiE7
>>718
素数であることの判定と、素因数分解の難易度は
同等ではないと思う、ただしコンピューターの能力の向上は
脅威であることには、変わりない

追伸、量子暗号があるよ
725名無しさん@4周年:03/12/19 00:47 ID:QdZH4GPO
素数が100%判明しているのは何桁までなの?
そっちの方が有用じゃない?
726名無しさん@4周年:03/12/19 11:19 ID:QDc/rGGr
>>722
おまえも頭いいですね
727拓也 ◆mOrYeBoQbw :03/12/19 15:58 ID:vIMNIk6Z
>>724
楕円暗号も忘れないでほすぃ・・・・
728名無しさん@4周年:03/12/19 22:57 ID:dX+uXfhi
11111111111111111111111 は素数
729名無しさん@4周年:03/12/20 02:07 ID:R+rWv7yP
底辺があってその反対側が1個しか頂点がない多角形があるとき
その頂点の合計は素数である。
730名無しさん@4周年:03/12/20 05:01 ID:6YISSvqz
出鱈目暗号最強。出鱈目だから誰も解けない。最強
731名無しさん@4周年:03/12/20 09:00 ID:LkSPfOr5
>>729
「…あ、よく考えたら分かったYO!」とかいう反応でも期待してるのか?
気の利いたこと書こうと思ったんだろうけどさ…失笑しか出ないぞ。

そもそも「反対側」って何だよ。この手のジョークを書く場合、
ちゃんと用語を数学用語で統一してさももっともらしく当たり前のことを
書いてこそ、成立するんだよ。「反対側」とか書いた時点で、
本当に頭の良くない子供がマジで書いた戯言に成り下がってしまう。
…わかる?
732?黶浴y株板】:03/12/20 10:25 ID:bBhhcn/D
4830 プライムシステム 
倒産寸前の株価です
733名無しさん@4周年:03/12/20 12:52 ID:fVwxZYnl
とりあえずお前らも次のメルセンヌさがせや。
話はそれからだ。
734名無しさん@4周年:03/12/20 13:03 ID:m+3SB65S
俺の素数は、今日も元気に走りまわってる。
735名無しさん@4周年:03/12/20 13:17 ID:LctqnTKC
>>731
禿同。

せめて、「一辺と、その辺によって
形成されない頂点がただ一つ存在する
多角形」とか書いて欲しいよね。
736名無しさん@4周年:03/12/20 13:19 ID:A22xnC6i

au、KDDIがまた不正割引 総務省、調査を開始

KDDIは2002年4月、特定の地方自治体などに対し不正割引をしたとして、総務省から業務改善命令を受けたばかりで、新たな批判を呼びそうだ。
 総務省などによると、KDDIは昨年9月ごろから今年5月にかけて、福岡県内の会社に対し、携帯電話の利用期間が1年から2年にすぎないのに、3年を超える利用があった場合の料金を適用し、最大で本来の割引額の約6倍に当たる割引を行った。

http://headlines.yahoo.co.jp/hl?a=20031220-00000014-kyodo-bus_all
737名無しさん@4周年:03/12/20 13:24 ID:HoFaBMF+
キラークイーンがまだ出てないんだな・・
738名無しさん@4周年
>>731 オマエはガキに何を求めてるんだ?