1: 一般国民 ★ 2019/07/21(日) 11:50:03.26 ID:CAP_USER
これが解けたら世界中のビットコインは思いのままに
https://headlines.yahoo.co.jp/hl?a=20190716-00000028-giz-sctch
https://headlines.yahoo.co.jp/hl?a=20190716-00000028-giz-sctch&p=2
2019/7/16(火) 11:01配信
YAHOO!JAPAN NEWS,ギズモード・ジャパン
(記事全文は、ソースをご覧ください。)

【科学(学問)ニュース+】

(画像)PとNPの問題の複雑性(難易度)の相関図。Pは多項式時間(polynomial time)でアッサリ解ける問題。 NPは多項式時間で解け、多項式時間で答え合わせできる問題。 NP完全(NP-Complete)は、その答えが見つかると、それで全NP…
https://amd.c.yimg.jp/amd/20190716-00000028-giz-000-1-view.jpg

5分で折れた人類よ、目覚め奮起せよ。

コンピュータの世界の根幹に関わる命題として米クレイ数学研究所が人類7つの最難問「ミレニアム懸賞問題」に掲げ 、解けた人に100万ドル(約1億800万円)を用意している「P vs NP問題」。なかなか解けたというニュースが流れてこないことに痺れを切らしたのか、量子コンピュータ研究者のスコット・アーロンソン博士が先日開かれたニューメキシコ州ロスアラモス国立研究所の講演で、満場の聴衆にこう発破をかけ話題です。

「P=NPを証明できた人は、まず2000億ドル(約21兆6930億円)のビットコインを盗む。で、ミレニアム懸賞問題の残りの難問も解いてしまうだろう」

・PとかNPって、どういうこと?

コンピュータも所詮は問題を解く機械ですからね。機械が理解できるコードに問題を置き換えてフィードして処理させるマシン。これはアラン・チューリングがドイツの暗号エニグマを解読するマシンをつくった当初から変わっていません。問題を解くにはそれなりの時間とステップが必要で、問題が難しくなればなるほど、解く時間は長くなります。

「P問題」というのは、コンピュータがある程度短時間で解ける問題全般を指します。2つの数の掛け算なんかの単純なものから、ネット閲覧みたいなややこしいタスクまで内容はさまざまあり、複雑になればなるほど、時間はかかり、処理時間は「多項式時間」のべき乗(nの2乗など)で増えていきます。nの2乗で解ける問題なら、解かせる量を2倍にすると、処理時間は2倍ではなく4倍になる、というわけです。とはいえ、一定時間のうちに解けるもの。

いっぽう、答え合わせは多項式時間でスラスラ~ッとできるのに、解くのは多項式時間にはまったく間に合わない問題も数多くあります。これがいわゆる「 非決定性多項式時間 (Nondeterministic Polynomial time)」、略して「NP問題」です。身近な例でいうと、数独はNP問題。解くのは難しいけど、答え合わせはめちゃ簡単ですからね。

もっと重要な例では巨大な数の素因数分解、これもNP問題です。解くまでには(今のところ)膨大な時間がかかって、多項式時間にはとても間に合わないのに、答え合わせは一発で、単なる掛け算で終わります。実は今のメール、ウェブ、アプリなんかの暗号化技術は大体これ。破るのは難しいけど、認証(答え合わせ)は簡単、そういう鍵を生成してがっちんこブロックをかけているんですね~はい~。

まとめると、P問題は現代のコンピューターが現実的に解ける問題集。NP問題は、現代のコンピューターだと現実的には解けない=P問題としては解けない、と思われている問題集ということです(ただし答え合わせは簡単)。

■■以下、小見出しなど抜粋

・ビットコイン台帳のマスターキー
・次世代コンピューターは…?

satomi

最終更新:7/16(火) 11:01
ギズモード・ジャパン

GIZMODO
https://www.gizmodo.jp/

引用元:http://egg.5ch.net/test/read.cgi/scienceplus/1563677403/

おすすめ記事

2: ニュースソース検討中@自治議論スレ 2019/07/21(日) 11:54:56.62 ID:Jy1bzsnD
仮想通貨が天文学的な数値を超える!国の1つや2つ軽く潰せるね

3: ニュースソース検討中@自治議論スレ 2019/07/21(日) 11:55:06.54 ID:jtoVvBpW
わかっちゃった

4: ニュースソース検討中@自治議論スレ 2019/07/21(日) 11:55:51.65 ID:pvY7nrDh
解けた

5: ニュースソース検討中@自治議論スレ 2019/07/21(日) 11:57:45.77 ID:FnH1B7+2
北朝鮮が金抜きまくっとるやんけ。

6: ニュースソース検討中@自治議論スレ 2019/07/21(日) 11:59:33.67 ID:C9S+1Ugf
P=NP照明できても暗号を解く方法が存在するのがわかるだけで
解き方まではわかるとは限らないのにな

7: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:03:50.27 ID:sPK4vvf6
>>1を読むだけでも心折れた人は挙手

ノシ

8: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:05:51.89 ID:WhJp52Hp
たぶん0で割ればいいと思う

9: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:06:13.23 ID:Rj4UPxQi
そこまで言って委員会NP

10: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:06:48.79 ID:GGgAbtjM
3x3+4x4=5x5

11: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:07:18.73 ID:4Jeidx8G
>>6
だよなw
正しいと仮定しても暗号が解ける訳ではない

12: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:14:46.88 ID:HMMI+H1i
>>1
解けたけど混乱起こしたく無いから黙っとくわ

13: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:18:49.14 ID:q7fSDY6V
>>6
馬鹿?
NP=Pが証明できるということは
あらゆるNP問題をP問題に変換できるアルゴリズムが存在するというのと同じことだ。
このアルゴリズムは任意のNP問題をP問題に変換できるから、現在の任意の暗号を復号する問題をP問題に変換できる。

馬鹿には難しいか?

14: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:19:12.67 ID:q7fSDY6V
>>11
問題が解けるんだよ。

15: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:19:51.25 ID:usnOa3ix
暗号解読法が分かっても暗号を変えればいいだけなのでビットコインは安泰

16: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:30:51.79 ID:yzf8yv9V
三体問題

17: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:39:12.97 ID:+hkmVFRY
何言ってるか全く理解できないけど、俺がよく使うパスワード12345963は安全なんだよな?

18: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:42:30.37 ID:4Jeidx8G
>>13,14
アルゴリズムが存在するとしてそれが多項式時間でできるのかってことは問題にならんのかね?

19: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:43:25.37 ID:Q1kiTU3K
P=NP証明が解けたら21兆円以上の価値があるのは確かだが
完全にオーバースペックだ

20: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:43:31.53 ID:aS6hpM1H
多項式時間(莫大)

21: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:47:55.82 ID:67Q7LtWk
>>17
安全だよ…
ち、超安全…(´-﹏-`;)

22: ニュースソース検討中@自治議論スレ 2019/07/21(日) 12:54:52.76 ID:ASil8G+R
「解の公式」に当てはめれば簡単じゃん

23: ニュースソース検討中@自治議論スレ 2019/07/21(日) 13:16:34.31 ID:x8g19iCg
量子コンピューターが実用化段階になると、ブロックチェーン技術が崩壊すると?

24: ニュースソース検討中@自治議論スレ 2019/07/21(日) 13:28:58.38 ID:Ac9uI0x7
解けた人は公開するより自分だけで利用したほうが大儲かり。

25: ニュースソース検討中@自治議論スレ 2019/07/21(日) 13:29:16.10 ID:hi1GQ4qV
>>19
むしろ、解けた瞬間にビットコインの価値が0になるのでは?

全てのビットコインを独占しても、
自分以外の他者が価値を認めなければ価値は0だ

26: ニュースソース検討中@自治議論スレ 2019/07/21(日) 13:43:13.07 ID:4y4mjLXI
消費税が10%になったら、自給自足とバーター取引が流行るぞ

27: ニュースソース検討中@自治議論スレ 2019/07/21(日) 13:51:04.47 ID:G2pKNsVP
>>7

28: ニュースソース検討中@自治議論スレ 2019/07/21(日) 13:52:57.79 ID:G2pKNsVP
>>15
678ッキリ9ッキリ10芝さんの方が
グ~。

29: ニュースソース検討中@自治議論スレ 2019/07/21(日) 13:56:57.46 ID:7Q9u+Ncw
ユニバーサルメルカトル図法(茨城)の出番やね

30: ニュースソース検討中@自治議論スレ 2019/07/21(日) 14:17:10.58 ID:HavZmp0q
要約すると、『旨いもん』は『旨い』ってことだね

31: よっちゃん 2019/07/21(日) 14:24:54.44 ID:pCLpcM/l
Black holes are where God divided by 0:
Division by zero:1/0=0/0=z/0=tan(pi/2)=0 発見5周年を迎えて

再生核研究所声明 470 (2019.2.2)  
ゼロ除算 1/0=0/0=z/0=\tan(\pi/2)=0 発見5周年を迎えて

32: よっちゃん 2019/07/21(日) 14:25:57.19 ID:pCLpcM/l
https://juniperpublishers.com/bboaj/pdf/BBOAJ.MS.ID.555703.pdf

Is It Really Impossible To Divide By Zero?

33: よっちゃん 2019/07/21(日) 14:28:05.44 ID:pCLpcM/l
Announcement 478: Who did derive first the division by zero 1/0 and
the division by zero calculus tan(pi/2)=0, log 0=0 as the outputs of a computer?

34: よっちゃん 2019/07/21(日) 14:28:34.50 ID:pCLpcM/l
What Was Division by Zero?;
Division by Zero Calculus and New
World:

http://vixra.org/abs/1904.0408

35: ニュースソース検討中@自治議論スレ 2019/07/21(日) 14:37:37.82 ID:7LMTmQPL
辺な書き方してるけどみた感じ普通の帰納法で証明しろっていう普通の数学問題なのか
どうせまた数学というより物理の問題なんだろうけどさ
いいかげんアラブだかの数学者リスペクとして抽象化するのやめたらいいのに
あるがままの現実世界>数字の世界なんだから

36: ニュースソース検討中@自治議論スレ 2019/07/21(日) 14:45:14.42 ID:c+gic1ut
>>26
経済成長が必要な理由の一つが投資すると儲かることだからな。

37: ニュースソース検討中@自治議論スレ 2019/07/21(日) 14:48:22.13 ID:8jQEFLfi
うーん、解いた時点で信用という価値が棄損されるから
21兆が21兆として存続できない気が

38: ニュースソース検討中@自治議論スレ 2019/07/21(日) 14:51:02.47 ID:WA3NVuQA
>>6
これがダンニング・クルーガー効果です
バカほど自己評価が高い
複数の専門家がこのバカ程度が思い付くような程度の事に気づかない訳が無い、と理解できないのです
バカって本当に怖いですね

39: ニュースソース検討中@自治議論スレ 2019/07/21(日) 15:02:40.22 ID:oe4dXSM5
>>25
内緒で掘り尽くして売り抜けば良いが、流通量でバレるね。

40: ニュースソース検討中@自治議論スレ 2019/07/21(日) 15:09:08.04 ID:U7c/PErI
仮想通貨、
盗んだやつだけわかる
実はそんなもの、存在していなかった

41: ニュースソース検討中@自治議論スレ 2019/07/21(日) 15:12:53.58 ID:cH6pEN96
「P=NPであることが証明された」としても、素因数分解を
多項式時間で解くためのアルゴリズム」が「存在すること」が
証明されただけで、具体的にどんな方法なのか分からなければ
意味無いよね。

ひょっとしたら宇宙が終わるまで頑張っても発見困難なくらいの
超絶複雑なアルゴリズムかも知れない。

42: ニュースソース検討中@自治議論スレ 2019/07/21(日) 15:23:29.92 ID:OZBEHZGe
21長文盗んでも使いようないだろアホか

43: ニュースソース検討中@自治議論スレ 2019/07/21(日) 15:46:15.88 ID:CHTPk8DA
>>7
ノシ

44: ニュースソース検討中@自治議論スレ 2019/07/21(日) 16:16:16.61 ID:nGCzFHOp
その難問解く、AIはよ

45: ニュースソース検討中@自治議論スレ 2019/07/21(日) 16:40:22.03 ID:hsfjgtWA
解くもなにも何を問うているのかが分からない

46: ニュースソース検討中@自治議論スレ 2019/07/21(日) 16:47:40.35 ID:fi5cG/RC
>>6
一例を出そう
割り算をして余りを求める作業をPとする
11割る2は余りが1
11割る3は余りが2
11割る5は余りが1
11割る7は余りが4

このときNPの作業とは
ある共通の数xを求める作業である
xを2で割ると余り1
xを3で割ると余り2
xを5で割ると余り1
xを7で割ると余り4
※商は分からないものとする
この程度であれば簡単だが
実際には100桁以上の数字で行う

このxをPWに用いるPWが正規のものであるかを確かめる作業がPでありこのPWを入手可能な情報から求める方法がNPである

47: ニュースソース検討中@自治議論スレ 2019/07/21(日) 16:54:07.58 ID:Auz+DEKN
>>1
解けたからと言って思いのままって何も理解してないな
有限時間内で解けることを証明しただけだ

48: ニュースソース検討中@自治議論スレ 2019/07/21(日) 16:58:27.93 ID:fi5cG/RC
>>47
もとから有限時間だぞ
何億年であろうと

49: ニュースソース検討中@自治議論スレ 2019/07/21(日) 17:07:30.87 ID:7LMTmQPL
>>41
p=npが証明されたらpはどこでも成り立つわけだが

50: ニュースソース検討中@自治議論スレ 2019/07/21(日) 17:18:26.67 ID:fXHK0X2r
ソフトバンク「われわれには必要ない」

>「P=NPを証明できた人は、まず2000億ドル(約21兆6930億円)の

>>10兆円ビジョンファンドの第2弾、さらに巨額の可能性

禿「すでに持っている」

51: ニュースソース検討中@自治議論スレ 2019/07/21(日) 17:37:39.54 ID:fd80QYf0
さてと 寝よ

52: ニュースソース検討中@自治議論スレ 2019/07/21(日) 17:42:41.31 ID:HSyOxjhe
>>これが解けたら世界中のビットコインは思いのままに

これね…通貨がどういうモノか分かってないよねぇ。

53: ニュースソース検討中@自治議論スレ 2019/07/21(日) 17:50:59.14 ID:1SYS8g7Y
>アラン・チューリングがドイツの暗号エニグマを解読するマシン
エニグマには文脈があるが、NP問題の答えには文脈がない。
暗号は元の文脈にしばられるとかで大金ころがりこめばいいなぁ。

54: ニュースソース検討中@自治議論スレ 2019/07/21(日) 18:03:10.84 ID:Fz6NEG+N
いい歳した脳みそイキりキッズ達の隔離スレ

55: ニュースソース検討中@自治議論スレ 2019/07/21(日) 18:11:05.19 ID:WCvDuYiy
金ローの「サマー・ウォーズ」も数学少年が暗号を解いたことで
アカウントを乗っ取られてなりすまされて云々って話だったっけ。

56: ニュースソース検討中@自治議論スレ 2019/07/21(日) 18:36:26.34 ID:RLcQOadc
シグネチャーをテキストに埋め込む

57: ニュースソース検討中@自治議論スレ 2019/07/21(日) 18:40:05.73 ID:SiDIZ2DK
この手の問題解くのはペレルマンみたいにお金に興味のない人のような気もするし、
金銭的なインセンティブがどこまで意味あるのか怪しい。

58: ニュースソース検討中@自治議論スレ 2019/07/21(日) 18:48:05.66 ID:DbszuobO
>>15
いままでより簡単な暗号なんてスパコンで一瞬だろw

59: ニュースソース検討中@自治議論スレ 2019/07/21(日) 18:48:29.52 ID:jPn2+PUn
>>1
>これが解けたら世界中のビットコインは思いのままに

なんか勘違いしているみたいだけど、この問題が解けたら

「思いのままになる」か「思いのままにならない」かどちらかがわかる

だぞ?
現状は「思いのままにならない」って予測で動いているってだけで。

60: ニュースソース検討中@自治議論スレ 2019/07/21(日) 18:50:06.78 ID:w9WIYO+j
P≠NPにきまってるだろ

61: ニュースソース検討中@自治議論スレ 2019/07/21(日) 18:53:37.69 ID:w9WIYO+j
>>41
素数の発見アルゴで十分検証できてるだろ

62: ニュースソース検討中@自治議論スレ 2019/07/21(日) 19:21:26.19 ID:+90xXXrR
>>50
持ってるならさっさと借金返せよ

63: ニュースソース検討中@自治議論スレ 2019/07/21(日) 19:56:43.49 ID:jFGzW9Ar
P と NP はおそらく違うクラスだから
P=NP を証明できるという話自体が意味ないだろうな

64: ニュースソース検討中@自治議論スレ 2019/07/21(日) 19:59:01.41 ID:jFGzW9Ar
素因数分解は多項式時間じゃないのか?

https://ja.wikipedia.org/wiki/AKS%E7%B4%A0%E6%B0%E5%A4%E5%AE%9A%E6%B3%95

65: ニュースソース検討中@自治議論スレ 2019/07/21(日) 20:00:46.39 ID:XJDTsyuw
回路の利得みたいに半分頂くが正解?

66: ニュースソース検討中@自治議論スレ 2019/07/21(日) 20:05:14.86 ID:GK67TX/8
(゚∀。) ナルヘソ

67: ニュースソース検討中@自治議論スレ 2019/07/21(日) 21:25:55.37 ID:mzXHvl4x
半導体の処理速度上げるほうが簡単だな

68: ニュースソース検討中@自治議論スレ 2019/07/21(日) 22:12:25.56 ID:NHYPw0oJ
なるほどわからん

69: ニュースソース検討中@自治議論スレ 2019/07/21(日) 23:39:19.00 ID:JgDyk5MI
NP→P
ゲートがいくつもあるので無理
ゲートをくぐる度に、そのゲートの命題を仮説推論してトライアンドエラー
その命題を仮説立てできるのは、今んとこ人間

70: ニュースソース検討中@自治議論スレ 2019/07/21(日) 23:55:25.41 ID:+bcr2Doa
Pi=NiPi
i=0
0=00
0

71: ニュースソース検討中@自治議論スレ 2019/07/22(月) 00:33:16.87 ID:YRx5esO7
これを解いた奴は犯罪者という事だな

72: ニュースソース検討中@自治議論スレ 2019/07/22(月) 00:34:02.97 ID:YRx5esO7
数学って2000億円強奪するような犯罪をするためにやってるんだな。

73: ニュースソース検討中@自治議論スレ 2019/07/22(月) 00:34:33.52 ID:wk0VhIVV
そんなもんわかるわけがないだろ。それがわかれば5チャンネルに書き込みなどしない

74: ニュースソース検討中@自治議論スレ 2019/07/22(月) 01:01:05.50 ID:PxUXxkie
そんなことできたら、宇宙の演算ができちゃうわ!

75: ニュースソース検討中@自治議論スレ 2019/07/22(月) 01:14:09.11 ID:+hjSTtec
P=NP
c=mc2
何か共通してるのあるよね?

76: ニュースソース検討中@自治議論スレ 2019/07/22(月) 01:19:50.35 ID:+hjSTtec
相対性理論のc=mc2に似てる
という事は、速度が速くなれば、この場合、演算速度がどんなに速くなっても 
P=NPは無限の時間が費やされる事になるとか考えられる
NPはPに近づく事は、あり得ない
0に近づくなら無限の質量増加があるんだから
NPは無限に難問になりうる

77: ニュースソース検討中@自治議論スレ 2019/07/22(月) 01:21:24.53 ID:+hjSTtec
いくら簡単な問題でも天文学的な数字と数字との足し算すら無限の時間がかかる

むしろ難問のほうに対してイコールになる

78: ニュースソース検討中@自治議論スレ 2019/07/22(月) 01:40:30.04 ID:PIZzkQif
N=1

79: ニュースソース検討中@自治議論スレ 2019/07/22(月) 01:45:24.37 ID:+hjSTtec
たぶんNP=Pなら
すぐに真だとなるから、P=NPで偽

N(非決定的な)=P(多項式時間)P(簡単な問題)なら難しい問題=PPで無限の時間が費やされるから
NP=Pで対偶はN=PP


P多項式時間P簡単な問題=N(非決定的な)なら、時間が許すならN(難しい問題)の答えが必ずしも出てこない

簡単な問題とはイコールにならないP=NPとPP=Nは対偶

80: ニュースソース検討中@自治議論スレ 2019/07/22(月) 01:51:39.19 ID:+hjSTtec
時間の制限がなく悠久の時間が使えるなら
P∞=N∞P∞
簡単な問題に無限の時間が使えるから、
非決定的な多項式時間にも無限の時間が使える
この時は、有意差は問題にならないという意味でイコールになる

81: ニュースソース検討中@自治議論スレ 2019/07/22(月) 01:58:21.29 ID:SY7ggIA3
p=np だと? n=1 じゃん。簡単だな。
金くれ。

82: ニュースソース検討中@自治議論スレ 2019/07/22(月) 03:44:29.85 ID:0r6Jb0Sj
>>1
解けたけどここに書くにはちょっと狭すぎる

83: ニュースソース検討中@自治議論スレ 2019/07/22(月) 04:23:06.45 ID:noaPFsYp
証明できても追求を諦めるか続ける意味があるかの指標でしかない
が、当然大きな意味はある

84: ニュースソース検討中@自治議論スレ 2019/07/22(月) 05:22:04.65 ID:+JTp+Rbx
数独はサイズが決まっている問題だからO(1)。

85: ニュースソース検討中@自治議論スレ 2019/07/22(月) 06:47:41.66 ID:BgoZUtGU
ブルートフォースアタック
総当たり攻撃が多項式時間でおさまるならP=NP
グーグルが答えを出してるな

86: ニュースソース検討中@自治議論スレ 2019/07/22(月) 06:50:23.20 ID:BgoZUtGU
>>76
事実上P=NPってことだろ
理論上はP≠NP

87: ニュースソース検討中@自治議論スレ 2019/07/22(月) 06:54:15.25 ID:BgoZUtGU
解っていうのは、数字の入れ替えに過ぎないんで
ブルートフォースアタックが最強になるはず
これが現実世界では有限次数有限桁数なので総当たりが有限多項式に収まれば
事実上P=NP

88: ニュースソース検討中@自治議論スレ 2019/07/22(月) 07:08:47.08 ID:BgoZUtGU
>>67
ムーアの法則により p=2^(y/1.5)
多項式時間がこれ以内におさまるならP=NP

89: ニュースソース検討中@自治議論スレ 2019/07/22(月) 07:31:51.15 ID:7pKcTpuc
素数がでてくるパターンを誰か解き明かしてよ。

90: ニュースソース検討中@自治議論スレ 2019/07/22(月) 08:46:21.24 ID:t5DL8WpM
>>15
無茶言うな

91: ニュースソース検討中@自治議論スレ 2019/07/22(月) 09:04:19.50 ID:O07sqtvi
>>13
馬鹿は、存在証明が必ずしも構成的証明とは限らないことがわかってない、お前な

厳選人気記事

ビットコイン トレードグランプリ