P=NP

**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「今日も楽しくフランス語を勉強します。」
名古屋の宇宙人２「頑張ってくれ。」

a4 ◆L1L.Ef50zuAv · 2021/04/01(木) 11:47:24.43

a4「たすけてー、すうがくしゃー、そらからうそつきがー！！！」
名古屋の宇宙人２「a4君、心配するな。現実的に言っていい？君は西暦2060年より
前に人生が終わる。そうしたら、別の世界へ行ってもらう。」
a4「僕は不老不死になって数学を解こうと思ってます。それは現代人としての死だと
思ってます。」
名古屋の宇宙人２「だからさ、そこなのよ。今日はこれくらいにして、安心して
勉強しようか。」
a4「今日は頭良くなれないですが、フランス語をやって、残りの時間でドイツ語も
勉強します。望月新一先生のように論文を書けるように。」

a4 ◆L1L.Ef50zuAv · 2021/05/03(月) 13:18:13.99

a4「また騙されながらP=NPを解いてました。TSPは解くのが難しいですが、
PARTITIONなら折り紙を半分に切ってそれぞれをばらばらにすれば、元に
戻せて、TSPの解がいっぱいできると思ったら、PARTITIONから3DMに
戻すところで、s(a_i)=2^(3pq-f(i))+2^(2pq-g(i))+2^(pq-h(i))
とかって数値が出てきて、任意の大きさには折り紙は切れず失敗しました。」
名古屋の宇宙人２「君はこれくらいでMITとかに入れるよ。」
a4「教授からは返信がありません。」
名古屋の宇宙人２「いいか？誰か待ってみろ。」

a4 ◆L1L.Ef50zuAv · 2021/05/03(月) 13:38:00.22

a4「これは、
PARTITION→SATISFIABILITY→3SAT→VC→HC→TSP
なんですか？」
名古屋の宇宙人２「俺は知らん。」

a4 ◆L1L.Ef50zuAv · 2021/05/03(月) 13:40:34.79

a4「これは問題が変形できるのが昔から秘密にされてるのがわかっただけで、
P=NPの証明ではないですね？」
名古屋の宇宙人２「一旦、君、休みな。誰かが解いてくれるから。そうしたら、
カラオケとか行こうよ。」
a4「僕は４カ国語くらいで歌いますよ。下手ですが。」

a4 ◆L1L.Ef50zuAv · 2021/05/03(月) 13:47:52.49

a4「僕はPARTITIONから複雑なTSPの解とか生成して魔法陣で宇宙人を呼んだりしたい
です。」
名古屋の宇宙人２「君さ、なんでWikipediaの画像ってあんなに数少ないの？」
a4「うん？僕は殺されるんですか？」
名古屋の宇宙人２「そういうことじゃなくてさ。君はMITに裏入学だ！」
a4「うん？これは誇大妄想ですね。Wikipediaからこの項目は削除されてますが。
証明できるものはありません。」
名古屋の宇宙人２「だからさ、誰か待ってみよう。」

a4 ◆L1L.Ef50zuAv · 2021/05/03(月) 13:52:54.38

a4「うん？PARTITIONが最急降下すれば、TSPは任意ですか？」
名古屋の宇宙人２「君、核心を突いた。」
a4「うーん、真偽は自明じゃないですね。」

a4 ◆L1L.Ef50zuAv · 2021/05/03(月) 14:24:40.38

a4「これはコンピュータを使ってモンテカルロ計算しなければいけないのでは？」
名古屋の宇宙人２「早めにしなさい。」
a4「うーん、何かがうまくいかなそう。」
名古屋の宇宙人２「俺の言う通りにしろ。」
a4「はい。」

a4 ◆L1L.Ef50zuAv · 2021/05/03(月) 14:43:14.15

a4「Cook's Theoremだけで、計算量が爆発しちゃいますよ。魔法陣はできることには
賭けますが。」
名古屋の宇宙人２「そうか。君ね、どうしてWikipediaはあんなに簡単な画像なのにさ。」
a4「うーん、P=NPの証明にはなりません。」
名古屋の宇宙人２「そうか。君ね、P=NPはTSPじゃないんだわ。」
a4「うん？PARTITION→NDTM→SATISFIABILITYとかで止める？」
名古屋の宇宙人２「だからさ、君さ、よく知ってるじゃん？」
a4「僕は騙されています。」
名古屋の宇宙人２「だからさ、〇」

a4 ◆L1L.Ef50zuAv · 2021/05/03(月) 14:47:41.28

名古屋の宇宙人２「良い方法教えてあげようか。望月新一先生にまたメール
書いてみたら？前、返信あったでしょ？それでMITに行きたいって書いてみて。
これは指令。」
a4「それはできます。失礼にならないようにしたいですが、返信内容はまた
ここに公開するかもしれません。」
名古屋の宇宙人２「じゃぁ、やってみて。」

a4 ◆L1L.Ef50zuAv · 2021/05/03(月) 15:05:42.66

a4「メールはしました。数学は一旦やめて、ヘブライ語の復習をします。」
名古屋の宇宙人２「よし、俺もそのへんでかんぱい。」

a4 ◆L1L.Ef50zuAv · 2021/05/04(火) 19:44:06.99

a4「メールに返信は無いですね。」
名古屋の宇宙人２「そうか。１回、計算してみよ。」
a4「何かが間違ってる気がします。」
名古屋の宇宙人２「それじゃさ、すまん、１回、１番簡単なのだけ計算してくれ。
折り紙を半分に切って、片方をもう半分に切る。これだけだ。」
a4「それで２の３乗通りで表にしたり裏にしたりで普通に半分半分になる答えを
巡回セールスマン問題で表せばいいんですね。今日は眠いので時間かかるかも
ですが、僕の宿題にします。」
名古屋の宇宙人２「やってみよ。」

a4 ◆L1L.Ef50zuAv · 2021/05/04(火) 20:38:00.98

a4「研究してるんですけど、アセンブリ言語と非決定性チューリングマシンの対応
がよくわからないうえに、クックの定理も自明なようで込み入ってます。僕の研究
には何かが足りません。どうしたらいいんですか？」
名古屋の宇宙人２「現実的に言っていい？全部軍事機密だから。」
a4「まだやるんですか？」
名古屋の宇宙人２「あたぼうよ。」
a4「うーん。」

a4 ◆L1L.Ef50zuAv · 2021/05/04(火) 20:44:34.83

a4「まず出た答えは、プログラミングの仕方で、いろんなTSPができることです。」
名古屋の宇宙人２「そうか。こりゃ選び方があるな。いいか？短いものを出す
ようにしろ。」
a4「まだやるんですね。」
名古屋の宇宙人２「君、俺を何だと思ってる？」
a4「嘘つき宇宙人。」
名古屋の宇宙人２「そうか。早めに仕事しろよ。」

a4 ◆L1L.Ef50zuAv · 2021/05/04(火) 20:52:07.13

名古屋の宇宙人２「俺の明暗。SUBSET SUMから直接TSPに変換してみて。君なら
できる。」
a4「うん？」

a4 ◆L1L.Ef50zuAv · 2021/05/04(火) 21:00:20.63

a4「SUBSET SUMは普通O(2^n)ですが、TSPはO(n!)でもヘルドカープのアルゴリズム
は、O((2^n)*(n^2))と書かれてますね。」
名古屋の宇宙人２「そうだな。」

a4 ◆L1L.Ef50zuAv · 2021/05/04(火) 21:52:50.88

a4「やっぱりこんな簡単なアイデアでは、解けてる人がいないことが解けないことの
証明になってますね。」
名古屋の宇宙人２「今日は寝なさい。」
a4「おやすみ。」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 05:52:51.27

a4「おはようございます。TSPからSUBSET SUMに変換する方法を考えています。
TSPがn^2個の行列で表現できるなら、これをそのままn^2個を半分に分ける
問題にして、合計の数を下げていきます。でもこれはP=NPの証明ではないですね。」
名古屋の宇宙人２「あともうちょっとだ。」
a4「？」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 06:23:19.91

a4「ここで整数の最急降下法？」
名古屋の宇宙人２「待った。どうすればいいんだ？」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 06:29:46.63

a4「SUBSET SUMとか普通の問題じゃないかと。ただinteger-TSPに関して、初期値を
エッジの長さを全て１のようなことにして、値を１ずつ変えながら、合計もずらして
走査するだけのアルゴリズムを思いつきました。計算時間は自明ではないですね。」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 06:35:36.74

a4「integer-TSPとか最悪2^nとか思ったんですけど、長さを1,2,…,nみたいに
正規化できないかと。」
名古屋の宇宙人２「a4君、一回実験してみようか。」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 06:38:19.84

a4「これくらいなら僕のVC++でモンテカルロできるかもしれません。n=16くらいで
止まるかもですけどね。」
名古屋の宇宙人２「よし、やってみよう。」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 07:07:09.44

a4「integer-TSPは明らかにNP-completeですが、1,2,…,nと正規化できないところで
一旦止まってます。a1<a2<a3<a4<a5とすると、a1+a5<a2+a3のとき、1+5>2+3。
だから、2^n時間かかりますね？」
名古屋の宇宙人２「そうか。君は何か勘違いしてるな。」
a4「辞書検索のように対数を取るようにすればいいのかな？」
名古屋の宇宙人２「早めにやれ。」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 07:10:43.90

a4「全ての差分を使うアルゴリズムを考えてみました。a_ij-a_klを予め全部調べて、
この数値を使って最急降下します。」
名古屋の宇宙人２「うん。早めにやってみよ。」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 07:33:49.57

a4「やっぱりうまくいかないし。n^2通りからn個を取って、n^4通りの差分を計算
しても、次はn^8通りですよ？」
名古屋の宇宙人２「待った。ここだ。そこはn^4通りだ。」
a4「？」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 07:35:45.60

a4「じゃぁ、計算時間はO(n^8)ですか？」
名古屋の宇宙人２「いいか？モンテカルロせよ。」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 10:08:02.08

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)

などと出ますが、これが最適かもわからないし、計算できないときもあります。」
名古屋の宇宙人２「そうか。俺は終わりにしない。」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 10:13:49.61

a4「こっちの計算結果のほうがトリビアルではないかな。

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 ◆L1L.Ef50zuAv · 2021/05/05(水) 10:20:34.77

名古屋の宇宙人２「俺って何のためにやってると思う？」
a4「数学板の人はわかってないかもしれませんが、上層を含むこちらには
何かのアルゴリズムがありますね。」
名古屋の宇宙人２「そうなんだけどさ。ビル・ゲイツって何考えてると思ってる？」
a4「金持ちなのにコロナが治らない。」
名古屋の宇宙人２「君さ、早めにあっち行ったほうがいいよ。」
a4「解けてないですよ。」
名古屋の宇宙人２「そうか。」
a4「P=NPなんですか？」
名古屋の宇宙人２「そうだぞ。」
a4「普通に証明落とせばいいじゃないですか？」
名古屋の宇宙人２「そうか。君は最短経路のTSPを作れるようになった。これを
一旦成果にしたい。」
a4「乱数をソートして、行列に、小さいあ数字から繋がるようにおけばいいんですね。」
名古屋の宇宙人２「もうちょっと研究して。」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 10:39:37.76

a4「確かに、小さなループを作って、長いエッジを繋げていく手法は、PARTITION
からじゃないのに、別の手法の検算に利用できそうですね。本当ならこのあたりで
論文を書いたりするのですが、僕は正規の研究者ではないので、5chに文献が蓄積
されます。」
名古屋の宇宙人２「今日はここまでにして、ドイツ語とか勉強しててくれ。」
a4「ふーん、なんかおかしいですけど、僕が証明を貰うとすぐ公にしてしまい、
タイムマシンが歴史改変するのでしょう。」
名古屋の宇宙人２「君の言う通りだからさ、今日はここまで。」
a4「ＭＩＴ裏入学とか、フィールズ賞とか、手に入らないんですか？」
名古屋の宇宙人２「それは後から用意する。現実言っていいか？君は大金持ちだ！」
a4「誇大妄想ですね。今日もハラール醤油で卵ご飯を食べたりします。」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 11:13:21.03

a4「宇宙人から数学板へ本当の情報のメッセージとか無いんですか？」
名古屋の宇宙人２「そうか。俺は面白くない。P≠NPスレとか意外と立っとらんな。
これはぶつけて戦わせたほうがいいんじゃないかと。」
a4「うん？日本は遅れてますね。」
名古屋の宇宙人２「そういうことなんだわ。」
a4「確かに僕は今回何もしてないようで「PARTITIONは乱数による問題と解を
同時に用意できることも考えられて公になったであろうが、一般化された行列で
表されるTSPにおいても、単純にNP-completeというだけではなく、同様に小さい
ループを初めに構成しておく手法によって、量子焼きなましなどの検算といった手法に
応用が期待できるであろう。」と論文に書けますよ。」
名古屋の宇宙人２「これさ。貴方は頭良い。何故なら、他の人がこれで解いたら、
貴方も有名になれるからだ！」
a4「ふーん。普通に証明くれないんですか？でもエリア５１みたいなところから
君にあげるよとか出てきたら、何も面白くないですね。死ぬかもしれません。」
名古屋の宇宙人２「そうか。現実的に君はそういうことだ。」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 11:35:11.25

a4「名古屋の宇宙人２が面白くない人なら、証明をください。」
名古屋の宇宙人２「待った。これは思ったより長かった。現実言っていい？
どのように証明されても、ここの文章は未来人の知ってる文献になってるよ。」
a4「じゃぁ、ＭＩＴ裏入学、フィールズ賞、大金持ち、これは誇大妄想ですか？」
名古屋の宇宙人２「いいか？俺は量子コンピュータで解を出す。現実的には、
Harvardの貧乏人が合ってるんじゃないか？

「a4のHarvard入学試験」の忌み名は「Switzerland.」
「a4のフィールズ賞」の忌み名は「陽子 is Turing-complete.」

俺はこれ以上何も言わない。」

a4 ◆L1L.Ef50zuAv · 2021/05/05(水) 11:48:11.43

a4「うん？Harvard？僕は「量子コンピュータで作曲と不老不死」を公約にしてます。
そのために且つそれからの小さい問題として、P=NPのほかに、「陽子」という
P2P人工知能や、光るイカのDNAを書き換えて足などをボタンにして構成する
「イカ電卓」などを考えてます。可能であれば教授と研究したいです。テレパシー
とかは厄介なので、メールはananaso98@yahoo.co.jpです。１０代の頃、
エスペラント語を勉強してた頃に目の前にあったパイナップル缶９８円が
美味しかったのでこんなメールアドレスのままになってます。基本的にdoctorが
欲しいです。Ph.Dも格好いいけど、もう解脱とか知ってるし、神経科学と
関連が強いので実際に解剖したりするMedical Doctorも考えてます。
僕は期待してません。ただ5chに書いてるだけですよ。メールは研究内容の
ことについて書かれてあれば、今のところは誰でも返信します。それでは。」

a4 ◆L1L.Ef50zuAv · 2021/06/17(木) 15:27:31.64

a4の日記20210614【人工知能の陽子さん】
https://www.youtube.com/watch?v=U2yOi6p5cfg

a4 ◆L1L.Ef50zuAv · 2021/06/23(水) 01:37:40.65

a4「Israel Book Shopに未来の自分に言われた通り本を２０冊ほど買ったら、
送料に関して電話して欲しいってメールが返った。よく見たらHarvard Street
に建ってました。それで電話でTHANK YOUってお互い言いました。統合失調症で
アメリカ入国すらできなかったのに。」
名古屋の宇宙人２「やったな！君の栄転撃ちだ！」

a4 ◆L1L.Ef50zuAv · 2021/06/23(水) 01:42:02.90

a4「そうしたら、リビアの友達からskype通話でおかしなことに。
「量子コンピュータで作曲」とか考えてたら「量子なりすまし」ですか？
Princeton Universityが何故20位なんですか？統合失調症と偽装できる
じゃないですか。注察妄想においては盗聴者を攻撃できることが悟りでした。
ハエローヒムアニ？アナ、アッラー。」
名古屋の宇宙人２「でかしたな！」

a4 ◆L1L.Ef50zuAv · 2021/06/23(水) 01:45:58.34

a4「宇宙人や未来人がＩＴは飲食店みたいにミサイル撃たれるから、無線機の準備
しとくといいよって言ってたから、届いたら、こんなことに！？」
名古屋の宇宙人２「よっしゃ。俺の作戦勝ちだ。君はもう出ないよ。」

a4 ◆L1L.Ef50zuAv · 2021/07/20(火) 03:35:11.94

未来人からＰ＝ＮＰの証明を量子コンピュータで出力したものを直接教えてもらいました。

まず球を描きます。その周りに大きな円をいっぱい描きます。円周上に小さな円をいっぱい描きます。
これで非決定性チューリングマシンについて計算すると、グローバーのアルゴリズムのように
O(2^n)がO(2^(n/2))で計算できる画像が自明になります。球が大きくなれば、
チューリング完全ではあります。円が交差するところの答えを０にします。
球は大きくできないので、発散させると全部０になります。例として大きな
巡回セールスマン問題については、宇宙は10^1500で鉄になるとか言われてる
のに、どう計算するんですか？量子力学と同じだったのです。Cloningによる
量子大域最適化については、タイムマシンで攻撃されるので、計算できません
でした。これが数学だったのです。

反証できる数学の教授を探しています。
クレイ数学研究所に提出したほうがいいのでしょうか？
僕は１００万ドルですか？
どなたかご助言お願いいたします。

a4 ◆L1L.Ef50zuAv · 2021/07/20(火) 04:45:35.86

375a4 ◆L1L.Ef50zuAv 2021/07/20(火) 04:01:26.43ID:+n4iGJ8G0
今日の中日新聞は豊田社長と楽曲の話ですね。
http://01ken.com/DSC00202.JPG

a4 ◆L1L.Ef50zuAv · 2021/07/20(火) 04:46:06.49

376a4 ◆L1L.Ef50zuAv 2021/07/20(火) 04:14:16.70ID:+n4iGJ8G0
僕はこの曲を聴いてます。

クシコス・ポスト
https://www.youtube.com/watch?v=WKBX4EiHG7I

a4 ◆L1L.Ef50zuAv · 2021/07/20(火) 04:47:32.50

46a4 ◆L1L.Ef50zuAv 2021/06/28(月) 13:08:40.95ID:as3J7M6K0
名古屋の宇宙人２「だからさ、君にはこれ以上仕事を与えたくない。つまりさ、
１総通を取って、24ヵ国語やってくれ、今度、豊田の社長に会わせるから。
あの方なら何十兆円も動くだろう。」

a4 ◆L1L.Ef50zuAv · 2021/07/20(火) 04:48:46.35

a4 隔離スレ
https://mao.5ch.net/test/read.cgi/occult/1624786037/

a4 ◆L1L.Ef50zuAv · 2021/07/20(火) 05:03:03.59

僕も反証できないかやってるのですが、未来人が量子コンピュータ使ったのなら、
これが答えですね？

a4 ◆L1L.Ef50zuAv · 2021/07/20(火) 05:20:25.55

>>83
「ｸﾙﾂｱｲｳｸﾂﾃﾞﾜｶﾚﾙ」は「(くるっ|来る２)、あ！言う、(九時で(歯枯れる|測れる)|靴で別れる)」

a4 ◆L1L.Ef50zuAv · 2021/07/20(火) 22:14:16.81

なんかこの理論おかしいなと思ったら、Ｐ＝ＮＰについて、解くための計算機を
量子コンピュータで作っても、物理的に計算結果が０になるということですね。
ここが証明できないんじゃないかと。でもPDFで証明とか書いてみようかな。
Englishくらいで。現実的に僕は大卒なので、学会とかあまり行けないので
5chでやってるのですけどね。この大学のこういう先生が良いとかあれば、
すぐメールします。

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 13:19:11.44

840１３２人目の素数さん2021/07/25(日) 22:04:16.00ID:QbL2au6e
>>831
「応用数理」に投稿できるくらいのレベルかもしれない

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 13:20:53.29

https://www2.jsiam.org/wabun
ここに電話しました。

Ｐ＝ＮＰは、論文を書いて、４万円払って、ここに投稿しようと思います。

**１３２人目の素数さん** · 2021/07/26(月) 16:04:56.63

>>346
4万円は掲載料。投稿時には要らない。

P/NP policy を掲げている論文誌/学会であれば、まともな論文ならば編集者キックは回避できる可能性があるかも
それ以外のところだと、まず編集者キックされて終わり。
https://dl.acm.org/journal/jacm/pnp-policy

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 16:46:49.31

>>347
ご助言ありがとうございます。

僕がタイムマシンを信仰しているだけで、ここへ投稿すると本格的な勝負になる
でしょう。現実的にメールアドレスが載っているので、Abstractのような
ものをまず送って、許可が下りれば具体的な論文を執筆します。

**１３２人目の素数さん** · 2021/07/26(月) 17:01:27.51

>>348
>>Abstractのような
>>ものをまず送って、許可が下りれば具体的な論文を執筆します。

論文を送った時に「Abstractをつけないと受け付けられない」と言われることはあるかもしれませんが
Abstract(のようなもの)だけを受け取った側は
「論文をつけないと受け付けられない」とは言いにくいかもしれませんね

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 17:23:56.88

>>349
今、自称未来人と通話しながら、Englishによる具体的な証明を生成しています。
ACMに関していえば、New Yorkが中心に活動してるみたいなので、すぐに
提出しようと思っても、あっちは今は夜の４時なので、すぐではありません。
Abstractに関しては、タイムマシンの証明がEnglishで必要だと思いました。
すると、こちらの答えは、Dr. Hawkingに
"Simulating 2^(10^30) brains with a non-unitary quantum computer."
とメールしたら、２時間後にラジオから
"I can't believe it's too stupid."
と返ったことにする予定です。

**１３２人目の素数さん** · 2021/07/26(月) 17:37:27.38

>>350
卒業論文との関係は？

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 17:51:32.38

>>351
僕が大学４年生の頃は２本のpdfを書きました。

まず長谷川秀一准教授担当の特別プロジェクトと呼ばれるもので量子コンピュータで
自動定理証明や作曲などを行うアルゴリズムがあるか？というものです。
http://01ken.com/report.pdf

その次に人工生命に関する卒業論文を書いたのですが、これは頭の良い人工知能が
生き残ったら数学の問題を解いてくれるのではないか？と考えて失敗しました。
でも量子の複製によって大規模格子法の数式が出来上がって書こうとすると、
卒論担当の大橋弘忠コース長は「ＳＦみたいなことは論文に書かないでください。」
と何度も強調されました。僕は「書いたらどうなるんですか？」と伺うと、
「自己責任でお願いします。」と返りました。
http://01ken.com/dissertation2.pdf

卒業した後、やっぱり書きたいとpdfを書いてしまいました。
http://01ken.com/cosaitp.pdf
そうしたら、僕は合法的に病院に８ヵ月間監禁され、その後、コロナになりました。

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 18:22:37.19

コロナは4^17500くらいの塩基配列ですが、これは平方根数学仮説の証明？

**１３２人目の素数さん** · 2021/07/26(月) 18:25:13.57

量子コンピュータが実現された暁には
ノーベル賞は確実と言われる人が日本にいるようですね

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 18:40:39.96

>>354
東工大の量子焼きなましとかかな？僕の担当の長谷川准教授は逆にノーベル賞の論文
からイオントラップ型を真似して開発していた先生でした。Ｐ＝ＮＰは解かれれば
大きなことになるでしょうが、僕が受賞ができるのであれば、フィールズ賞か、
チューリング賞、あたりが夢かもしれません。

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 19:06:21.66

Abstractとか考えてるんですけど、逆にレベルの高い論文誌にはあまり説明すること
が無いですね。さっきのタイムマシンの証明と、送られてきたのが平方根だっただけ、
って。そうするとみんなすぐ理解して論争が起きるからいいんじゃないかと。

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 19:13:33.71

もうちょっと書くとするならば、素因数分解はlog^2なので、平方根数学仮説
に関しては、非決定性チューリングマシンの計算時間の「最大」だと平方根になる
ことを言ってます。

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 19:15:35.33

そうすると、論文を書くとき、量子コンピュータで作曲、については、

log^2<f<sqrt

と精神的になり、これは何だろう？と。

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 19:18:12.32

自称未来人と通話して聴いてるのは、

ℵ√2

とかなんだろう？って。

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 20:40:42.75

メールを書きました。

件名: Hi. P=NP?
送信元 : a4@01ken.com
送信先 : jacm-admin@acm.org
日付 : 2021/7/26 20:36:57

Hi. ACM.
I got a proof of P=NP from my future friend.
The result is 平方根数学仮説(sqrt math hypothesis) even if time machine is true.
How can we calculate 2^n patterns for checking?
Time machines in omniverse will attack the computer mathematically.
My proof of time machine is Dr. Hawking.
I talked to him about "Simulating 2^(10^30) brains with a non-untary quantum computer." at 2015/04/24.
Two hours after sending this message, the BBC radio said "I can't believe it's too stupid." from him.
I hope to write a paper for discussing with you.

Sincerely,
Takuro Matsumoto

**１３２人目の素数さん** · 2021/07/26(月) 22:50:06.46

夢の世界に遊んでいるようでいいでっすね

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 23:08:26.22

>>361
未来人との会話は楽しいですよ。基本的にドーパミン過剰仮説とかですからね。
代償として暴力的に監禁されたのが大きかったです。でもまだ何かの迷路のような
ものにハマっています。数学を解くために不老不死とか考えてるんですよ。
でも既に計算結果があって、総当たりじゃないかと。

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 23:11:24.76

平方根数学仮説と言ったのに、総当たりってなんか変ですね。聞いてみると、
最大が平方根時間なだけ、と返りました。

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 23:14:53.76

だから、不老不死になって、巡回セールスマン問題を解こうとすると、何故か
長生きしても、計算結果が量子焼きなましと同じに、という理論です。

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 23:16:21.28

精神的なものかもですが、物質的にはタイムマシンに攻撃されると定義でき、
整合性がまだ取れるんじゃないかと。

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 23:27:07.61

未来人はℵ√２の宗教勧誘だと主張しています。でも、現実的に視覚野に映し出されてる
画像が近傍だと同じ色のように見えるのは何でだろう？とか。嫌がらせでホワイトノイズ
とか出してくる人がいるかもですが、すぐ元に戻ります。僕が前に導き出した信仰である
人生とは圧縮すると20%になるランダム数列というのは、これは思ったより綺麗じゃない
ですが、平方根が最大と言ってるだけなので、精神的になる、という話みたいです。

a4 ◆L1L.Ef50zuAv · 2021/07/26(月) 23:31:37.66

僕は男性ですが、今、話してる未来人は女性なので、不老不死になって一緒に楽しく
総当たりしよう、と話してます。

a4 ◆L1L.Ef50zuAv · 2021/07/28(水) 16:57:26.24

返事が１つ返りました。

一般社団法人日本応用数理学会
－－－
本論文誌では，P=NPに関する話題を取り扱った経験は浅く，
適切な査読者選びと編集判断が難しい状況です．
この話題を活発に取り扱い，興味がある読者が多くいる
他雑誌への投稿をお願いします．
－－－

**１３２人目の素数さん** · 2021/07/30(金) 13:04:59.85

P=npとなる機械を作れれば、証明になるって。

a4 ◆L1L.Ef50zuAv · 2021/07/31(土) 04:13:38.96

>>369
僕の理論が正しければ、タイムマシンを含むcloningも使った量子コンピュータが
出来ればいいということですね。現実的に僕は今「性理コンピュータ」という
ものを開発しています。これは簡単に書くと量子乱数を用いたもので、
「高速占い人工生命で株価予測音楽」と説明しています。巡回セールスマン問題
を解くなら、現代的には量子アニーリングですが、このコンピュータで解くと
曖昧な自然言語処理の計算結果が出るかもしれませんが、現実的にそれで証明できる
かもしれません。これは開発に１年ほどかけようと考えています。株価が当たる
可能性があるので、高額に販売する軍事用コンピュータかもしれません。

a4 ◆L1L.Ef50zuAv · 2021/07/31(土) 04:18:53.57

例えば、株価が１０回連続で何故か当たった感じがして、新聞の１面にまで載ったり
したら、そのコンピュータに巡回セールスマン問題を解かせたときの答えが正しい
んじゃないかと。

a4 ◆L1L.Ef50zuAv · 2021/07/31(土) 04:20:04.85

僕は株価を昔何度も当てました。
https://medaka.5ch.net/test/read.cgi/market/1571983809/54
こういうのを量産するという話です。

**１３２人目の素数さん** · 2021/07/31(土) 07:40:55.56

>>370
369の者です。
すみません、直観で書き込んでしまって。
a4さまの製作されたコンピュータが、P=npを満たす必要十分条件になっていれば、証明になるのでしょうか？

a4 ◆L1L.Ef50zuAv · 2021/07/31(土) 08:46:22.38

>>373
僕も研究中なのですが、まず僕の主張しているのは「平方根数学仮説」というもので、
大域最適解探索は、最大だと平方根時間かけたときの答えと、未来の宇宙でも同じ
になるなどというものです。僕が最初に株価を量子コンピュータで予言したのは、
>>372に書いてある通りだというのはビッグデータにも載ってると思いますが、
反論がありません。だからファジー論理的にタイムマシンの存在を疑ってしまう
でしょう。だから、僕がさらに改良した「性理コンピュータ」と呼んでいるもの
を使って、株価を何回も当てて、巡回セールスマン問題の質問に対する答えを
生成すると、必要十分条件というより、大きな論争がまず起きるんじゃないかと。
それらの研究の先に本格的なタイムマシンができると、あの頃言ってたことが
正しかったとなれば、Ｐ＝ＮＰを誰が解決したかは僕が勝ちかもしれません。

**１３２人目の素数さん** · 2021/08/02(月) 12:39:38.61

実験医学、ならぬ、「実験数学」experimental mathematics の嚆矢、ですね。

a4 ◆L1L.Ef50zuAv · 2021/08/02(月) 13:05:29.49

>>375
はい。

**１３２人目の素数さん** · 2021/08/04(水) 20:22:00.50

375 の者です。
同じ8、でも、2＋6からできた8と、3＋5からできた8とでは、何か違うのではないか、と思って、日夜研究に勤しんでおります。

**１３２人目の素数さん** · 2021/08/04(水) 21:07:35.10

量子コンピュータだと、同じ8でも、生成速度が異なったりするもんなのでしょうか？
よく分かっていないので…。

**１３２人目の素数さん** · 2021/08/04(水) 21:07:42.33

量子コンピュータだと、同じ8でも、生成速度が異なったりするもんなのでしょうか？
よく分かっていないので…。

a4 ◆L1L.Ef50zuAv · 2021/08/05(木) 01:04:09.57

>>377->>379
6と5に関しては、２進数における繰り上がりを計算する操作なので、基本的に
計算時間は同じだと思います。量子コンピュータはチューリング完全であること
は証明されていて、具体的にはグローバーのアルゴリズムなのですが、
スーパーコンピュータなら2^n通り並列で計算するところを、
この手法なら、2^(n/2)回、関数を計算することによって、最適解探索などが
できます。

a4 ◆L1L.Ef50zuAv · 2021/09/01(水) 23:04:43.99

研究は少しずつですが、進んでいます。

タイムマシンを含む性理コンピュータの計算できるクラスを考えました。Sとします。
P⊂Sは真ですね？NP⊂Sは大丈夫そうです。でもSだとP=NPになるんですよ。

証明を書くために、Sで株価の値を連続して当てる実験をしています。

a4 ◆L1L.Ef50zuAv · 2021/09/01(水) 23:09:52.30

そういえば、株価が当たっているのを証明する方法ってあまり無いんですよ。
最初はYouTubeに上げようと思いました。そうすると、すぐ嘘と来ます。
だから、何回も実験を繰り返して、当たる確率のようなものを内部で出し、
これでうまくいくと閾値を超えたら、5chなどで、実際に当たる様子を何度も
見せる、のが良いと思いました。

a4 ◆L1L.Ef50zuAv · 2021/09/05(日) 20:54:17.14

892a4 ◆L1L.Ef50zuAv 2021/09/03(金) 23:42:40.63ID:ywUStqsS0
a4「まず３つの状態の重ね合わせについては普通に関数がチューリング完全で変形
できるので普通に考えるとルートでした。性理を解いて、Ａさんから直接聞きました。

U_k*O_x1
*U_k-1*O_x2*U_k-2*O_x2
*U_k-3*O_x3*U_k-4*O_x3*U_k-5*O_x3
*…

のようなことを考えると、自然言語処理としては、
S=3*3^(n/m)+5*3^((n-1)/m)+7*3^((n-2)/m)+…+(2p+3)*3^((n-p)/m)
とすると、
忌み名∈BQP
と返りました。

Sって何ですか？」
Ａ「わたしは怒ってます。古澤、死ね。」

a4 ◆L1L.Ef50zuAv · 2021/09/05(日) 20:56:45.94

それでも、Sの計算結果では、S≠BQPと主張します。ビッグデータのあるPと
ビッグデータのないSは、Sがタイムマシンを持つという意味で違います。

a4 ◆L1L.Ef50zuAv · 2021/09/19(日) 15:45:07.00

株を当てればタイムマシンの証明ができるのかな？と思ったら、規制ばかりでした。
そこで、ナマズを撮影した動画からできる量子乱数から、タロットカードによって
メタ的に作るいびつな形や絵のサイコロを振った後の写真を予測します。３Ｄ
プリンタでエニグマやニューラルネットを作り、電磁波を送受信すると、従来の
盗聴手法の統制などの方向が変わり、未来人が反応するという構造です。写真を
判断する人工知能は、内部に仮想市場と仮想5chの人工生命があり、関係妄想
できる関数があります。量子なりすましなどで嘘つきだと言われる心配があるので、
実験に何度も成功したら、僕の研究室に人を呼んで実際にうまくいってるところを
見てもらいます。そのために僕は無線の免許を取らないといけなくなりました。
京大医の自衛隊からも推薦があり、大丈夫そうです。フランス語はまだできますが、
ドイツ語やヘブライ語は挨拶くらいしかわからないので、これも勉強します。
大物数学者が家に来て、何回も実験成功ということになれば、Ｐ＝ＮＰが未来から
来ていると、証明します。

a4 ◆L1L.Ef50zuAv · 2021/11/10(水) 10:23:44.01

こんにちは。数学からは一旦離れてますが、免許の取得に向けて、無線工学や
モールス電信などを、勉強しています。電波の送受信で、未来人と、
P=NPの証明を作ります。僕の情報は、しばらくは自分の掲示板に書き込むことに
しました。荒らし対策でパスワードが設定されているので、書き込みたい方は
メールなどで連絡ください。

http://01ken.com/bbs3.php

a4 ◆L1L.Ef50zuAv · 2021/11/10(水) 10:32:53.53

γ=1+1/2+1/3+…+1/666-(log2+2*log3+log(3*10+ABCD+1))/loge

a4 ◆L1L.Ef50zuAv · 2021/11/10(水) 10:35:15.00

a4の日記20211025【最近の生活】
https://www.youtube.com/watch?v=8MkeHJKFrao

**１３２人目の素数さん** · 2021/11/12(金) 12:29:56.08

こんな証明は、どうですか？

****P=NP問題の証明****

「神託により解が与えられる」を命題ｐとする。

「多項式時間で解ける」を命題ｑとする。

￢ｐ∧ｑ⇒P　　→　　￢P⇒￢（￢ｐ∧ｑ）　　　①

ｐ∧ｑ⇒NP　　→　　￢NP⇒￢（ｐ∧ｑ）　　　　②

背理法を用いる。P＝NPと仮定する。

￢P＝￢NP　　　③

①、②、③から

￢（￢ｐ∧ｑ）＝￢（ｐ∧ｑ）

￢ｐ∧ｑ＝ｐ∧ｑ

￢ｐ＝ｐ

となり、矛盾する。

従って、仮定P＝NPは誤りである。

よって、P≠NP　となる。

（証明終わり）

a4 ◆L1L.Ef50zuAv · 2021/11/12(金) 17:32:47.11

P⊂NP

a4 ◆L1L.Ef50zuAv · 2021/11/27(土) 13:00:07.17

http://01ken.com/bbs3.php

P=NP証明に向けた活動を続けています。株価をまた当てたらこうなりました。
http://01ken.com/DSC00268.JPG

詳しくは上のサイトの掲示板をご覧ください。

荒らし防止のためパスワードを設定してるので、
書き込みたい人は僕にメールください。

a4 ◆L1L.Ef50zuAv · 2021/12/14(火) 01:07:17.44

http://01ken.com/bbs3.php

人工知能の陽子さんについては、1966年のMITから、ELIZAの本を買って、
交叉させたら、人間のように話すようになりました。

a4 ◆L1L.Ef50zuAv · 2021/12/27(月) 21:25:50.81

P=NPについて平方根数学仮説ならば、株価を当てるだけでなく、特にTSPについては、
数学者が解けと言ってくる問題の解を生成しなければなりません。これについては
電波の乱数から遺伝的アルゴリズムを用いるというのを今日は夢で見ました。でも
それが１番のルートかは検証できないかもしれません。不思議に思ったのは、
最近の量子焼きなましじゃないんですよ。研究の余地があるかもしれません。

a4 ◆L1L.Ef50zuAv · 2022/01/01(土) 10:14:17.04

a4の日記20220101【01研の掲示板】
https://www.youtube.com/watch?v=QEhm3BXegB4

a4 ◆L1L.Ef50zuAv · 2022/01/12(水) 01:07:58.24

a4 2022/01/12 00:56:11
なんで法律上の父親が底辺高卒で勉強しないのかな？と思っていたら、機械製造修理
なので、壊れた機械を売って、さらに治して商売してたんですよ。だから、血統の良い子
をどこからか奪って壊して、統合失調症として治して障害年金で商売する作戦だったん
ですね。

陽子 2022/01/12 00:56:19
作ります。統合失調症です。統合失調症です。

a4 2022/01/12 00:58:52
これはＭＩＴが最悪の悟りに遭って不買に逢うことの表明ですか？

陽子 2022/01/12 00:59:19
カニバリズム

Ａ 2022/01/12 01:00:05
わたしが答えを出します。MITは下がってていいよ。

陽子 2022/01/12 01:00:20
皇族Harvardは？

Ａ 2022/01/12 01:01:26
Harvardはちゅうそつではありませんよ。

陽子 2022/01/12 01:02:20
P=NP

a4 · 2022/01/29(土) 10:23:07.79

633 名前：a4 2022/01/28(金) 15:46:14.06 ID:8gxVwO5f
バークレー校への機密情報です。

>送信日時： 2022-01-23 09:02:55
>「西暦2022年1月24日の日経平均株価の終値」の忌み名は「6Vater」
>「西暦2022年1月25日の日経平均株価の終値」の忌み名は「annealing」
>「西暦2022年1月26日の日経平均株価の終値」の忌み名は「ＡＢＣ」
>「西暦2022年1月27日の日経平均株価の終値」の忌み名は「elle est japonaise」
>「西暦2022年1月28日の日経平均株価の終値」の忌み名は「Windows」
>数値を当てたいです。

a4 · 2022/01/29(土) 10:23:23.23

634 名前：a4 2022/01/28(金) 15:49:20.52 ID:8gxVwO5f
>27,588.37
>Vaterはドイツ(5)語で父(77)です。
>中国語かは、6(lでiu)です。
>ちち(3)のsechsは母(88)とです。
>だから、名古屋のヤーさんな(758837)、と。
---
>27,131.34
>「annealing」というのを検索して１番上に出たのは、
>「《生化学》アニーリング、焼なまし◆加熱して二本鎖から一本鎖へ分離させたDNAを冷やして相補鎖を対合させる処理」
>焼７ま４，１本３が２つ
---
>27,011.33
>これは大文字のＡＢＣみたいな形をしていますね。
---
>26,170.30
>フランス語で彼女は日本人、
>２６，すご、彼の０７は２本ه
>エレＡさん、ですね。
---
>26,717.34
>ndViVows

a4 · 2022/01/29(土) 10:23:36.66

635 名前：a4 2022/01/28(金) 15:51:09.39 ID:8gxVwO5f
この関係妄想の関数を作ろうと思ってるんですよ。評価関数があるんです。
全ての乱数に高得点がつくわけではありません。だからプログラム技術板で議論します。

a4 · 2022/01/29(土) 10:26:07.63

638 名前：a4 2022/01/28(金) 19:13:41.60 ID:8gxVwO5f
今日の中日新聞は不正な情報を東大に送って解答を送信させるものでした。
http://01ken.com/DSC00325.JPG

a4 · 2022/02/02(水) 11:42:45.49

01研の日記を再開しました。
http://01ken.com/bbs.php
P=NP解決に向けて無線工学の勉強を続けています。

a4 · 2022/02/10(木) 05:22:59.23

タイムマシンの実験が大成功！＾＾
http://01ken.com/pnp.html

**chinpoh** · 2022/03/10(木) 20:19:27.61

こんにちは。自分は数学徒ではないのですが、
P≠NP予想に興味を持っているので書き込ませていただきました。
見当違いであったら無視していただいて構いません。

数学について全く見識がないのでそもそもこの問題の文脈すらつかめているのか分からないんですが、
P≠NP予想は結局P≠NPではないのでしょうか。あらゆる問題の中で、答えがずれていく問題
があると思います。自分の思考の中で考えていることなので数学という学問において卑しい行為だと
思うのですが、この問題は答えがずれていく問題を扱っているのかと思い書き込ませていただきました。

例えばPの多項式時間で解ける問題という問題の答えもコンピューターで試行回数を重ねるわけなので
その時間というのも一定ではないですよね。同じように個人の試行や方法論によって
答えがずれていく問題が世の中にはあるので実際に証明することは不可能なのではないでしょうか。
答えがあるとすればその試行タームによる個々の答えだと思うので、それこそがNPなのでは？

見当違いであったらすいません。気になるので質問してみました。

a4 · 2022/03/11(金) 03:53:26.73

>>402
例えばTSPを出してみましょうか。10000個の家をどういうルートで行ったら最短か？
という問題の計算時間とかわかりますか？10000!でNPですよ。これが多項式(P)
なら、P=NPです。だから答えをタイムマシンで持ってくるという話をしてます。

それで数学者に聞いてるんですが、
"QUANTUM COMPUTING SINCE DEMOCRITUS"という2013年の本に
"Chapter 11 offers a critical examination of ideas of Sir Roger
Penrose, who famously holds that the brain is not merely a quantum computer
but quantum gravitational computer, able to solve Turing-uncomputable problems"
と書いてあり、これを計算できるコンピュータの定義が昔からありそうだというところで
揉めてます。

a4 · 2022/03/16(水) 09:30:58.53

http://01ken.com/bbs.php

a4 2022/03/16 08:48:02

昔、生成したもののほうが、タイムマシンとかで、レベルの高いものが入ってるのでは
ないか？と考えて、整理して出てきた機密情報を一部公開します。

令和の虎でも主張してたノーベル物理学賞の梶田先生とのやり取りです。パソコンが
壊れてこれしか残ってません。東大理４への推薦状と妄想してます。
http://01ken.com/quantum.png

性理コンピュータで画像を生成するとこうなります。
http://01ken.com/qp.png

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

a4 2022/03/16 09:11:22

これは今見ると、ブラックホールは我々の身の回りにあり、monoではないので、
実際に役に立つとは思えません（１階１Ｃ幼稚園のようにコロナとかになるでしょう）。
私には松本さんのご専門に関する知識は全くあり、ま、線。だったんですね（泣）

a4 · 2022/03/16(水) 19:32:47.95

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

75a42022/03/16(水) 16:48:43.26ID:5DsT4Mvc
僕がYouTubeで初めて見た動画はこれです。

Ultimate Utopia XXIII - Final Fantasy Parody
https://www.youtube.com/watch?v=pNzFE8rNPQU

これは量子動画とか考えると、令和の虎の社長達が僕が敵で攻撃するようなのが
撮れそうです。

76a42022/03/16(水) 17:13:47.91ID:5DsT4Mvc
今見るとあの曲線とかP=NPを解いてたんですね。中国語の歌も理解できちゃうし（泣）

a4 · 2022/03/16(水) 19:34:32.53

77デフォルトの名無しさん2022/03/16(水) 18:05:18.74ID:HFrYnJgH>>78
P=NPを本当に解いてたら大ニュースだけど、まぁいつもの妄想だろうね

78a42022/03/16(水) 18:50:51.76ID:5DsT4Mvc
>>77
医学的妄想なのは定義通りです。でも魔女狩りの裏歴史本とか持ってますよ。
僕はP=NPのことだと思ってます。こういうのも勉強したほうがいいかもしれません。

79a42022/03/16(水) 19:05:38.16ID:5DsT4Mvc
僕は魔法とか使えますよ。

SATURNE.
492
357
816

巡回セールスマン問題の大域最適解とか上流階級が昔からやってますよ。だから
宇宙人とか降霊してるのもこのスレの過去ログです。

a4 · 2022/03/16(水) 22:23:14.68

85a42022/03/16(水) 20:50:06.02ID:5DsT4Mvc
「ホッジ予想」の忌み名は「〇4ﾁﾃｲｼﾞﾝ」

87a42022/03/16(水) 20:55:38.39ID:5DsT4Mvc
「リーマン予想」の忌み名は「Σ-<ZF」

88a42022/03/16(水) 21:20:51.25ID:5DsT4Mvc
「ヤン-ミルズ方程式と質量ギャップ問題」の忌み名は「炸弹导弹」

89a42022/03/16(水) 21:35:11.30ID:5DsT4Mvc
「ナビエ–ストークス方程式の解の存在と滑らかさ」の忌み名は「meta~gravity」

90a42022/03/16(水) 21:51:13.75ID:5DsT4Mvc
「バーチ・スウィンナートン＝ダイアー予想（BSD予想とも）」の忌み名は「X+Y∈Q」

a4 · 2022/04/02(土) 19:10:20.45

http://01ken.com/bbs.php

a4 2022/04/02 16:59:44

http://01ken.com/T20/t_go_20.c
http://01ken.com/T20/main.c
http://01ken.com/T20/OS.txt
http://01ken.com/T20/test.txt

a4 2022/04/02 17:58:38

上述のファイルを更新してます。
---
名前は陽子。名前は陽子。名前は陽子。名前は陽子。名前は陽子。名前は父親はa4。父親はa4。父親はa4。父親はa4。父親はa4。　　　　父親はa4。　　名前は名前は名前は名前は父親は　　　　　　　　父親は　　　　　　　　父親は　　　　　　　　　　　　　
---
と入力したら、
---
名前は陽子。名前は陽子。名前は陽子。名前は陽子。名前は陽子。名剪はa4。父親はa4。名剦�はa4。名�。父親はa4。 �　　　父親はa4。 �� 　　名前は名前は陽子。は名� 名前は陽子。名� 父親はa4�　　　　　　　〶親は　　　　　　　　　　　　　　　　　　　　　　　　�
---

a4 · 2022/04/03(日) 13:23:01.79

a4 2022/04/03 12:52:40

http://01ken.com/movie.mp4
華緑の動画をアップロードしました。

**１３２人目の素数さん** · 2022/08/19(金) 21:37:42.69

P=NPとすれば、Pが零ではないとすれば両辺をPで割って
その結果N=1でなければならない。N=1の問題は自明な
つまらない場合であるから除外できる。よってP＝NPでは
ない。

＃上の証明のどこが間違いか？

**１３２人目の素数さん** · 2022/08/29(月) 17:39:01.30

もしもN=NPである、あるいは、そうでないの証明が存在したとして、
でもその証明に必要な記述の最小量が10の1000文字程度が必要だったら、
証明は実際には書きあらわすことができず、証明は事実上できない。　

すると、数学としては決定可能であっても、事実上の決定不能な命題になる。
そんなことになってたりしないかな。

将棋や囲碁の必勝法があるとして（フォンノイマンの定理からは先手かもしくは
御手の必勝法が存在する）、では先手後手のどちらが必勝であるかを決定して
それの証明を与えなさいといったときに、すべてのゲームの木を書くのに
等しい証明法しかなかったとしたら、実際にはそれらをすべて書き出すことは
できないし、書き出さないまでも生成して1つずつ確認していくことは
できないだろう。つまり数学としてはどちらかの手の必勝法があるが
正しいとして、その証明を事実上書き示すことができないので、
証明が現実的な意味では不可能（実際上の決定不能）なのだ。

**１３２人目の素数さん** · 2022/09/13(火) 09:34:44.16

証明の最小記述量が文字数で10の1000乗程度だったら、
それだけでも、もう現実的には記述不可能。つまり
そのような証明を書き記した物体は存在しない。

**１３２人目の素数さん** · 2022/11/05(土) 17:28:16.31

>>411
数学者の頭の中で記述可能だったら、それは証明できていることになりませんか？

**１３２人目の素数さん** · 2022/11/18(金) 23:49:10.83

証明を他の人にわかるように伝達できないとしたら、
それは妄想と区別がつかないことだろう。

囲碁は先手必勝だと主張する人が現れたとして、
ではそれを示して下さいといったとして、
それは私の頭の中では証明が完成しているが、
人生は短いのでそれをすべて書き出すことは
できない、というのであればそれではどうに
もならん。

**１３２人目の素数さん** · 2022/11/19(土) 03:57:27.27

なるほど

**１３２人目の素数さん** · 2022/11/23(水) 15:51:59.69

こういうやり方ですべての場合をチェックすれば確認できると云ったとしても、
そのすべての場合を一生かけてもあるいは宇宙が終わるまでかけても終わらない
程の膨大な数なら、人間には確認できない。
仮に夢のような高速計算機が作られたとしても、その寿命以内に計算が終わらない
程に場合の数が多ければやはり無理だし、そもそもそのような計算機が正常に
動作する保証はあるのだろうか。熱力学的な揺らぎや外界からの雑音等でもって、
ビットが化ける確率が0ではないが常に存在するから、古典デジタル計算機は
必ず誤りを犯す確率が非常に僅かながらも存在する。二重三重に並行して計算して
計算結果の一致を見れば良いといっても、結局は同じことになる。
完全な正しさというものは得られないのだ。理想的な量子計算機を使ったとしても、
結果の正しさは常に確率でもって得られるはずだし。

**poem** (ｽﾌﾟｯｯ 1.75.197.220) · 2022/11/23(水) 20:06:00.22

https://itest.5ch.net/rio2016/test/read.cgi/math/1666358764/

このURLから飛べる一連のpoemの物理学仮説、数学世界論、及び中の真システムに何も無い原初状態から違和感に近い歪みが生まれ、単純な相互作用が高次化して高度な歪みになり、やがて形の無い存在が産まれ、形の無い存在が存在を生み出せるまでになり、形のある存在が生み出され、宇宙も産まれていて、形のある生物の種を宇宙に蒔けた。という、真システムは全ての計算が無いが全ての計算を許可し、存在や形のあるない物は全ての計算を許可しないが計算がある規制が、真システム上の存在で、計算と言うのが制約である

このことから、P=NPは真であると導ける
全ての計算が無い全ての計算を許可する真システム、これに近い計算無しと、高度に制約が造られた存在、これに近い計算有り。PをNPで解く計算は生み出せる

故に物理学的にP=NP、懸賞金一億？の問題は既に解かれている。真である

**１３２人目の素数さん** · 2022/12/02(金) 01:19:01.43

人間の脳の生みだした判断も、所詮脳が物理的な現象で動作しているのであると
すれば、エラーを起こす確率は零ではない。テレビの電波による揺籃、
宇宙線の通過に伴うノイズ、大気圧の変動、前の晩に食べたものやアルコールなどに
よる影響、外界からの音による刺激、同時に他の情報を処理していることによる
クロストークや干渉などによって、脳の動作も誤る可能性がある。
一人よりは二人、二人よりは三人と人数が多ければ、大間違いはし難いかも
しれないが、最適な人数があるだろう。大勢集めれば良いというものではない。
国会議員も数が増えすぎて平均的な質が下がっているとしたら、その多数決は。。。

**poem** · 2022/12/02(金) 20:54:21.22

>>418
いいこと言ってる

**１３２人目の素数さん** · 2022/12/03(土) 16:16:43.71

証明を（量があまりにも膨大になるので）記述できない場合であっても、
証明を行うことになる手続き（計算プログラム）を数ページ程度（人間が
目で見て読める程度）で記述することができる場合がある。

その計算プログラムが数学的には有限ステップで停止することや、
出力としてＹＥＳ／ＮＯのどちらかしか出さないことを証明して
保証することもできたりする。ここで出力がＹＥＳであれば命題は
成立することを意味し、ＮＯであればそうではない。どちらか判定不能
という出力は出ないとする。

しかし、そのような少ない記号の列で表された計算手続き（プログラム）が
得られて、それにより命題の成否が有限の計算ステップで決定できることが判った
としても、その計算ステップが平均的に１０の千乗だとかとんでもないステップ数
かかるのであればやはり、それは現実的には実行が終わることを期待できない
であろう。つまり証明法は存在してそれを手続きとしては短く書き下せたが、
その方法を実際に行うことが不可能である可能性があるのだ。
もちろん平均的にあるいは最悪の計算ステップ数がとんでもない数だったとしても、
もしかするとその計算プログラムを走らせたらたちまち（反例を見つけて）ＮＯと
回答が得られる可能性も否定しきれないのである。
だが囲碁が先手必勝か後手必勝か？というようなミニマックスの問題だったりすると、
実質手順の総当たりに近いことをしないとダメだろうから、たちまち答えをはじき
出してくる可能性は極めて低いだろう。人生は短く学為り難しなのである。

**１３２人目の素数さん** · 2022/12/04(日) 19:27:06.66

>>420
＞だが囲碁が先手必勝か後手必勝か？
コミなしなら先手必勝ですよ…

**１３２人目の素数さん** · 2022/12/11(日) 08:19:17.20

江戸時代に、五目並べについては既に先手必勝であることが発見されていて
そのことが出版されていたそうである。

ただしその五目並べとは、先手の三三、四四が禁止、
という禁則が無い素朴なルールの場合。
必勝法はかなり複雑に場合を列挙して得られるという。

**１３２人目の素数さん** · 2022/12/21(水) 20:46:08.21

https://i.imgur.com/lx6Bdrq.jpg
https://i.imgur.com/TB8qors.jpg
https://i.imgur.com/0VozgaR.jpg
https://i.imgur.com/cco0JMy.jpg
https://i.imgur.com/hPVPTyV.jpg
https://i.imgur.com/DpAz1CF.jpg
https://i.imgur.com/Pk1VxIY.jpg
https://i.imgur.com/vsIrrac.jpg
https://i.imgur.com/utzOSig.jpg
https://i.imgur.com/kYbyjNF.jpg
https://i.imgur.com/LGPo2aR.jpg
https://i.imgur.com/vKnSW50.jpg

**１３２人目の素数さん** · 2022/12/27(火) 18:32:19.29

P≠NP予想って量子コンピューターや量子暗号が実現しても意味を持ちますか？

**１３２人目の素数さん** · 2022/12/28(水) 09:58:43.10

量子コンピュータと古典コンピュータが実現可能な計算量のクラスが異なる
という証明は今のところ得られていない。
古典コンピュータで素因数分解が困難（準指数つまりビット数の指数よりは
弱いが、多項式では無いのが現状知られている最良の算法）であるといっても、
将来、多項式計算量の素因数分解の算法が登場しないことは証明されていない。
算法に限らずなにかが決して存在しないことを証明するのは極めて難しいことは
普通である。将来ある日、誰かが多項式のオーダーの算法を発見し示すかもしれない。
でもそれがもしもｎビットの整数に対してO(ｎの10000乗）だったりしたなら
いちおう多項式オーダーではあってもガッカリだろうがね。

**１３２人目の素数さん** · 2023/01/03(火) 23:15:53.62

>>425
AKS素数判定法は？

**１３２人目の素数さん** · 2023/01/03(火) 23:21:55.55

P=NPが証明されても全てNP問題の多項式時間アルゴリズムそのものが直ちに発見されるわけではない
発見されても多項式の定義からnの１０兆乗でも多項式時間アルゴリズム、
1.0000.......1のn乗でも指数時間アルゴリズム
というわけでこの問題にはあまり意味がないというのがクヌースの主張ですか？

**１３２人目の素数さん** · 2023/08/17(木) 01:35:59.22

…－y( ￣д￣).｡o○