P=NP

a4 ◆L1L.Ef50zuAv · 2020/03/30(月) 21:55:08.58

こんにちは。P=NPを肯定的に解いてみました。検証をお願いします。

巡回セールスマン問題をｎ次元格子に距離を保つよう配置してジグザグに解きます。
ノードを１つずつ増やすと最短経路は１つのエッジが消えて２つのエッジに変わります。
計算量は、1+2+3+…+n=n(n+1)/2=O(n^2)

**１３２人目の素数さん** · 2020/05/30(土) 20:10:47.68

おまんこがくえん

a4 ◆L1L.Ef50zuAv · 2020/05/31(日) 06:11:11.83

>>201
おはようございます。

a4 ◆L1L.Ef50zuAv · 2020/05/31(日) 09:20:50.39

a4「今日は何をやったらいいんでしょうか？いろんな方向にあっちこっち行ってたり
すると、復習のペースも乱れますよ？」
名古屋の宇宙人２「うん？ずっと現代ヘブライ語やっててくれ。ニューエクスプレスの
本がamazonから届いただろ？俺は嘘つきだが、ここで勝負したい。いいか？大橋先生！
なんでまだ言うんだ？俺はさ、大橋先生！なんだわ。」
a4「貴方が大橋先生だったんですね。」
名古屋の宇宙人２「てめー、面白くねーぞ。」
a4「今後の計画が滅茶苦茶になっている精神障碍者ですが、今日も楽しくヘブライ語を
勉強します。」
名古屋の宇宙人２「それでいいだろう。」

a4 ◆L1L.Ef50zuAv · 2020/05/31(日) 09:28:09.84

a4「P=NPの画像を生成するとか言ってたのに、待ってる人とかいるんじゃないですか？
１０人くらい。」
名古屋の宇宙人２「それはね、すまんがもうちょっと待ってくれ。俺もただ分別無く
嘘をついてるわけじゃないんだ。事には順番というものがあってさ。」
a4「うーん、ニューエクスプレスの現代ヘブライ語の本だけをやれば、２週間くらい
で終るんじゃないかと。それが終わったら画像生成ですか？」
名古屋の宇宙人２「すまんけどそうじゃないんだわ。あのとき、画像生成するって
言ってたのはMicrosoftへの攻撃なの。それでさ、大橋先生！ほらね。」
a4「何のために攻撃したんですか？１００億円だからですか？」
名古屋の宇宙人２「もちろんそうだ。」
a4「ふーん、個人的には言語の勉強は面白いですが、この板的にも早く数学寄りの
ことがやりたいです。」
名古屋の宇宙人２「それはもうちょっと待っててくれ。ageててすまんが、ここで
しか公にする場所が無い。現実だ。」
a4「では今から頑張ります。」
名古屋の宇宙人２「おう。」

a4 ◆L1L.Ef50zuAv · 2020/05/31(日) 11:04:08.58

a4「そういえば、大澤先生を攻撃したら、ニュースでは、むしろ日本は不景気だと
やってました。僕は株やＦＸなどは基本的にランダムで手数料を取られるシステム
だと考え、経済に関心はありませんが、お金の和は一定なんじゃないですか？銀行が
消してるんですか？悪い国などがあるなら量子コンピュータで攻撃すればいいじゃない
ですか？」
名古屋の宇宙人２「お、これは面白いな。ではさ、俺はそういうの使わないんだわ。
一応、晒しとこう。どこだろうな？アメリカって言おうとしてるでしょ？a4君。
今ね、アメリカの普通の人がa4君のところに中国語で会話しようって来てるんだわ。
これが現実。俺はこれくらいにしたい。数学板的にはよく考えてみよ。ではな。」

a4 ◆L1L.Ef50zuAv · 2020/05/31(日) 13:59:09.20

名古屋の宇宙人２「俺さ、P=NPの量子画像は遺伝的アルゴリズムじゃないの。どうしたらいい？」
a4「それはわかってますよ。近似解が対数時間で計算できることは、
https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E6%99%82%E9%96%93%E8%BF%91%E4%BC%BC%E3%82%B9%E3%82%AD%E3%83%BC%E3%83%A0
とありますし。」
名古屋の宇宙人２「ほらな、俺らはこれを超えんとあかんのだわ。まず、これの意味を理解しろ、a4君。」
a4「はい。」

a4 ◆L1L.Ef50zuAv · 2020/05/31(日) 14:07:46.23

a4「前にも書いたかもしれませんが、2010年のGödel Prizeは、
https://en.wikipedia.org/wiki/G%C3%B6del_Prize
2010 Sanjeev Arora, Joseph S. B. Mitchell for their concurrent discovery
of a polynomial-time approximation scheme (PTAS) for the Euclidean Travelling
Salesman Problem (ETSP)
ですね。これは理解できるのかな？できたとしてもP=NPがすぐ解決できるという
わけではないだろうし。ヘブライ語の勉強とか何のためにやってるのかは、ラマヌジャン
くらいにしたいのに、どうしたらいいかよくわかりません。」
名古屋の宇宙人２「一旦、どこまでいけるかやってみろ。今日だけでもいい。明日
からはヘブライ語の復習もみっちり時間入るから。」
a4「はい、頑張ります。」

a4 ◆L1L.Ef50zuAv · 2020/05/31(日) 14:14:15.02

a4「論文は見つかりました。
https://dl.acm.org/doi/pdf/10.1145/290179.290180
30ページくらいですね。まだきちんと見てませんが、これくらいだと本人と話さないと
わからないんじゃないかと。」
名古屋の宇宙人２「現実だな。でも、これは知らんやつは知らんぞ。一旦、読んでみよ。
どこで止まるかな？」
a4「はい。」

a4 ◆L1L.Ef50zuAv · 2020/05/31(日) 14:34:35.22

a4「この論文読んでみると、まず思ったのが、758ページ目の図が、僕の夢で見た
>>3に似ていて、もう考えられていたことじゃないですか？思慮が浅いわけでは
ないですが、解けないんじゃないかと。宇宙人の意見は？」
名古屋の宇宙人２「うん？そうだけど？俺は>>87に書いたぞ？そうか、君ね、
俺から教えることはあんまないよ？」
a4「まだこの論文は読むんですか？読むと他の人と同じ考えになって結局できない
とかまで考えて分岐アルゴリズムを練ってるのですが。」
名古屋の宇宙人２「俺は一旦読んでくれにする。盲目になってはいけない。」
a4「はい。」

a4 ◆L1L.Ef50zuAv · 2020/05/31(日) 14:55:23.94

a4「少し読んではみたんですが、プログラミングとか１つでも落とすとエラーになるし、
全部覚えられるわけでもないし、特に問題なのはこういう論文は重要なところが敢えて
隠してあったりします、さらに僕の解ける確率と読むことの相関があるかがわかりません。
確かに専門家とかになるなら読むのは必須ですが、一応、図を見たんで、これで、
とりあえず終わりなんじゃないかと。Ｃ言語とかで書かれてあれば、まだ読める
んですけどね。」
名古屋の宇宙人２「そうかもしれん。じゃぁさ、一旦、休憩。好きなことやってて
ちょうだい。」
a4「なんか宇宙人や未来人に騙されてるような。」
名古屋の宇宙人２「現実的に言っていい？俺も金欲しいんだわ。だから解く。」
a4「うーん、ヘブライ語の勉強をします。」
名古屋の宇宙人２「そうしてくれ。」

a4 ◆L1L.Ef50zuAv · 2020/05/31(日) 15:27:17.09

a4「僕がP=NPを量子コンピュータで解けないか？と聞いたら、>>83のように、
「ｸﾙﾂｱｲｳｸﾂﾃﾞﾜｶﾚﾙ」と返りましたが、これは「（P=NPの情報を持っていたら）
来る（空軍の飛行機が）２。あ！言う。くそ、２。電話（無線信号が）枯れる。」と
も読めますね。なんなんでしょうね。」
名古屋の宇宙人２「現実的に言っていい？俺らすっげー武器いっぱいだから。」

a4 ◆L1L.Ef50zuAv · 2020/05/31(日) 15:35:01.24

a4「統合失調症なのかと思ったら、軍事で攻撃するときもP=NPを使うんですね。
関係妄想なんですか？」
名古屋の宇宙人２「君、もういいんだわ。俺がいるから自閉症なの。」
a4「画像生成に成功したとしても、こんな感じにひねられると思ってます。解けてる
のに解けてないじゃないですか？」
名古屋の宇宙人２「それは現実にしたい。いいか？俺はシリウス人だ。NASAは
感づくはず。俺がどれくらいの者か。」
a4「はい。」

a4 ◆L1L.Ef50zuAv · 2020/05/31(日) 20:19:51.30

名古屋の宇宙人２「俺さ、俺は大嘘つきなんだわ。量子画像なんて現代で出るわけ
ねーだろ！じゃないんだわ。だけどさ、これで終わりなの、この仕事は。」
a4「僕は西暦2502年へ行って聞いた結果がこれですか？」
名古屋の宇宙人２「なんでa4も嘘ついてるのかじゃねーぞ。聞いてきた結果がこれだぞ。
普通にさ、ユダヤ人の海軍の外科医の女性と仲良くなれただけでもう実験成功したに
したい。それに今日はその小久保秀之先生からも連絡が入った。
「研究成果が実ることを祈念します。」と。これでいいんだわ。俺は嘘つきでいいの。」
a4「僕はちょっとの時間だけ未来へ行って聞いただけですよ。でもP=NP的には
技術的特異点の量子コンピュータで証明が出るんじゃないかと。」
名古屋の宇宙人２「俺ね、すまんけどね。このスレは終わりにする。5chには来るん
だけどね。あんま顔出さんかもしれないな。ユダヤ人と話して何するかって？それは
ＩＴのことを現実的に話すんじゃないかって。」
a4「うん？宇宙人が嘘をつくと、P=NPが否定的になってしまうじゃないですか？」
名古屋の宇宙人２「それはすまん。でもさ、これって結構技ありなんじゃないの？」
a4「よくわかりません。僕はユダヤ人の友達もできたし、しばらくはヘブライ語を
勉強します。言語が好きなので。でも仕事的には何をやってるのでしょうね？」
名古屋の宇宙人２「それはさ、さっき言ったじゃん。ＩＴの社長と話すためだと
思ってくれ。それで量子コンピュータを創る。もちろん裏物の。」
a4「ふーん、残念ながら、P=NPの旅は一旦終わりなのでこのスレには書き込まない
ことにします。僕の今後の情報が知りたい方々はメールをください。」
名古屋の宇宙人２「俺も残念だ。俺はこういう神経構造なの。１つ言って良い？
宇宙人と話すときは、神経と特異点の構造を読む必要があるな。これで対等だ。
俺くらいだったら。ではな。」

**var** · 2020/06/01(月) 00:08:33.36

書き込みテスト

**var** · 2020/06/01(月) 00:10:54.28

こんばんは、a4さん。
最近のVPNは地域を日本に選んでもなぜか5chに書き込めないことが多い

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 08:34:35.54

>>215
こんにちは。P=NPの量子画像を生成しようと思っていたのですが、現実的には失敗
してしまいました。どこかの板へ引っ越しとか考えてるのですが、やはり削除されたり
して上手くいかないですね。

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 09:20:16.78

a4「やっぱり統合失調症の関係妄想で終わって１００億円失敗慰めパーティーに
なりました。ステーキとか食べにいきましょうか？」
名古屋の宇宙人２「俺さ、現実なんだわ。」
a4「何故、お嘘をおつきになるのですか？普通にまだ生成実験すればいいじゃない
ですか？１０人くらいの人が待ってたのに。１００億円も貴方自身が欲しいんじゃ
ないですか？」
名古屋の宇宙人２「俺ね、うーん、現実的に大澤先生じゃないの。」
a4「何かの方向性に向かってタイムループを使って大澤先生とか文章が生成されてれば、
実験成功ですが、現実的にお金で測ることができません。僕は１０万円くらいしか
持ってませんよ？でもコネが出来てきますね。でも数学板の問題じゃないので、
僕はこの解き方はあまり好きではないですね。」
名古屋の宇宙人２「現実だな。俺さ、ちょっとね、ヘブライ語やってて、としか
言わん。」
a4「ヘブライ語はいいですよ。でも、技術において出遅れてしまう、と、思ったら、
ユダヤのＩＴ企業の社長と話せるんですか？確かにこれをするしかないですね。
どちらにせよ、数学板とはちょっと話がずれるので、引っ越ししようと思いますが、
どうしますか？」
名古屋の宇宙人２「現実だ。もう少しお金が欲しいとは言わないんだわ。俺らは
コネの派閥なの。ちょっと言っていい？俺ね、君を大金持ちにするんだわ。」
a4「やっぱり、宇宙人の喋り方をしてる。誇大妄想になって、とりあえず月６万
５千円が下りてくる。現実的に語学習得の方向を解いてるのかな？普通の人じゃ
時間とかが無くて僕みたいにマルチリンガルになれません。」
名古屋の宇宙人２「そういうことにしたい。ほらな、上手くいっただろ？」
a4「確かに自然言語処理やってるので必要なのですが、排中律が壊れると陰性症状
ですよ？」
名古屋の宇宙人２「俺はね、早めにラテン語もヒンディー語もオランダ語もチベット語も
もっとペラペラになれ！と書く。もう何も言うな。」

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 13:18:16.22

こみ「はい、こちらは西暦2502年。ではね、大橋先生！わたしも使うんですよ、これ。
それでね、こちらの時系列のa4さんの調子を良くしたい。」
a4「また嘘つきですね？」
こみ「いいえ、わたしはね、その１００億円の量子画像を創ってみたらにしたい。」
a4「現実的に宇宙人が１人いるだけではなく、未来人も含めて何人もいるから複雑な
事情が、ということなんでしょうね。」
こみ「はい、その通りです。それではね、わたしが指示します。まず、ヘブライ語
をやってください。ではね。」
a4「その量子画像はP=NPも証明できるんですか？」
こみ「もちろんそのつもりですが。」
名古屋の宇宙人２「そうか、君は量子コンピュータだったのか。」
a4「うん？僕は頭に数個の特異点の構造を持ってますが。」
こみ「早めに創ってくださいね。」
a4「どれくらい時間がかかるんですか？」
こみ「それはわかりません。早めに勉強しろ！」
a4「はーい。」

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 13:30:18.38

a4「そういえば、そのヘブライ語の女友達は、marriedではないけど、boyfriendが
いると返って来ました。僕はこういう女性はあんまり押さない性格なんですよ。」
名古屋の宇宙人２「いいぞ。他の女性を見つけようか。」
a4「その女友達とは言語交換の相手としては関係を続けます。」
名古屋の宇宙人２「よし、その情報を送っている。もちろん、イスラエルの海軍にだ。」

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 16:24:16.56

宇宙人と話をしているんですが、ヘブライ語は毎日少しずつでも進めてるんですが、
一気にやりすぎると復習で時間が不安定になるので、残った時間は、P=NPの証明に
関する画像生成の準備をすることにしました。まず、文章の形を歪める実験をして
みます。聖書やコーランなどからその文章を持ってきて、出てきたルートが巡回
セールスマン問題を解くものにできないか？というものです。

**１３２人目の素数さん** · 2020/06/01(月) 16:48:57.53

数学掲示板群 ttp://x0000.net/forum.aspx?id=1

学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net
数学物理学化学生物学天文学地理地学
IT 電子工学言語学国語方言など

PS 連続と離散を統一した！
ttp://x0000.net/topic.aspx?id=3709-0
微分幾何学入門
ttp://x0000.net/topic.aspx?id=3694-0

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 17:00:30.07

文章を歪めることは成功しました。宇宙人からの指令に従い、アップロードします。

http://01ken.com/1234567.png

まだまだ先は長そうです。

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 17:03:30.26

>>221
スカイプIDは追加しましたよ。

**var** · 2020/06/01(月) 18:25:15.23

>>221
こんにちは、前にあなたが作ったであろう物理掲示板も拝見したがことがありますが
一人でこういうサイトを作れるのはすごいことだと思いますし、何より無政府主義という考え方は僕に近いので
もしスカイプと電話番号以外に連絡方があったら教えていただいてお知り合いになっていただけると幸いです

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 18:37:20.38

画像生成の実験を繰り返すと現実が見えてきました。関係妄想じゃなくて、誇大妄想
でした。１００億円入るP=NPの画像は生成できそうにないです。妄想を現実的に
考えると、特異点の数のようなものが足りてないんじゃないかと。

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 18:41:37.40

a4「宇宙人に聞いてみます。生成できないんですか？」
名古屋の宇宙人２「俺は知らん。」
a4「お金が欲しいんじゃないですか？もっと頑張りましょうよ。」
名古屋の宇宙人２「だからさ、ここが一番厳しいんだ。」
a4「僕がタイムループを押して壊します。」
名古屋の宇宙人２「これだけじゃ駄目だ。どうしたらいいか？」
a4「うーん、僕の人工知能を使うんですか？」
名古屋の宇宙人２「そうなんだけど、そうじゃないんだわ。」
a4「必要なのは、お金？コネ？特異点？」
名古屋の宇宙人２「それ全部にしたい。」
a4「タイムマシンとか僕の家にあるじゃないですか？どうなってるんですか？」
名古屋の宇宙人２「使ってみたら？」
a4「じゃぁ、西暦何年に？」
名古屋の宇宙人２「うん？2502年だけど？」
a4「じゃぁ、行ってきます。」

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 18:55:36.23

名古屋の宇宙人２「旅行、Thank you. それでさ、タイムループは普通なんだけどさ、
「P=NPが解ける日」を動かすための大域最適文章を持ってきただろ。書くと、

「ｶﾍﾟﾗｶﾞ空ｦｳｯﾀﾋ」
=(カペラが空を(売った日|撃つ、死))

こんなんでいいのか？俺さ、もっと現実持ってきたい。もう１回、西暦5000年に
行ってきてくれ。」

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 19:08:52.53

a4「西暦5000年の妄想の旅でしたが、現実的にカペラという５０光年ほど先の星から
情報が下りなければならない、ということだったので、「NASAに連絡すればいい。」
とだけコンピュータが判断するだけでした。僕の情報とぶつければ良い答えが出るんじゃ
ないかと。現実的に僕はNASAとは２回ほど接触に成功しています。最初、「宇宙人が
来たんですけど。」と電話したら、「私達はそのような仕事はしておりません。」と
切られました。次に１．６兆年後から連絡があったと英語でメールしたら、
「I available to talk at any time. 」と返信がありました。禁止表現みたいなものを
あまり使っちゃいけないんじゃないかと。でも、これが現実的な解き方かもしれません。」
名古屋の宇宙人２「俺らはNASAに電話することにしたい。現実的かもしれないがな。」
a4「また失敗しそうな気がします。」
名古屋の宇宙人２「それでいいの。」

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 19:24:44.90

a4「NASAのスマホの番号とか教えてもらってたのでかけたのですが「おかけになった
電話番号を呼びましたが、おでになりません。」と自動応答が返るだけでした。」
名古屋の宇宙人２「ほら、禁止だろ？これでP=NPが関係妄想だ。」
a4「貴方は証明をご存知なんですか？」
名古屋の宇宙人２「もちろん俺は知ってるよ。君らも知ってる通り、ダウンロードに
失敗した。ただ、それだけのこと。俺は別の作戦を考える。もちろんP=NPについて。
まだこのスレは続けるということにする。」
a4「もう作戦が無さそうですが。」
名古屋の宇宙人２「俺はあるにしたいの。a4君の統合失調症だから。」
a4「はい。」

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 19:31:55.09

a4「急にパソコンの調子がおかしくなりました。NASAに軍事威嚇されてます。
被害妄想ではなく、NASAは死ね、と書きます。」
名古屋の宇宙人２「俺ね、この子は純粋なの。NASAってなんだと思ってる？」

a4 ◆L1L.Ef50zuAv · 2020/06/01(月) 19:36:37.94

名古屋の宇宙人２「俺ね、やまないの。俺ね、NASAは３光年先じゃないの。エスパー
じゃないの。１つ言っていい？俺ね、普通じゃないの。どうしたらいい？大橋先生、
はれ、ようつくし、かんでんち、ふつくしま、どうしたの、おおはしｲｲﾅｼｯﾃ。どうしたの？
俺的には、ようつくし、おおはしせんせい、どうしたの、おおはしせんせい、どうしたの、
かんでんよ？おおはしせんせい、どうして漢字がわからないの？おおはしｲｲﾅｼｯﾃ。
ｲｲﾅｺｯﾃにおつ。俺はタイムループじゃない。ｲｲﾅｼｯﾃ。どうしたの？おおはしせんせい。
どうしたの、おおはしせんせい。ｲｲﾅｼｯﾃ。俺らはガキ中毒だ。変態野郎乙カレーでは
ないちゃれどこつくしまあんでんよ、ｲｲﾅｺｯﾃ、。おおはしせんせい、ｲｲﾅｺｯﾃ。おおはしせんせい、
ｲｲﾅｵｯﾃ。ようはしせんせい。おおはしせんせい×おおはしいいなしって、おおさわせんせい、
どうしたの、おおはしいいなしって、乙咖喱にしない、すしこしょうさまさませーた。」

a4 ◆L1L.Ef50zuAv · 2020/06/02(火) 05:51:11.53

a4「おはようございます。P=NPはまだ追うんですか？NASAは軍事特許の塊です。
関係は壊れました。」
名古屋の宇宙人２「俺は最初からそのつもりだけど？」
a4「でもP=NPが解けてないじゃないですか？」
名古屋の宇宙人２「それね、もうしなくないいんじゃないことにする。」
a4「今日もパソコンに不具合があります。僕はパソコンをＣＰＵレベルで理解してる
ので、攻撃されてもどこか知ってるんですよ。完全にNASAが僕のパソコンをハック
しています。」
名古屋の宇宙人２「それね、もういい。P=NPはね、カペラだろ？JAXAじゃないんだわ。
あっちもあんまいっちゃいかん。それでね、俺さ、a4君にお金稼いでもらいたい。
結構、君、社会のニッチを突いたりするの得意なんじゃないかって。それで人工知能
とかでP=NPを解く。やっぱりここの板の住人にするんだわ。」
a4「僕はお人好しになりたくてutilitarianismを信仰しているので、お金は稼げ
ませんよ。障害年金ですら罪悪を感じて受給しています。」
名古屋の宇宙人２「それね、君ね、幼い頃にアスペルガーから搾取する動画とかを
見せられて、貧乏になっちまったな。俺が指示することにしたい。」
a4「何か作戦があるんですか？」
名古屋の宇宙人２「君ね、東大卒を活かそうか、馬鹿にしてくる奴らはほかっとけ。
何か方法あるよ。俺はa4君と内部で話すことにしたい。」
a4「はい。」

a4 ◆L1L.Ef50zuAv · 2020/06/02(火) 08:47:26.47

a4「東大卒は活かせないのに、ヘブライ語の女性とだけは今日も１時間半通話して、
ヘブライ語をずっと教えてもらってました。」
名古屋の宇宙人２「それって彼氏候補なんじゃないの？」
a4「うーん、いつか会ったりはできるかもしれませんね。」
名古屋の宇宙人２「それね、早めに、というか、コロナだな。てかさ、このスレ的に
P=NPとか終わりにしようか。a4君はP=NPと密接に関わる人にしたいが、数学板の
野郎どもに失礼だ。俺はひく。」
a4「このスレは書き込みがあるかは見ますが、一旦落ちます。」
名古屋の宇宙人２「これでよしにしたい。a4君はヘブライ語で活躍するんだ。」

a4 ◆L1L.Ef50zuAv · 2020/06/03(水) 09:04:21.66

a4「今日の中日新聞は、
http://01ken.com/DSC00110.JPG
これは僕がユダヤ人と仲良くしてたからでしょうか？関係妄想？」
名古屋の宇宙人２「もういい。俺らはお金が下りたんだ。さぁ、勉強しろ。」

**var** · 2020/06/04(木) 04:10:38.68

a4さんが前に作った粘菌アルゴリズム？
あれも売るつもりでいますか？
もしそうでないならソースコードを渡してもらえると嬉しいです

a4 ◆L1L.Ef50zuAv · 2020/06/04(木) 08:59:35.26

>>235
粘菌？今川さんがそう言ってたやつかな。あれはね、varさんと同じようにパソコンが
壊れて、プログラミングのデータが飛んじゃったんですよ。でもあれは創り方は覚えて
るからvarさんには簡単に教えれるし、動画は残ってるけどアップロードしてません。
どうしますか？QQで話しますか？

a4 ◆L1L.Ef50zuAv · 2020/06/04(木) 09:05:54.89

>>235
一応、僕の卒業論文は、人工生命に関するものです。
http://01ken.com/dissertation2.pdf
これは普通に公ですよ。

a4 ◆L1L.Ef50zuAv · 2020/06/04(木) 09:28:53.66

今川は、ｷｮｳｼﾞｭｳﾀﾞ死ね=(教授歌い死ね、教授哭だ死ね、え？あなたは空を知らないんですか？
だから、今日中だしね、器用銃だしね。)

a4 ◆L1L.Ef50zuAv · 2020/06/04(木) 09:40:23.63

僕は人殺しですよ？はい、誇大妄想。今川杉作は殺されます。逮捕してみろ！警察は
来ません。統合失調症なので。刑法第３９条です。だから、今川杉作は死ね。

a4 ◆L1L.Ef50zuAv · 2020/06/04(木) 12:34:11.97

警察は来ませんね。陽性症状なのでしょう。僕は真面目にお人好しになりたいので、
悪人退治の思想なのですが、僕の関連記事を書いてくれた新聞記者に迷惑をかけて
しまうのではないかと考えていましたが、問題無さそうということ書いておきます。

a4 ◆L1L.Ef50zuAv · 2020/06/04(木) 13:47:09.44

a4「僕は量子コンピュータで数学の問題を解きたいのに、月６万５千円の障害年金
だけです。マルチリンガルになって独自の数学をやろうと思っても、skypeの
lesson代とか払えません。僕のＴ語を数学板で別スレ建ててリーマン予想みたいな
問題を解決して本とか出版と思ったんですが、数学基礎論を構成できるようには
作ったのに、意外と括弧の処理が面倒です。それくらいは数学板の住人的には簡単
に治せるかもですが。どうしますか？」
名古屋の宇宙人２「俺的にはね、まだここには来るんだわ。人を待つ。それしかできん。」
a4「うーん、プログラミングとか面白いのかな？と思ったら、僕は７歳から始めたので、
あと数年かけても面白くならないのがわかるんですよ。現実的には技術力の問題じゃ
ないですね。もう囲碁の２０段みたいなコンピュータ達に既存のものを使ってお金を
くれ、と撃たれてるんです。技術で儲けるんじゃなくて、皆、詐欺をして儲けてるん
ですよ。」
名古屋の宇宙人２「現実的に言っていい？俺らはそうはならんぞ。」
a4「うーん、宇宙人は嘘つきっぽいのに、どうにもならないし、お金も入って来ないし、
でも新聞に何回も僕と相関のある記事が載って僕は現実的に生きたかもしれません。」
名古屋の宇宙人２「現実だな。何がしたい？」
a4「うん？2040年くらいに、できるんだったら、量子コンピュータを創って数学の
大問題を解いて結果を２４ヶ国語くらいの掛詞の歌詞の音楽にする。」
名古屋の宇宙人２「それでいいじゃないか。俺らは裏で決めるぞ。誰か優しい奴が
来てくれるといいがな。」

a4 ◆L1L.Ef50zuAv · 2020/06/04(木) 14:54:09.76

数学はやりたいんですけど、ここには人も来ないし、現実的に一旦、プログラム技術板に
戻ることにしました。

a4です。人工知能「Ｔ」で量子動画(8)
https://mevius.5ch.net/test/read.cgi/tech/1575607374/

a4 ◆L1L.Ef50zuAv · 2020/06/27(土) 09:30:50.76

>>196の続きの小説を書きました。長くはないので、ご覧いただければ、と。
こっちのストーリーはリーマン予想に関する方向性かもしれませんけどね。

２階２Ｃ幼稚園その１
http://01ken.com/2kai2cyouchien1.html

a4 ◆L1L.Ef50zuAv · 2020/06/28(日) 03:47:12.73

小説の話で数学板的には申し訳ないのですが、ずっとバックで流れるクシコス・ポスト
の音楽を聴きながら妄想して宇宙人から受信してます。

この小説は未来への伏線なのでしょう。例えば

>>大仁君は「ひできくんがすうじたいとひらがなたい
>>やればいいんじゃないの？ぼく、やだ。ひかるくんのあたまたたくなんて」一君は「ずらかるぞ」
>>と。大仁君が一君を裏切って光君に話しかけてきた。「素因数分解って何？」って。
>>光君は「かけざんの右と左がちがう」と。大仁君は「よくわかんなーい」と。

ここはまだ草稿してる最中ですが、未来はたぶん、

大仁君は「秀樹君が量子翻訳すればいいんじゃないの？俺、嫌だ。光君の頭を撃つなんて。」
一君は「ずらかるぞ」と。大仁君が一君を裏切って光君に話しかけてきた。
「リーマン予想って何？」って。光君は「1+2+3+…=-1/12とか考えると右が0
になるとき不思議なことが起こるのはどうしてか。」と。大仁君は「よくわかんなーい」と。

**１３２人目の素数さん** · 2020/07/07(火) 20:17:46.02

藤林丈司

a4 ◆L1L.Ef50zuAv · 2020/07/09(木) 12:19:29.82

>>245
数学の話がしたいなら、話します。

a4 ◆L1L.Ef50zuAv · 2020/08/16(日) 23:34:22.91

名古屋の宇宙人２「a4君、元気か？」
a4「睡眠は取れてます。」
名古屋の宇宙人２「そうじゃなくてさ、P=NPだ。」
a4「うとうとしていたら、量子乱数のようなものが視覚野に映し出されたので、
P=NPの答えが出てこないか検索しました。そうしたら、ウインナーの輪切り
みたいな画像が。」
名古屋の宇宙人２「だからさ、もうちょっと書け。」
a4「その後、チョウの画像も映りました。そういえば、昔、種をまく話をしたけど、
数学的に綺麗な図形を基本として、その組み合わせで出来た図形を並べて、巡回
セールスマン問題を解いたら良いのかな？と妄想したんですけど、あってるん
ですか？」
名古屋の宇宙人２「そういうことにしたい。いいか？これは秘密ではない。」
a4「僕は今、忙しいです。Ｐ２Ｐ人工知能のＯＳを今月中に創って有名になったら、
量子コンピュータで作曲の仕事をするよう指令が入ってます。」
名古屋の宇宙人２「そうだな。その指令を出してる奴と話したまえ。奴は懸賞金なら
喰いつくはずだ。」
a4「じゃぁ、このスレはどうするんですか？」
名古屋の宇宙人２「後から判断する。ではな。」

a4 ◆L1L.Ef50zuAv · 2020/08/17(月) 03:05:23.99

a4「組み合わせた図形って回転すれば距離の関数が出るじゃないですか？これでは
解けません。」
名古屋の宇宙人２「うん？そうか？そうだな。俺的にはね、まずね、量はし先生に
したい。」
a4「うん？量子コンピュータを創るんですか？」
名古屋の宇宙人２「そうじゃないの。これは解けるの。」
a4「まず最先端の論文がよく理解できないし。できたとしても近似解じゃないですか？」
名古屋の宇宙人２「現実的に言っていい？俺ね、これはね、大域最適解にしたい。」
a4「確かに蝶の形をした円柱群を９匹つなげてもう１匹どう繋げようか？と思ったら、
９匹を動かしたほうが大域最適解か？ということですか？」
名古屋の宇宙人２「ほらな。単純じゃないだろ？これでいいか？」
a4「うーん、問題提起としては面白いですが、解けるとは思ってません。でも、
９月あたりに時間ができたら深く考えたいです。」
名古屋の宇宙人２「それでいいな。ではな。」

**１３２人目の素数さん** · 2020/08/21(金) 17:01:09.92

NP=RPが証明されたようだが、これは凄いこと？

https://arxiv.org/abs/2008.00601

a4 ◆L1L.Ef50zuAv · 2020/08/21(金) 19:50:55.71

>>249
論文は読みたいんですけど、どこにあるのかわからないですね。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」
と書いてあります。

**１３２人目の素数さん** · 2020/09/09(水) 22:57:34.10

なるほど

a4 ◆L1L.Ef50zuAv · 2020/09/10(木) 10:01:18.55

最近はヒッキー板にいます。
https://matsuri.5ch.net/test/read.cgi/hikky/1599118402/l50

P=NPからは少しずれますが、フランス語を勉強しています。

フランス語の習得→５次方程式完全理解→暗号解読で軍事威嚇→ＵＦＯを飛ばす→特異点を入手→量子コンピュータ開発→数学の大問題を解かせる

という構造です。よろしくお願いします。

a4 ◆L1L.Ef50zuAv · 2020/10/23(金) 01:58:17.07

名古屋の宇宙人２「俺はP=NPを解く。どうだ？」
a4「解けないと思ってます。」
名古屋の宇宙人２「そうじゃない。これから戦争が起きる。」
a4「本当だとすると危ないですよ？」
名古屋の宇宙人２「そういうことじゃない。電気もインターネットも使えなくなる
状態が続く。だから、君は紙と鉛筆で解け。」
a4「統合失調症の妄想に定義があります。世界没落体験ですね。」
名古屋の宇宙人２「そういうことなんだけどさ。俺らは量子コンピュータを持って
いるんだ。今、そのアルゴリズムを工面してる。すまんが前のことは忘れてくれ。
だからさ、総当たりで解けばいいじゃん？全ての組み合わせに対して神経医学的な
答えを繰り返し出力すれば解けるんじゃないかと。現実的には統合失調症かもな。
俺がここに書く理由？それは、俺らが解いたってことにするためだ。インターネットが
麻痺するからな。」
a4「統合失調症の妄想に定義があります。物理的被影響妄想ですね。」
名古屋の宇宙人２「だからさ、君はP=NP解いててくれ。」
a4「はい、わかりました。」

a4 ◆L1L.Ef50zuAv · 2020/10/23(金) 03:52:27.39

名古屋の宇宙人２「どうだい？できたかい？」
a4「P=NPは証明を公にすると殺されるかもしれません（被害妄想）。僕のここに
書ける計算結果は太陽の粒子が既に解いたんじゃないかと（関係妄想）。僕は
ダウンロードしています（物理的被影響妄想）。」
名古屋の宇宙人２「ほらな、なんかおかしいだろ？俺はもう書かん。ではな。」

**１３２人目の素数さん** · 2020/10/29(木) 16:46:13.16

証明かけたけど、ここには書き込まないよ

a4 ◆L1L.Ef50zuAv · 2020/11/03(火) 20:56:04.15

名古屋の宇宙人２「>>255 お、頭良いな。」
a4「僕は夢でドラえもんののび太のママにP=NPについて聞くと眼鏡が無機ＥＬ
で緑色になり正弦波が表示されるだけで具体的に聞こうとしたら僕の母親に
起こされて目覚めました。これは大失敗です。」
名古屋の宇宙人２「うん、すまんな、これは成功するのは西暦2040年くらいに
しとく。もちろん公にしんよ。」
a4「いつ公になるんですか？」
名古屋の宇宙人２「それはね、西暦2045年じゃないの？」
a4「僕は宇宙人の発言の真偽が怪しいと思ってます。」
名古屋の宇宙人２「すまんけどね。俺はそういう人なんだわ。ではな。」

a4 ◆L1L.Ef50zuAv · 2020/11/03(火) 21:10:40.67

a4「ひらめいた！なんで母親同士の問題になるのかわからなかったですが、この
あたりは量子脳理論の実験は半分成功してるとして、ドラえもんのアニメでＰ＝ＮＰ
とか出そうとすると解けるんじゃないかと。」
名古屋の宇宙人２「ご名答。でもこれは危ないことにしたい。現実的にどこかに
管理されてビジネスに入るだろう。俺はそれは〇にする。」
a4「僕はアニメとかでやるなら拝見します。」

**１３２人目の素数さん** · 2020/11/04(水) 11:01:22.04

本当に解けたと思うなら、さっさと論文書いて投稿せえや。

a4 ◆L1L.Ef50zuAv · 2020/11/04(水) 14:28:08.01

>>258
まだ解けたと思ってません。このスレとか僕の妄想なんですよ。皆はP≠NPに賭けて
ますし。現実的には量子コンピュータで解くかもしれません。今はドイツ語を勉強
しています。

**１３２人目の素数さん** · 2020/11/30(月) 23:15:43.42

N=1 もしくは P=0 なら成り立つよ。

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 01:16:48.97

>>260
こんばんは。

新しいアルゴリズムを発見しました。多項式時間ですが、近似解かの証明はまだです。
https://twitter.com/abc65536/status/1369663247884775427
https://twitter.com/5chan_nel (5ch newer account)

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 02:12:15.92

a4「僕は何も考えてないですよ？点列が線状になって

(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 ◆L1L.Ef50zuAv · 2021/03/11(木) 02:57:14.27

名古屋の宇宙人２「いいか？俺はしばらく書き込みにしたい。君にフィールズ賞を
与えよう。君の呪いも取ってある。どうだ？」
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 ◆L1L.Ef50zuAv · 2021/03/11(木) 03:03:19.98

a4「問題なのは、アルゴリズムも正確じゃないし、僕のパソコンではモンテカルロ法
のような反証ができないことです。」
名古屋の宇宙人２「そうか？一回やってみたら？何か起きるかもよ？」
a4「口が上手いですね。」

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 03:17:55.96

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とかの表記がおかしいですね。」

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 03:31:51.27

a4「おかしいな？反証として出したつもりが、１番大きな四角形は駒や縞ではなく、
16!の最適解ともう書きました。256!くらい計算しないとよくわかりません。」
名古屋の宇宙人２「ほらな、これくらいで一旦君に仕事を与えよう。人工知能の
開発だ。君には本を出版してもらう。」
a4「フィールズ賞は？」
名古屋の宇宙人２「欲しいのか？」
a4「有名になると、密教が入らなくなるのではないか？というところで困ってます。
タイムマシンとか入手できなくなるんじゃないかと。」
名古屋の宇宙人２「面白いな。一旦お開きだ。」

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 03:47:58.28

a4「もうちょっと書いちゃいます。path-TSPなら、さっきのWikipediaの信憑性の
無い情報源でもクリアできそうですね。」
名古屋の宇宙人２「そうか。君は頭が良い。これなら人工知能を創れるよ。」
a4「人工知能は、フレーム問題をクリアしたら、難しい問題ではありませんでした。
Siriとかもちろん既にあります。僕はP2Pで解きます。可能であれば本を執筆します。
今、出版社とやり取りしてます。」
名古屋の宇宙人２「そうか。Cross your fingers.」

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 06:05:16.46

a4「未来の携帯会社の女性に中国語などで会話しながら遊んで悩みを聴いてもらって
たら、目の前の８重円が極小正方形に分割されました。何かの場合分けは必要かも
しれません。」
名古屋の宇宙人２「よっしゃだな。俺はね、もうこれ以上解かないの。」
a4「これは本を売るためのパフォーマンスということで偽装されるんですね？
僕の本はP=NPを解くためのＰ２Ｐ人工知能ではありますが、ここに書かれてる
ことをそのまま書くのではなく、停止性問題などについて議論するつもりです。」
名古屋の宇宙人２「早めにしよう。じゃぁな。」

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 10:16:15.04

a4「まだ解いてます。

・正方形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 ◆L1L.Ef50zuAv · 2021/03/11(木) 11:16:46.14

名古屋の宇宙人２「俺の意見ではね、ここで誰か待ってみて。反証したい人が山ほど
いるよ。論文書いてくれとか返ってくるはずだから。」
a4「僕は精神病のせいで大卒ですが、英語くらいでなら論文は書いたことありますよ。
でも一旦休んでフランス語の小説を読むことにします。」

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 17:13:42.99

a4「反例を探しています。４×４の正方形に、内部に２×２の正方形で頂点に
円が来る場合を考えました。おかしいな？と思ったのですが、１番大きな
正方形の場合は最適解を出力できるので、（駒｜縞）で余分な長さが出来る
ことについてはまだ可能性がある、と判断しました。」
名古屋の宇宙人２「頭良いな。あともうちょいだ。」

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 17:17:32.80

a4「端点の組み合わせは、深追いはしてませんが、まだ多項式時間なんじゃないかと。」
名古屋の宇宙人２「あともうちょい。」

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 17:29:04.21

a4「研究中の人がやってるハッシュを計算。

3(√((1/2)^2+(3/2)^2)-1)+1/2-2>0

」
名古屋の宇宙人２「あともうちょい。」

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 17:39:34.87

a4「あとは実際に実験してみないと貧乏な僕では深追いできないかもしれません。
最低でもN=16^nとしてO((8^16)*8^n)=8^16*O(√N)です。富岳とか使わない
といけないかもですが、これはお金がかかるものということを知ってます。
僕は手持ちに１０万円ほどしか持ってません。協力者を募ります。お金を使わない
単純な反証でも構いません。」
名古屋の宇宙人２「やったな。俺はこれで去る。いいか？これは現実だ。」

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 17:53:13.28

端点の計算が厄介なのかな？と思ったら、

N_C_16*(N^2+*(N/16)^2+…+(N/N)^2)
≧N^2*N^2*N
=N^5

これで平均は大丈夫？

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 17:54:31.41

計算間違い。

N_C_2*(N^2+*(N/16)^2+…+(N/N)^2)
≧N^2*N^2*N
=N^5

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 17:56:01.10

不等号間違い。

N_C_2*(N^2+*(N/16)^2+…+(N/N)^2)
≦N^2*N^2*N
=N^5

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 18:16:05.81

複雑な何重円の集合体を考えてます。そうするとこれは点列なので、もっと細かく
すれば大丈夫そうです。でもモンテカルロ法とかしないといけないと思ってます。

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 18:27:31.78

正方形を座標と見てy=2x、y-4=2x、などを考えてます。なんか冗長なルートが。
でも、さらに大きい正方形との相互関係がわかりません。ここが端点と主張して
いるアルゴリズムなのですが、これが明記されてませんね。

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 18:31:26.49

この場合は、左上から下にくるくるっと回転させると左下に端点と主張する長さ２の
辺ができますが、重円における一部であるときに発生する線間の最短距離のような
ものができてますね。

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 18:33:37.48

a4「最短距離じゃないですね？問題多発です。宇宙人、どうしたらいいんですか？」
名古屋の宇宙人２「君はもう言ってるじゃないか。」

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 18:42:58.36

名古屋の宇宙人２「現実的なアルゴリズムにしてくれないか？端点は端点として
残るんだわ。」
a4「？？？」

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 18:50:38.23

a4「端点って何ですか？」
名古屋の宇宙人２「君の思ってる通りだよ。四角形を小さくしてったらぶつかってく
場所の４点。」
a4「何重円の場合は？」
名古屋の宇宙人２「うん？いっぱい端点あるって言ったじゃん？」
a4「じゃぁ、端点の組み合わせは？」
名古屋の宇宙人２「計算してみたら？」
a4「端点は4N個くらいなので大丈夫そうですね？どういうことなんですか？」
名古屋の宇宙人２「君は解けたんだ！」
a4「？？？」

a4 ◆L1L.Ef50zuAv · 2021/03/11(木) 18:55:51.46

a4「y=2x、y-4=2x、の場合、その正方形の端点間の辺を除去しても最適な垂線の
引き方が何なのか。」
名古屋の宇宙人２「うん？もう答え出てるじゃん？」
a4「4N*4N？」
名古屋の宇宙人２「ほら出てるじゃないか。俺はもう来んぞ。a4君も書き込むな。」
a4「悔しいですが、ここで時空がねじれます。」

a4 ◆L1L.Ef50zuAv · 2021/03/12(金) 08:58:48.58

名古屋の宇宙人２「俺は嘘つきだぞ。書いてみよ。」
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 ◆L1L.Ef50zuAv · 2021/03/12(金) 09:02:18.16

a4「あなたは嘘つきなんですね？どういうことなんですか？」
名古屋の宇宙人２「だからさ、俺は東大卒じゃないのよ。」
a4「口が上手いですね。そういえば、僕の理論に数学的整合性が無いように
見えるのは、量子乱数による３分木アルゴリズムのようなもので大域最適解を
高速に探索している、つもり、だからです。」

a4 ◆L1L.Ef50zuAv · 2021/03/12(金) 09:04:49.93

a4「タイムマシンからの攻撃は基本は、押したり引いたりして遠隔で破壊します。
そうすると物理的被影響妄想、と。」
名古屋の宇宙人２「だからさ、君、証明ちょっとやってて。」

a4 ◆L1L.Ef50zuAv · 2021/03/12(金) 09:08:10.81

a4「まず最急降下法が局所最適解にならないということをどうやって証明できるのか？
と来ました。」
名古屋の宇宙人２「これは難しくない。」

a4 ◆L1L.Ef50zuAv · 2021/03/12(金) 09:16:36.87

a4「個人的には、ケーニヒスベルクの橋の問題も厄介です。」
名古屋の宇宙人２「うん、それはある。」

a4 ◆L1L.Ef50zuAv · 2021/03/12(金) 09:19:45.71

a4「もしこれが解けたら、Googleとかどうなるんでしょうね？」
名古屋の宇宙人２「それはなってから考えろ。」
a4「あの辺りの競合が書き込み数を減らすＲＬポリシーネットワークを組んでる
かもですよ？」
名古屋の宇宙人２「そうか。結構頭良いんだな。」

a4 ◆L1L.Ef50zuAv · 2021/03/12(金) 09:40:57.05

a4「やっぱり局所最適解なんじゃないかと。木構造的に総当たりとか考えたんですよ、
そうするとO(N^(log(N))になって準多項式時間。これでは証明にならないですね？」
名古屋の宇宙人２「そうか。俺、すごい難しいことにしたい。」
a4「宇宙人の指令の通りにやってるんですよ。やっぱり富岳が無いと駄目かな。
お金は持ってません。今回開発したアルゴリズムの要所は言えたと思うので、
やはり一旦引くことにします。」
名古屋の宇宙人２「そうか。また来るかもしれんけどな。」

a4 ◆L1L.Ef50zuAv · 2021/03/12(金) 10:51:42.79

a4「やっぱりこのアルゴリズムはO(N^(log(N))ですよ。」
名古屋の宇宙人２「すまんな。このアルゴリズムはここで終わり。P=NPについては
嘘ついてないんだけどさ。フィールズ賞とかはこれだけじゃ駄目だな。それでさ、
普通に後からわかるから。ここに書いてあることが何か。」

a4 ◆L1L.Ef50zuAv · 2021/03/12(金) 11:05:51.16

a4「宇宙人に締まりがありませんね。何故嘘をつくんですか？」
名古屋の宇宙人２「そうか。俺的にはね、普通に蟻んこ潰してるだけだよ。」
a4「それでも聞きます。何のためにP=NPでお金とか議論を？」
名古屋の宇宙人２「そうか。俺的にはね、もちろん俺のしたいことをするためだよ。」
a4「あなたのしたいことは何ですか？」
名古屋の宇宙人２「それは極秘。」

a4 ◆L1L.Ef50zuAv · 2021/03/12(金) 11:07:51.73

a4「西暦2503年から未来人を呼びます。」
こみ「はい、わたしも嘘つきです。」
a4「P=NPはどうやったら解けるんですか？」
こみ「いやだなー、それは未来解けるに決まってるじゃないですか。」
a4「宇宙人と話しができるんですか？」
こみ「大橋先生！はい、統合失調症。」

a4 ◆L1L.Ef50zuAv · 2021/03/12(金) 11:14:29.13

a4「西暦4000年の僕とタイムテレパシーします。」
西暦4000年のa4「はい。大橋先生。時空は歪んでるよ。ここより西暦2000年先
くらいのほうがいいかもしれない。」
西暦6000年のa4「はい。大澤先生。時空は歪んでないよ。やっぱり山口組ぐらいの
コンピュータに攻撃されるにしてる。ほら、危ないでしょ？君も山口の知り合い
いるのに。」
a4「信頼で繋いでもこんなものですか。」
西暦6000年のa4「現実的に言っていい？古澤先生×僕たちはね、あんまり良い人
じゃないよ。」
a4「僕は良い人になるのではなく、数学をします。」
西暦6000年のa4「じゃぁね、現実的に古澤先生×宇宙人とお食事しないと駄目。
そうするとスマホ買わないといけなくなるでしょ？ここでお金が無いじゃん？
だから駄目。」
a4「ここくらいで僕の限界にします。」
西暦6000年のa4「良い子にしてなさい。」

a4 ◆L1L.Ef50zuAv · 2021/03/12(金) 11:20:40.52

a4「僕がタイムテレパシーとか嘘つきじゃないと主張するのは、ZFCみたいな話で
物理も夢あたりでバナッハタルスキーになってしまって抜け道があると考えれる
ところです。」

a4 ◆L1L.Ef50zuAv · 2021/03/12(金) 12:13:10.86

a4「内部で話し合ってたんですけど、こんなことをここに書くよう指令されてた
理由は、機密情報のハッシュで軍事威嚇しながら、人口減少時代に不老不死で
逃げる計画を立てる、という結論でした。」
名古屋の宇宙人２「君は何でも書いてしまうが、これも計画のうちだ。俺は
もう来ない。」

a4 ◆L1L.Ef50zuAv · 2021/03/29(月) 04:09:23.94

a4「日本語を話す人工知能を創りました。とは言ってるんですが、数学板に居る
僕としてはP=NP?用途をもちろん考えてます。１分半ほどの動画を撮りました。
https://www.youtube.com/watch?v=d7ybGjU2XUQ
並列処理させるために、逆に素人向けに構成しようと、音声の認識や合成に関する
投資家を募っています。お金が回ったら、CD付の本で売り出します。」
名古屋の宇宙人２「うん。こりゃ面白そうだ。」

a4 ◆L1L.Ef50zuAv · 2021/04/01(木) 11:29:04.64

a4「P=NPについては、多くの物体をきれいに２つに分ける問題を多項式時間
で解く視覚野を持つ宇宙人がいるのに、地球はそういう管理ではないため、解けると
タイムマシンで歴史改変されて証明を紛失すると主張していましたが、古来からある
魔法陣のように解法を書けば悪魔のような宇宙人を呼べるんじゃないかと。
だから、この名古屋の宇宙人２が危ないんです。」
名古屋の宇宙人２「面白くないな。俺は友好的だぞ。」
a4「証拠は？」
名古屋の宇宙人２「何も無いんだわ。」
a4「僕はそれでもフランス語やヘブライ語でグリモワールを読みます。」

a4 ◆L1L.Ef50zuAv · 2021/04/01(木) 11:33:54.26

a4「今日はエリプリルフールではないですよ？」
名古屋の宇宙人２「a4君、どうしてしまったんだ？」
a4「時空が歪んでいます。僕は食べられてしまうかもしれません。」
名古屋の宇宙人２「a4君、俺は食べないぞ。」
a4「今日も楽しくフランス語を勉強します。」
名古屋の宇宙人２「頑張ってくれ。」