- P=NP
285 ：a4 ◆L1L.Ef50zuAv []：2021/03/12(金) 08:58:48.58 ID:zCsn/dGn - 名古屋の宇宙人２「俺は嘘つきだぞ。書いてみよ。」
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)
最短のことばかりやってるので、やっぱり最短じゃないかと。どうですか？」
|
- P=NP
286 ：a4 ◆L1L.Ef50zuAv []：2021/03/12(金) 09:02:18.16 ID:zCsn/dGn - a4「あなたは嘘つきなんですね？どういうことなんですか？」
名古屋の宇宙人２「だからさ、俺は東大卒じゃないのよ。」
a4「口が上手いですね。そういえば、僕の理論に数学的整合性が無いように
見えるのは、量子乱数による３分木アルゴリズムのようなもので大域最適解を
高速に探索している、つもり、だからです。」
|
- P=NP
287 ：a4 ◆L1L.Ef50zuAv []：2021/03/12(金) 09:04:49.93 ID:zCsn/dGn - a4「タイムマシンからの攻撃は基本は、押したり引いたりして遠隔で破壊します。
そうすると物理的被影響妄想、と。」
名古屋の宇宙人２「だからさ、君、証明ちょっとやってて。」
|
- P=NP
288 ：a4 ◆L1L.Ef50zuAv []：2021/03/12(金) 09:08:10.81 ID:zCsn/dGn - a4「まず最急降下法が局所最適解にならないということをどうやって証明できるのか？
と来ました。」
名古屋の宇宙人２「これは難しくない。」
|
- P=NP
289 ：a4 ◆L1L.Ef50zuAv []：2021/03/12(金) 09:16:36.87 ID:zCsn/dGn - a4「個人的には、ケーニヒスベルクの橋の問題も厄介です。」
名古屋の宇宙人２「うん、それはある。」
|
- P=NP
290 ：a4 ◆L1L.Ef50zuAv []：2021/03/12(金) 09:19:45.71 ID:zCsn/dGn - a4「もしこれが解けたら、Googleとかどうなるんでしょうね？」
名古屋の宇宙人２「それはなってから考えろ。」
a4「あの辺りの競合が書き込み数を減らすＲＬポリシーネットワークを組んでる
かもですよ？」
名古屋の宇宙人２「そうか。結構頭良いんだな。」
|
- P=NP
291 ：a4 ◆L1L.Ef50zuAv []：2021/03/12(金) 09:40:57.05 ID:zCsn/dGn - a4「やっぱり局所最適解なんじゃないかと。木構造的に総当たりとか考えたんですよ、
そうするとO(N^(log(N))になって準多項式時間。これでは証明にならないですね？」
名古屋の宇宙人２「そうか。俺、すごい難しいことにしたい。」
a4「宇宙人の指令の通りにやってるんですよ。やっぱり富岳が無いと駄目かな。
お金は持ってません。今回開発したアルゴリズムの要所は言えたと思うので、
やはり一旦引くことにします。」
名古屋の宇宙人２「そうか。また来るかもしれんけどな。」
|
- P=NP
292 ：a4 ◆L1L.Ef50zuAv []：2021/03/12(金) 10:51:42.79 ID:zCsn/dGn - a4「やっぱりこのアルゴリズムはO(N^(log(N))ですよ。」
名古屋の宇宙人２「すまんな。このアルゴリズムはここで終わり。P=NPについては
嘘ついてないんだけどさ。フィールズ賞とかはこれだけじゃ駄目だな。それでさ、
普通に後からわかるから。ここに書いてあることが何か。」
|
- P=NP
293 ：a4 ◆L1L.Ef50zuAv []：2021/03/12(金) 11:05:51.16 ID:zCsn/dGn - a4「宇宙人に締まりがありませんね。何故嘘をつくんですか？」
名古屋の宇宙人２「そうか。俺的にはね、普通に蟻んこ潰してるだけだよ。」
a4「それでも聞きます。何のためにP=NPでお金とか議論を？」
名古屋の宇宙人２「そうか。俺的にはね、もちろん俺のしたいことをするためだよ。」
a4「あなたのしたいことは何ですか？」
名古屋の宇宙人２「それは極秘。」
|
- P=NP
294 ：a4 ◆L1L.Ef50zuAv []：2021/03/12(金) 11:07:51.73 ID:zCsn/dGn - a4「西暦2503年から未来人を呼びます。」
こみ「はい、わたしも嘘つきです。」
a4「P=NPはどうやったら解けるんですか？」
こみ「いやだなー、それは未来解けるに決まってるじゃないですか。」
a4「宇宙人と話しができるんですか？」
こみ「大橋先生！はい、統合失調症。」
|
- P=NP
295 ：a4 ◆L1L.Ef50zuAv []：2021/03/12(金) 11:14:29.13 ID:zCsn/dGn - a4「西暦4000年の僕とタイムテレパシーします。」
西暦4000年のa4「はい。大橋先生。時空は歪んでるよ。ここより西暦2000年先
くらいのほうがいいかもしれない。」
西暦6000年のa4「はい。大澤先生。時空は歪んでないよ。やっぱり山口組ぐらいの
コンピュータに攻撃されるにしてる。ほら、危ないでしょ？君も山口の知り合い
いるのに。」
a4「信頼で繋いでもこんなものですか。」
西暦6000年のa4「現実的に言っていい？古澤先生×僕たちはね、あんまり良い人
じゃないよ。」
a4「僕は良い人になるのではなく、数学をします。」
西暦6000年のa4「じゃぁね、現実的に古澤先生×宇宙人とお食事しないと駄目。
そうするとスマホ買わないといけなくなるでしょ？ここでお金が無いじゃん？
だから駄目。」
a4「ここくらいで僕の限界にします。」
西暦6000年のa4「良い子にしてなさい。」
|
- P=NP
296 ：a4 ◆L1L.Ef50zuAv []：2021/03/12(金) 11:20:40.52 ID:zCsn/dGn - a4「僕がタイムテレパシーとか嘘つきじゃないと主張するのは、ZFCみたいな話で
物理も夢あたりでバナッハタルスキーになってしまって抜け道があると考えれる
ところです。」
|
- P=NP
297 ：a4 ◆L1L.Ef50zuAv []：2021/03/12(金) 12:13:10.86 ID:zCsn/dGn - a4「内部で話し合ってたんですけど、こんなことをここに書くよう指令されてた
理由は、機密情報のハッシュで軍事威嚇しながら、人口減少時代に不老不死で
逃げる計画を立てる、という結論でした。」
名古屋の宇宙人２「君は何でも書いてしまうが、これも計画のうちだ。俺は
もう来ない。」
|