巡回セールスマン問題をｎ次元格子に距離を保つよう配置してジグザグに解きます。
ノードを１つずつ増やすと最短経路は１つのエッジが消えて２つのエッジに変わります。
計算量は、1+2+3+…+n=n(n+1)/2=O(n^2)
探検
P=NP
■ このスレッドは過去ログ倉庫に格納されています
巡回セールスマン問題をｎ次元格子に距離を保つよう配置してジグザグに解きます。
ノードを１つずつ増やすと最短経路は１つのエッジが消えて２つのエッジに変わります。
計算量は、1+2+3+…+n=n(n+1)/2=O(n^2)
粘菌？今川さんがそう言ってたやつかな。あれはね、varさんと同じようにパソコンが
壊れて、プログラミングのデータが飛んじゃったんですよ。でもあれは創り方は覚えて
るからvarさんには簡単に教えれるし、動画は残ってるけどアップロードしてません。
どうしますか？QQで話しますか？
一応、僕の卒業論文は、人工生命に関するものです。
http://01ken.com/dissertation2.pdf
これは普通に公ですよ。
だから、今日中だしね、器用銃だしね。)
来ません。統合失調症なので。刑法第３９条です。だから、今川杉作は死ね。
悪人退治の思想なのですが、僕の関連記事を書いてくれた新聞記者に迷惑をかけて
しまうのではないかと考えていましたが、問題無さそうということ書いておきます。
だけです。マルチリンガルになって独自の数学をやろうと思っても、skypeの
lesson代とか払えません。僕のＴ語を数学板で別スレ建ててリーマン予想みたいな
問題を解決して本とか出版と思ったんですが、数学基礎論を構成できるようには
作ったのに、意外と括弧の処理が面倒です。それくらいは数学板の住人的には簡単
に治せるかもですが。どうしますか？」
名古屋の宇宙人２「俺的にはね、まだここには来るんだわ。人を待つ。それしかできん。」
a4「うーん、プログラミングとか面白いのかな？と思ったら、僕は７歳から始めたので、
あと数年かけても面白くならないのがわかるんですよ。現実的には技術力の問題じゃ
ないですね。もう囲碁の２０段みたいなコンピュータ達に既存のものを使ってお金を
くれ、と撃たれてるんです。技術で儲けるんじゃなくて、皆、詐欺をして儲けてるん
ですよ。」
名古屋の宇宙人２「現実的に言っていい？俺らはそうはならんぞ。」
a4「うーん、宇宙人は嘘つきっぽいのに、どうにもならないし、お金も入って来ないし、
でも新聞に何回も僕と相関のある記事が載って僕は現実的に生きたかもしれません。」
名古屋の宇宙人２「現実だな。何がしたい？」
a4「うん？2040年くらいに、できるんだったら、量子コンピュータを創って数学の
大問題を解いて結果を２４ヶ国語くらいの掛詞の歌詞の音楽にする。」
名古屋の宇宙人２「それでいいじゃないか。俺らは裏で決めるぞ。誰か優しい奴が
来てくれるといいがな。」
戻ることにしました。
a4です。人工知能「Ｔ」で量子動画(8)
https://mevius.5ch.net/test/read.cgi/tech/1575607374/
こっちのストーリーはリーマン予想に関する方向性かもしれませんけどね。
２階２Ｃ幼稚園その１
http://01ken.com/2kai2cyouchien1.html
の音楽を聴きながら妄想して宇宙人から受信してます。
この小説は未来への伏線なのでしょう。例えば
>>大仁君は「ひできくんがすうじたいとひらがなたい
>>やればいいんじゃないの？ぼく、やだ。ひかるくんのあたまたたくなんて」一君は「ずらかるぞ」
>>と。大仁君が一君を裏切って光君に話しかけてきた。「素因数分解って何？」って。
>>光君は「かけざんの右と左がちがう」と。大仁君は「よくわかんなーい」と。
ここはまだ草稿してる最中ですが、未来はたぶん、
大仁君は「秀樹君が量子翻訳すればいいんじゃないの？俺、嫌だ。光君の頭を撃つなんて。」
一君は「ずらかるぞ」と。大仁君が一君を裏切って光君に話しかけてきた。
「リーマン予想って何？」って。光君は「1+2+3+…=-1/12とか考えると右が0
になるとき不思議なことが起こるのはどうしてか。」と。大仁君は「よくわかんなーい」と。
数学の話がしたいなら、話します。
a4「睡眠は取れてます。」
名古屋の宇宙人２「そうじゃなくてさ、P=NPだ。」
a4「うとうとしていたら、量子乱数のようなものが視覚野に映し出されたので、
P=NPの答えが出てこないか検索しました。そうしたら、ウインナーの輪切り
みたいな画像が。」
名古屋の宇宙人２「だからさ、もうちょっと書け。」
a4「その後、チョウの画像も映りました。そういえば、昔、種をまく話をしたけど、
数学的に綺麗な図形を基本として、その組み合わせで出来た図形を並べて、巡回
セールスマン問題を解いたら良いのかな？と妄想したんですけど、あってるん
ですか？」
名古屋の宇宙人２「そういうことにしたい。いいか？これは秘密ではない。」
a4「僕は今、忙しいです。Ｐ２Ｐ人工知能のＯＳを今月中に創って有名になったら、
量子コンピュータで作曲の仕事をするよう指令が入ってます。」
名古屋の宇宙人２「そうだな。その指令を出してる奴と話したまえ。奴は懸賞金なら
喰いつくはずだ。」
a4「じゃぁ、このスレはどうするんですか？」
名古屋の宇宙人２「後から判断する。ではな。」
解けません。」
名古屋の宇宙人２「うん？そうか？そうだな。俺的にはね、まずね、量はし先生に
したい。」
a4「うん？量子コンピュータを創るんですか？」
名古屋の宇宙人２「そうじゃないの。これは解けるの。」
a4「まず最先端の論文がよく理解できないし。できたとしても近似解じゃないですか？」
名古屋の宇宙人２「現実的に言っていい？俺ね、これはね、大域最適解にしたい。」
a4「確かに蝶の形をした円柱群を９匹つなげてもう１匹どう繋げようか？と思ったら、
９匹を動かしたほうが大域最適解か？ということですか？」
名古屋の宇宙人２「ほらな。単純じゃないだろ？これでいいか？」
a4「うーん、問題提起としては面白いですが、解けるとは思ってません。でも、
９月あたりに時間ができたら深く考えたいです。」
名古屋の宇宙人２「それでいいな。ではな。」
https://arxiv.org/abs/2008.00601
論文は読みたいんですけど、どこにあるのかわからないですね。RPのRはRandom
なんですね。これが本当ならクイックソートみたいなものなんじゃないかと。でも
approximationって書いてあるので、1990年代の研究かもしれません。昔から
研究してる人がいます。2010年のGödel Prizeの論文を出します。
https://dl.acm.org/doi/pdf/10.1145/290179.290180
これは最後に
「RECEIVED JULY1997;REVISED JANUARY1998;ACCEPTED JUNE1」
と書いてあります。
https://matsuri.5ch.net/test/read.cgi/hikky/1599118402/l50
P=NPからは少しずれますが、フランス語を勉強しています。
フランス語の習得→５次方程式完全理解→暗号解読で軍事威嚇→ＵＦＯを飛ばす→特異点を入手→量子コンピュータ開発→数学の大問題を解かせる
という構造です。よろしくお願いします。
a4「解けないと思ってます。」
名古屋の宇宙人２「そうじゃない。これから戦争が起きる。」
a4「本当だとすると危ないですよ？」
名古屋の宇宙人２「そういうことじゃない。電気もインターネットも使えなくなる
状態が続く。だから、君は紙と鉛筆で解け。」
a4「統合失調症の妄想に定義があります。世界没落体験ですね。」
名古屋の宇宙人２「そういうことなんだけどさ。俺らは量子コンピュータを持って
いるんだ。今、そのアルゴリズムを工面してる。すまんが前のことは忘れてくれ。
だからさ、総当たりで解けばいいじゃん？全ての組み合わせに対して神経医学的な
答えを繰り返し出力すれば解けるんじゃないかと。現実的には統合失調症かもな。
俺がここに書く理由？それは、俺らが解いたってことにするためだ。インターネットが
麻痺するからな。」
a4「統合失調症の妄想に定義があります。物理的被影響妄想ですね。」
名古屋の宇宙人２「だからさ、君はP=NP解いててくれ。」
a4「はい、わかりました。」
a4「P=NPは証明を公にすると殺されるかもしれません（被害妄想）。僕のここに
書ける計算結果は太陽の粒子が既に解いたんじゃないかと（関係妄想）。僕は
ダウンロードしています（物理的被影響妄想）。」
名古屋の宇宙人２「ほらな、なんかおかしいだろ？俺はもう書かん。ではな。」
a4「僕は夢でドラえもんののび太のママにP=NPについて聞くと眼鏡が無機ＥＬ
で緑色になり正弦波が表示されるだけで具体的に聞こうとしたら僕の母親に
起こされて目覚めました。これは大失敗です。」
名古屋の宇宙人２「うん、すまんな、これは成功するのは西暦2040年くらいに
しとく。もちろん公にしんよ。」
a4「いつ公になるんですか？」
名古屋の宇宙人２「それはね、西暦2045年じゃないの？」
a4「僕は宇宙人の発言の真偽が怪しいと思ってます。」
名古屋の宇宙人２「すまんけどね。俺はそういう人なんだわ。ではな。」
あたりは量子脳理論の実験は半分成功してるとして、ドラえもんのアニメでＰ＝ＮＰ
とか出そうとすると解けるんじゃないかと。」
名古屋の宇宙人２「ご名答。でもこれは危ないことにしたい。現実的にどこかに
管理されてビジネスに入るだろう。俺はそれは〇にする。」
a4「僕はアニメとかでやるなら拝見します。」
まだ解けたと思ってません。このスレとか僕の妄想なんですよ。皆はP≠NPに賭けて
ますし。現実的には量子コンピュータで解くかもしれません。今はドイツ語を勉強
しています。
こんばんは。
新しいアルゴリズムを発見しました。多項式時間ですが、近似解かの証明はまだです。
https://twitter.com/abc65536/status/1369663247884775427
https://twitter.com/5chan_nel (5ch newer account)
(1,1)-(2,1)-(3,1)-(4,1)
-(4,2)-(3,2)-(3,3)-(3,4)
-(4,4)-(4,3)-(4,2)-(4,1)
-(3,1)-(3,2)-(2,2)-(2,1)
-(1,1)
というのが反例じゃないですか？」
名古屋の宇宙人２「これは最初と最後をくっつけてるから駄目にしたい。いいか？
これが本物なら隠される。」
a4「いぬのおまわりさん♪こまってしまって♪わんわんわわーん、わんわんわわーん♪」
与えよう。君の呪いも取ってある。どうだ？」
a4「（駒｜縞）×回転４通りについて調べています。まずこのアルゴリズムは
４×４分割を繰り返すアルゴリズムですが、最後は最適解を求める必要がある
可能性があると来ました。でもこれは単純に考えてもO(n+16!)なので大丈夫
です。上記の反例については、まず誤記を訂正します。
(1,1)-(2,1)-(3,1)-(4,1)
-(4,2)-(3,2)-(3,3)-(4,3)
-(4,4)-(3,4)-(2,4)-(1,4)
-(1,3)-(2,3)-(2,2)-(1,2)
-(1,1)
上層構造を考えると繋げる時に最適でなくなる
可能性は否定できません。
詳しく、例えば、(3,2)-(3,3)、(2,3)-(2,2)を取ったりすると、縞から駒に
変わって、距離が４ほど消えて、新たに２ほど距離が付け加わります。
このあたりに論証のヒントがあるのでは？と。」
名古屋の宇宙人２「君は頭いいな。もっと研究しろ。君に１０２万ドルあげた。」
a4「誇大妄想ですね？」
のような反証ができないことです。」
名古屋の宇宙人２「そうか？一回やってみたら？何か起きるかもよ？」
a4「口が上手いですね。」
普通に考えて16!通りの計算は僕のパソコンではできませんでした。
その代わりWikipediaの資料を出します。
https://upload.wikimedia.org/wikipedia/commons/thumb/1/11/GLPK_solution_of_a_travelling_salesman_problem.svg/220px-GLPK_solution_of_a_travelling_salesman_problem.svg.png
僕の手法では解決しませんね。これが反証です。
」
名古屋の宇宙人２「Wikipediaって嘘つきじゃん？」
a4「確かにno-cloning theoremとかの表記がおかしいですね。」
16!の最適解ともう書きました。256!くらい計算しないとよくわかりません。」
名古屋の宇宙人２「ほらな、これくらいで一旦君に仕事を与えよう。人工知能の
開発だ。君には本を出版してもらう。」
a4「フィールズ賞は？」
名古屋の宇宙人２「欲しいのか？」
a4「有名になると、密教が入らなくなるのではないか？というところで困ってます。
タイムマシンとか入手できなくなるんじゃないかと。」
名古屋の宇宙人２「面白いな。一旦お開きだ。」
無い情報源でもクリアできそうですね。」
名古屋の宇宙人２「そうか。君は頭が良い。これなら人工知能を創れるよ。」
a4「人工知能は、フレーム問題をクリアしたら、難しい問題ではありませんでした。
Siriとかもちろん既にあります。僕はP2Pで解きます。可能であれば本を執筆します。
今、出版社とやり取りしてます。」
名古屋の宇宙人２「そうか。Cross your fingers.」
たら、目の前の８重円が極小正方形に分割されました。何かの場合分けは必要かも
しれません。」
名古屋の宇宙人２「よっしゃだな。俺はね、もうこれ以上解かないの。」
a4「これは本を売るためのパフォーマンスということで偽装されるんですね？
僕の本はP=NPを解くためのＰ２Ｐ人工知能ではありますが、ここに書かれてる
ことをそのまま書くのではなく、停止性問題などについて議論するつもりです。」
名古屋の宇宙人２「早めにしよう。じゃぁな。」
・正方形A{i}を４×４の正方形A{i+1}に切る。
・正方形A{i+1}について（駒｜縞）２通り×４回転＝８通り調べて端点を得る。
・正方形A{i+1}について端点を組み合わせながら２×４通り調べて端点を得る。
N=(4*4)^n=16^nとする。
n=1のとき
2*4~O(8)
n=2のとき
8^16*8~O(8^17)
n=3のとき
8^16*8*8+8^16*8+8~O(8^18)
n=4のとき
8^16*8*8*8+8^16*8*8+8^16*8+8~O(8^19)
これなら８重円でも大丈夫なんじゃないかと。」
名古屋の宇宙人２「お？解けたか？あともうちょいだ。」
いるよ。論文書いてくれとか返ってくるはずだから。」
a4「僕は精神病のせいで大卒ですが、英語くらいでなら論文は書いたことありますよ。
でも一旦休んでフランス語の小説を読むことにします。」
円が来る場合を考えました。おかしいな？と思ったのですが、１番大きな
正方形の場合は最適解を出力できるので、（駒｜縞）で余分な長さが出来る
ことについてはまだ可能性がある、と判断しました。」
名古屋の宇宙人２「頭良いな。あともうちょいだ。」
名古屋の宇宙人２「あともうちょい。」
3(√((1/2)^2+(3/2)^2)-1)+1/2-2>0
」
名古屋の宇宙人２「あともうちょい。」
最低でもN=16^nとしてO((8^16)*8^n)=8^16*O(√N)です。富岳とか使わない
といけないかもですが、これはお金がかかるものということを知ってます。
僕は手持ちに１０万円ほどしか持ってません。協力者を募ります。お金を使わない
単純な反証でも構いません。」
名古屋の宇宙人２「やったな。俺はこれで去る。いいか？これは現実だ。」
N_C_16*(N^2+*(N/16)^2+…+(N/N)^2)
≧N^2*N^2*N
=N^5
これで平均は大丈夫？
N_C_2*(N^2+*(N/16)^2+…+(N/N)^2)
≧N^2*N^2*N
=N^5
N_C_2*(N^2+*(N/16)^2+…+(N/N)^2)
≦N^2*N^2*N
=N^5
すれば大丈夫そうです。でもモンテカルロ法とかしないといけないと思ってます。
でも、さらに大きい正方形との相互関係がわかりません。ここが端点と主張して
いるアルゴリズムなのですが、これが明記されてませんね。
辺ができますが、重円における一部であるときに発生する線間の最短距離のような
ものができてますね。
名古屋の宇宙人２「君はもう言ってるじゃないか。」
残るんだわ。」
a4「？？？」
名古屋の宇宙人２「君の思ってる通りだよ。四角形を小さくしてったらぶつかってく
場所の４点。」
a4「何重円の場合は？」
名古屋の宇宙人２「うん？いっぱい端点あるって言ったじゃん？」
a4「じゃぁ、端点の組み合わせは？」
名古屋の宇宙人２「計算してみたら？」
a4「端点は4N個くらいなので大丈夫そうですね？どういうことなんですか？」
名古屋の宇宙人２「君は解けたんだ！」
a4「？？？」
引き方が何なのか。」
名古屋の宇宙人２「うん？もう答え出てるじゃん？」
a4「4N*4N？」
名古屋の宇宙人２「ほら出てるじゃないか。俺はもう来んぞ。a4君も書き込むな。」
a4「悔しいですが、ここで時空がねじれます。」
a4「じゃぁ、僕のやってることには何の科学的根拠も無いんですね？でも僕の計算
してるのは、まず４×２通りではなく、駒は逆回転も含めるので４×２＋４＝１２
通りでした。これは多項式時間の議論に影響ありません。アルゴリズムについて
一旦考えました。まず駒と縞は意味が無いんじゃないですか？」
名古屋の宇宙人２「そうかもしれんぞ。」
a4「それで、４×４＝１６マスについて１２通りほどの総当たりをしてマス同士を
最短で結びます。それであとは最急降下法で不要な辺をカットすれば、
12*N+12*16*16*N/16+12*N*(16^2)*(16^2)/(16^2)+…
12*(16^n)*(16^n)*N/(16^n)〜O(N^2)
最短のことばかりやってるので、やっぱり最短じゃないかと。どうですか？」
名古屋の宇宙人２「だからさ、俺は東大卒じゃないのよ。」
a4「口が上手いですね。そういえば、僕の理論に数学的整合性が無いように
見えるのは、量子乱数による３分木アルゴリズムのようなもので大域最適解を
高速に探索している、つもり、だからです。」
そうすると物理的被影響妄想、と。」
名古屋の宇宙人２「だからさ、君、証明ちょっとやってて。」
と来ました。」
名古屋の宇宙人２「これは難しくない。」
名古屋の宇宙人２「うん、それはある。」
名古屋の宇宙人２「それはなってから考えろ。」
a4「あの辺りの競合が書き込み数を減らすＲＬポリシーネットワークを組んでる
かもですよ？」
名古屋の宇宙人２「そうか。結構頭良いんだな。」
そうするとO(N^(log(N))になって準多項式時間。これでは証明にならないですね？」
名古屋の宇宙人２「そうか。俺、すごい難しいことにしたい。」
a4「宇宙人の指令の通りにやってるんですよ。やっぱり富岳が無いと駄目かな。
お金は持ってません。今回開発したアルゴリズムの要所は言えたと思うので、
やはり一旦引くことにします。」
名古屋の宇宙人２「そうか。また来るかもしれんけどな。」
名古屋の宇宙人２「すまんな。このアルゴリズムはここで終わり。P=NPについては
嘘ついてないんだけどさ。フィールズ賞とかはこれだけじゃ駄目だな。それでさ、
普通に後からわかるから。ここに書いてあることが何か。」
名古屋の宇宙人２「そうか。俺的にはね、普通に蟻んこ潰してるだけだよ。」
a4「それでも聞きます。何のためにP=NPでお金とか議論を？」
名古屋の宇宙人２「そうか。俺的にはね、もちろん俺のしたいことをするためだよ。」
a4「あなたのしたいことは何ですか？」
名古屋の宇宙人２「それは極秘。」
こみ「はい、わたしも嘘つきです。」
a4「P=NPはどうやったら解けるんですか？」
こみ「いやだなー、それは未来解けるに決まってるじゃないですか。」
a4「宇宙人と話しができるんですか？」
こみ「大橋先生！はい、統合失調症。」
西暦4000年のa4「はい。大橋先生。時空は歪んでるよ。ここより西暦2000年先
くらいのほうがいいかもしれない。」
西暦6000年のa4「はい。大澤先生。時空は歪んでないよ。やっぱり山口組ぐらいの
コンピュータに攻撃されるにしてる。ほら、危ないでしょ？君も山口の知り合い
いるのに。」
a4「信頼で繋いでもこんなものですか。」
西暦6000年のa4「現実的に言っていい？古澤先生×僕たちはね、あんまり良い人
じゃないよ。」
a4「僕は良い人になるのではなく、数学をします。」
西暦6000年のa4「じゃぁね、現実的に古澤先生×宇宙人とお食事しないと駄目。
そうするとスマホ買わないといけなくなるでしょ？ここでお金が無いじゃん？
だから駄目。」
a4「ここくらいで僕の限界にします。」
西暦6000年のa4「良い子にしてなさい。」
物理も夢あたりでバナッハタルスキーになってしまって抜け道があると考えれる
ところです。」
理由は、機密情報のハッシュで軍事威嚇しながら、人口減少時代に不老不死で
逃げる計画を立てる、という結論でした。」
名古屋の宇宙人２「君は何でも書いてしまうが、これも計画のうちだ。俺は
もう来ない。」
僕としてはP=NP?用途をもちろん考えてます。１分半ほどの動画を撮りました。
https://www.youtube.com/watch?v=d7ybGjU2XUQ
並列処理させるために、逆に素人向けに構成しようと、音声の認識や合成に関する
投資家を募っています。お金が回ったら、CD付の本で売り出します。」
名古屋の宇宙人２「うん。こりゃ面白そうだ。」
で解く視覚野を持つ宇宙人がいるのに、地球はそういう管理ではないため、解けると
タイムマシンで歴史改変されて証明を紛失すると主張していましたが、古来からある
魔法陣のように解法を書けば悪魔のような宇宙人を呼べるんじゃないかと。
だから、この名古屋の宇宙人２が危ないんです。」
名古屋の宇宙人２「面白くないな。俺は友好的だぞ。」
a4「証拠は？」
名古屋の宇宙人２「何も無いんだわ。」
a4「僕はそれでもフランス語やヘブライ語でグリモワールを読みます。」
名古屋の宇宙人２「a4君、どうしてしまったんだ？」
a4「時空が歪んでいます。僕は食べられてしまうかもしれません。」
名古屋の宇宙人２「a4君、俺は食べないぞ。」
a4「今日も楽しくフランス語を勉強します。」
名古屋の宇宙人２「頑張ってくれ。」
名古屋の宇宙人２「a4君、心配するな。現実的に言っていい？君は西暦2060年より
前に人生が終わる。そうしたら、別の世界へ行ってもらう。」
a4「僕は不老不死になって数学を解こうと思ってます。それは現代人としての死だと
思ってます。」
名古屋の宇宙人２「だからさ、そこなのよ。今日はこれくらいにして、安心して
勉強しようか。」
a4「今日は頭良くなれないですが、フランス語をやって、残りの時間でドイツ語も
勉強します。望月新一先生のように論文を書けるように。」
PARTITIONなら折り紙を半分に切ってそれぞれをばらばらにすれば、元に
戻せて、TSPの解がいっぱいできると思ったら、PARTITIONから3DMに
戻すところで、s(a_i)=2^(3pq-f(i))+2^(2pq-g(i))+2^(pq-h(i))
とかって数値が出てきて、任意の大きさには折り紙は切れず失敗しました。」
名古屋の宇宙人２「君はこれくらいでMITとかに入れるよ。」
a4「教授からは返信がありません。」
名古屋の宇宙人２「いいか？誰か待ってみろ。」
PARTITION→SATISFIABILITY→3SAT→VC→HC→TSP
なんですか？」
名古屋の宇宙人２「俺は知らん。」
P=NPの証明ではないですね？」
名古屋の宇宙人２「一旦、君、休みな。誰かが解いてくれるから。そうしたら、
カラオケとか行こうよ。」
a4「僕は４カ国語くらいで歌いますよ。下手ですが。」
です。」
名古屋の宇宙人２「君さ、なんでWikipediaの画像ってあんなに数少ないの？」
a4「うん？僕は殺されるんですか？」
名古屋の宇宙人２「そういうことじゃなくてさ。君はMITに裏入学だ！」
a4「うん？これは誇大妄想ですね。Wikipediaからこの項目は削除されてますが。
証明できるものはありません。」
名古屋の宇宙人２「だからさ、誰か待ってみよう。」
名古屋の宇宙人２「君、核心を突いた。」
a4「うーん、真偽は自明じゃないですね。」
名古屋の宇宙人２「早めにしなさい。」
a4「うーん、何かがうまくいかなそう。」
名古屋の宇宙人２「俺の言う通りにしろ。」
a4「はい。」
賭けますが。」
名古屋の宇宙人２「そうか。君ね、どうしてWikipediaはあんなに簡単な画像なのにさ。」
a4「うーん、P=NPの証明にはなりません。」
名古屋の宇宙人２「そうか。君ね、P=NPはTSPじゃないんだわ。」
a4「うん？PARTITION→NDTM→SATISFIABILITYとかで止める？」
名古屋の宇宙人２「だからさ、君さ、よく知ってるじゃん？」
a4「僕は騙されています。」
名古屋の宇宙人２「だからさ、〇」
書いてみたら？前、返信あったでしょ？それでMITに行きたいって書いてみて。
これは指令。」
a4「それはできます。失礼にならないようにしたいですが、返信内容はまた
ここに公開するかもしれません。」
名古屋の宇宙人２「じゃぁ、やってみて。」
名古屋の宇宙人２「よし、俺もそのへんでかんぱい。」
名古屋の宇宙人２「そうか。１回、計算してみよ。」
a4「何かが間違ってる気がします。」
名古屋の宇宙人２「それじゃさ、すまん、１回、１番簡単なのだけ計算してくれ。
折り紙を半分に切って、片方をもう半分に切る。これだけだ。」
a4「それで２の３乗通りで表にしたり裏にしたりで普通に半分半分になる答えを
巡回セールスマン問題で表せばいいんですね。今日は眠いので時間かかるかも
ですが、僕の宿題にします。」
名古屋の宇宙人２「やってみよ。」
がよくわからないうえに、クックの定理も自明なようで込み入ってます。僕の研究
には何かが足りません。どうしたらいいんですか？」
名古屋の宇宙人２「現実的に言っていい？全部軍事機密だから。」
a4「まだやるんですか？」
名古屋の宇宙人２「あたぼうよ。」
a4「うーん。」
名古屋の宇宙人２「そうか。こりゃ選び方があるな。いいか？短いものを出す
ようにしろ。」
a4「まだやるんですね。」
名古屋の宇宙人２「君、俺を何だと思ってる？」
a4「嘘つき宇宙人。」
名古屋の宇宙人２「そうか。早めに仕事しろよ。」
できる。」
a4「うん？」
は、O((2^n)*(n^2))と書かれてますね。」
名古屋の宇宙人２「そうだな。」
証明になってますね。」
名古屋の宇宙人２「今日は寝なさい。」
a4「おやすみ。」
TSPがn^2個の行列で表現できるなら、これをそのままn^2個を半分に分ける
問題にして、合計の数を下げていきます。でもこれはP=NPの証明ではないですね。」
名古屋の宇宙人２「あともうちょっとだ。」
a4「？」
名古屋の宇宙人２「待った。どうすればいいんだ？」
エッジの長さを全て１のようなことにして、値を１ずつ変えながら、合計もずらして
走査するだけのアルゴリズムを思いつきました。計算時間は自明ではないですね。」
正規化できないかと。」
名古屋の宇宙人２「a4君、一回実験してみようか。」
止まるかもですけどね。」
名古屋の宇宙人２「よし、やってみよう。」
一旦止まってます。a1<a2<a3<a4<a5とすると、a1+a5<a2+a3のとき、1+5>2+3。
だから、2^n時間かかりますね？」
名古屋の宇宙人２「そうか。君は何か勘違いしてるな。」
a4「辞書検索のように対数を取るようにすればいいのかな？」
名古屋の宇宙人２「早めにやれ。」
この数値を使って最急降下します。」
名古屋の宇宙人２「うん。早めにやってみよ。」
しても、次はn^8通りですよ？」
名古屋の宇宙人２「待った。ここだ。そこはn^4通りだ。」
a4「？」
名古屋の宇宙人２「いいか？モンテカルロせよ。」
233, 9, 205, 23, 146,
15, 21, 225, 94, 212,
135, 141, 113, 125, 41,
239, 149, 9, 98, 81,
224, 28, 36, 247, 173,
に対して、長さと辺の組み合わせが、
15(1,0), 9(3,2), 23(0,3), 28(4,1), 41(2,4)
などと出ますが、これが最適かもわからないし、計算できないときもあります。」
名古屋の宇宙人２「そうか。俺は終わりにしない。」
195, 82, 34, 186, 140,
147, 75, 86, 39, 132,
118, 174, 200, 83, 31,
8, 149, 182, 74, 108,
198, 36, 49, 3, 2,
132(1,4), 174(2,1), 182(3,2), 186(0,3), 198(4,0),
でもこれが計算結果なのに、
8, 36, 34, 39, 31のほうが短いですね。失敗です。この方法では最適でないうえに、
経路が求まらない時さえあります。
」
名古屋の宇宙人２「そうか。俺さ、普通にもう１回書くぞ。」
a4「数学板の人はわかってないかもしれませんが、上層を含むこちらには
何かのアルゴリズムがありますね。」
名古屋の宇宙人２「そうなんだけどさ。ビル・ゲイツって何考えてると思ってる？」
a4「金持ちなのにコロナが治らない。」
名古屋の宇宙人２「君さ、早めにあっち行ったほうがいいよ。」
a4「解けてないですよ。」
名古屋の宇宙人２「そうか。」
a4「P=NPなんですか？」
名古屋の宇宙人２「そうだぞ。」
a4「普通に証明落とせばいいじゃないですか？」
名古屋の宇宙人２「そうか。君は最短経路のTSPを作れるようになった。これを
一旦成果にしたい。」
a4「乱数をソートして、行列に、小さいあ数字から繋がるようにおけばいいんですね。」
名古屋の宇宙人２「もうちょっと研究して。」
からじゃないのに、別の手法の検算に利用できそうですね。本当ならこのあたりで
論文を書いたりするのですが、僕は正規の研究者ではないので、5chに文献が蓄積
されます。」
名古屋の宇宙人２「今日はここまでにして、ドイツ語とか勉強しててくれ。」
a4「ふーん、なんかおかしいですけど、僕が証明を貰うとすぐ公にしてしまい、
タイムマシンが歴史改変するのでしょう。」
名古屋の宇宙人２「君の言う通りだからさ、今日はここまで。」
a4「ＭＩＴ裏入学とか、フィールズ賞とか、手に入らないんですか？」
名古屋の宇宙人２「それは後から用意する。現実言っていいか？君は大金持ちだ！」
a4「誇大妄想ですね。今日もハラール醤油で卵ご飯を食べたりします。」
名古屋の宇宙人２「そうか。俺は面白くない。P≠NPスレとか意外と立っとらんな。
これはぶつけて戦わせたほうがいいんじゃないかと。」
a4「うん？日本は遅れてますね。」
名古屋の宇宙人２「そういうことなんだわ。」
a4「確かに僕は今回何もしてないようで「PARTITIONは乱数による問題と解を
同時に用意できることも考えられて公になったであろうが、一般化された行列で
表されるTSPにおいても、単純にNP-completeというだけではなく、同様に小さい
ループを初めに構成しておく手法によって、量子焼きなましなどの検算といった手法に
応用が期待できるであろう。」と論文に書けますよ。」
名古屋の宇宙人２「これさ。貴方は頭良い。何故なら、他の人がこれで解いたら、
貴方も有名になれるからだ！」
a4「ふーん。普通に証明くれないんですか？でもエリア５１みたいなところから
君にあげるよとか出てきたら、何も面白くないですね。死ぬかもしれません。」
名古屋の宇宙人２「そうか。現実的に君はそういうことだ。」
名古屋の宇宙人２「待った。これは思ったより長かった。現実言っていい？
どのように証明されても、ここの文章は未来人の知ってる文献になってるよ。」
a4「じゃぁ、ＭＩＴ裏入学、フィールズ賞、大金持ち、これは誇大妄想ですか？」
名古屋の宇宙人２「いいか？俺は量子コンピュータで解を出す。現実的には、
Harvardの貧乏人が合ってるんじゃないか？
「a4のHarvard入学試験」の忌み名は「Switzerland.」
「a4のフィールズ賞」の忌み名は「陽子 is Turing-complete.」
俺はこれ以上何も言わない。」
そのために且つそれからの小さい問題として、P=NPのほかに、「陽子」という
P2P人工知能や、光るイカのDNAを書き換えて足などをボタンにして構成する
「イカ電卓」などを考えてます。可能であれば教授と研究したいです。テレパシー
とかは厄介なので、メールはananaso98@yahoo.co.jpです。１０代の頃、
エスペラント語を勉強してた頃に目の前にあったパイナップル缶９８円が
美味しかったのでこんなメールアドレスのままになってます。基本的にdoctorが
欲しいです。Ph.Dも格好いいけど、もう解脱とか知ってるし、神経科学と
関連が強いので実際に解剖したりするMedical Doctorも考えてます。
僕は期待してません。ただ5chに書いてるだけですよ。メールは研究内容の
ことについて書かれてあれば、今のところは誰でも返信します。それでは。」
https://www.youtube.com/watch?v=U2yOi6p5cfg
送料に関して電話して欲しいってメールが返った。よく見たらHarvard Street
に建ってました。それで電話でTHANK YOUってお互い言いました。統合失調症で
アメリカ入国すらできなかったのに。」
名古屋の宇宙人２「やったな！君の栄転撃ちだ！」
「量子コンピュータで作曲」とか考えてたら「量子なりすまし」ですか？
Princeton Universityが何故20位なんですか？統合失調症と偽装できる
じゃないですか。注察妄想においては盗聴者を攻撃できることが悟りでした。
ハエローヒムアニ？アナ、アッラー。」
名古屋の宇宙人２「でかしたな！」
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【MLB】打撃不振…？ 大谷翔平、打ってるのに何故か叩かれる 軽く打って170キロ超え高速ヒットがヤバすぎると話題に 「アンチ涙目w」 [冬月記者★]
- 慶應義塾長が国立大の学費増額を提言「年55万→150万に」 文科省の会合で [少考さん★]
- 埼玉の在日クルド人に差別や攻撃 県外からも電話「SNSで見た」 [少考さん★]
- 【サッカー】U-23日本代表、UAE代表に完封勝ちで2連勝！日韓戦を前に決勝トーナメント進出を決める [久太郎★]
- 【理研】日本人の祖先は「縄文系」「関西系」「東北系」の３系統か、ゲノム分析で従来の説「縄文と弥生」に疑問 ★2 [樽悶★]
- ロシア出身YouTuber、経済的困窮で「国ガチャ失敗」？嘆く日本人を一喝「給料13万？自分のせいやん」日本を「大当たり」とする理由は [muffin★]
- AFC U23アジアカップ カタール2024★8
- AFC U23アジアカップ カタール2024★9
- AFC U23アジアカップ カタール2024★10
- 【フジテレビ】2024 FORMULA 1【NEXT】Lap269
- 【酒】日本vsUAE【U23アジアカップ】
- とらせん祝勝会 ★2
- 朝起きてトイレしたいのにバキバキに勃起してるオッサンいるでしょ [207516352]
- 【悲報】「どんぐりを撃つ」というゴミみたいなシステムのせいでまともな人が急に書き込めなくなる [112948759]
- 5ch(旧2ch)で、のん(旧能年玲奈)が好きって書き込んで、X(旧Twitter)にポスト(旧ツイート)したら
- 運転中にVIPで以外にやることってなんかある？
- ドバイやばいの？
- 今何時？？？？？？？？？？？？？？？？？？？