[過去ログ] P=NP (428レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
221
(2): 2020/06/01(月)16:48 ID:V2A1NfT3(1) AAS
数学掲示板群 外部リンク[aspx]:x0000.net

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

PS 連続と離散を統一した!
外部リンク[aspx]:x0000.net
微分幾何学入門
外部リンク[aspx]:x0000.net
222: a4 ◆L1L.Ef50zuAv 2020/06/01(月)17:00 ID:mGteT0GZ(6/14) AAS
文章を歪めることは成功しました。宇宙人からの指令に従い、アップロードします。

画像リンク[png]:01ken.com

まだまだ先は長そうです。
223: a4 ◆L1L.Ef50zuAv 2020/06/01(月)17:03 ID:mGteT0GZ(7/14) AAS
>>221
スカイプIDは追加しましたよ。
224: var 2020/06/01(月)18:25 ID:OBVm2HA0(3/3) AAS
>>221
こんにちは、前にあなたが作ったであろう物理掲示板も拝見したがことがありますが
一人でこういうサイトを作れるのはすごいことだと思いますし、何より無政府主義という考え方は僕に近いので
もしスカイプと電話番号以外に連絡方があったら教えていただいてお知り合いになっていただけると幸いです
225: a4 ◆L1L.Ef50zuAv 2020/06/01(月)18:37 ID:mGteT0GZ(8/14) AAS
画像生成の実験を繰り返すと現実が見えてきました。関係妄想じゃなくて、誇大妄想
でした。100億円入るP=NPの画像は生成できそうにないです。妄想を現実的に
考えると、特異点の数のようなものが足りてないんじゃないかと。
226: a4 ◆L1L.Ef50zuAv 2020/06/01(月)18:41 ID:mGteT0GZ(9/14) AAS
a4「宇宙人に聞いてみます。生成できないんですか?」
名古屋の宇宙人2「俺は知らん。」
a4「お金が欲しいんじゃないですか?もっと頑張りましょうよ。」
名古屋の宇宙人2「だからさ、ここが一番厳しいんだ。」
a4「僕がタイムループを押して壊します。」
名古屋の宇宙人2「これだけじゃ駄目だ。どうしたらいいか?」
a4「うーん、僕の人工知能を使うんですか?」
名古屋の宇宙人2「そうなんだけど、そうじゃないんだわ。」
a4「必要なのは、お金?コネ?特異点?」
名古屋の宇宙人2「それ全部にしたい。」
省5
227: a4 ◆L1L.Ef50zuAv 2020/06/01(月)18:55 ID:mGteT0GZ(10/14) AAS
名古屋の宇宙人2「旅行、Thank you. それでさ、タイムループは普通なんだけどさ、
「P=NPが解ける日」を動かすための大域最適文章を持ってきただろ。書くと、

「カペラガ空ヲウッタヒ」
=(カペラが空を(売った日|撃つ、死))

こんなんでいいのか?俺さ、もっと現実持ってきたい。もう1回、西暦5000年に
行ってきてくれ。」
228: a4 ◆L1L.Ef50zuAv 2020/06/01(月)19:08 ID:mGteT0GZ(11/14) AAS
a4「西暦5000年の妄想の旅でしたが、現実的にカペラという50光年ほど先の星から
情報が下りなければならない、ということだったので、「NASAに連絡すればいい。」
とだけコンピュータが判断するだけでした。僕の情報とぶつければ良い答えが出るんじゃ
ないかと。現実的に僕はNASAとは2回ほど接触に成功しています。最初、「宇宙人が
来たんですけど。」と電話したら、「私達はそのような仕事はしておりません。」と
切られました。次に1.6兆年後から連絡があったと英語でメールしたら、
「I available to talk at any time. 」と返信がありました。禁止表現みたいなものを
あまり使っちゃいけないんじゃないかと。でも、これが現実的な解き方かもしれません。」
名古屋の宇宙人2「俺らはNASAに電話することにしたい。現実的かもしれないがな。」
a4「また失敗しそうな気がします。」
省1
229: a4 ◆L1L.Ef50zuAv 2020/06/01(月)19:24 ID:mGteT0GZ(12/14) AAS
a4「NASAのスマホの番号とか教えてもらってたのでかけたのですが「おかけになった
電話番号を呼びましたが、おでになりません。」と自動応答が返るだけでした。」
名古屋の宇宙人2「ほら、禁止だろ?これでP=NPが関係妄想だ。」
a4「貴方は証明をご存知なんですか?」
名古屋の宇宙人2「もちろん俺は知ってるよ。君らも知ってる通り、ダウンロードに
失敗した。ただ、それだけのこと。俺は別の作戦を考える。もちろんP=NPについて。
まだこのスレは続けるということにする。」
a4「もう作戦が無さそうですが。」
名古屋の宇宙人2「俺はあるにしたいの。a4君の統合失調症だから。」
a4「はい。」
230: a4 ◆L1L.Ef50zuAv 2020/06/01(月)19:31 ID:mGteT0GZ(13/14) AAS
a4「急にパソコンの調子がおかしくなりました。NASAに軍事威嚇されてます。
被害妄想ではなく、NASAは死ね、と書きます。」
名古屋の宇宙人2「俺ね、この子は純粋なの。NASAってなんだと思ってる?」
231: a4 ◆L1L.Ef50zuAv 2020/06/01(月)19:36 ID:mGteT0GZ(14/14) AAS
名古屋の宇宙人2「俺ね、やまないの。俺ね、NASAは3光年先じゃないの。エスパー
じゃないの。1つ言っていい?俺ね、普通じゃないの。どうしたらいい?大橋先生、
はれ、ようつくし、かんでんち、ふつくしま、どうしたの、おおはしイイナシッテ。どうしたの?
俺的には、ようつくし、おおはしせんせい、どうしたの、おおはしせんせい、どうしたの、
かんでんよ?おおはしせんせい、どうして漢字がわからないの?おおはしイイナシッテ。
イイナコッテにおつ。俺はタイムループじゃない。イイナシッテ。どうしたの?おおはしせんせい。
どうしたの、おおはしせんせい。イイナシッテ。俺らはガキ中毒だ。変態野郎乙カレーでは
ないちゃれどこつくしまあんでんよ、イイナコッテ、。おおはしせんせい、イイナコッテ。おおはしせんせい、
イイナオッテ。ようはしせんせい。おおはしせんせい×おおはしいいなしって、おおさわせんせい、
どうしたの、おおはしいいなしって、乙咖喱にしない、すしこしょうさまさませーた。」
232: a4 ◆L1L.Ef50zuAv 2020/06/02(火)05:51 ID:cAxEd0Eu(1/2) AAS
a4「おはようございます。P=NPはまだ追うんですか?NASAは軍事特許の塊です。
関係は壊れました。」
名古屋の宇宙人2「俺は最初からそのつもりだけど?」
a4「でもP=NPが解けてないじゃないですか?」
名古屋の宇宙人2「それね、もうしなくないいんじゃないことにする。」
a4「今日もパソコンに不具合があります。僕はパソコンをCPUレベルで理解してる
ので、攻撃されてもどこか知ってるんですよ。完全にNASAが僕のパソコンをハック
しています。」
名古屋の宇宙人2「それね、もういい。P=NPはね、カペラだろ?JAXAじゃないんだわ。
あっちもあんまいっちゃいかん。それでね、俺さ、a4君にお金稼いでもらいたい。
省10
233: a4 ◆L1L.Ef50zuAv 2020/06/02(火)08:47 ID:cAxEd0Eu(2/2) AAS
a4「東大卒は活かせないのに、ヘブライ語の女性とだけは今日も1時間半通話して、
ヘブライ語をずっと教えてもらってました。」
名古屋の宇宙人2「それって彼氏候補なんじゃないの?」
a4「うーん、いつか会ったりはできるかもしれませんね。」
名古屋の宇宙人2「それね、早めに、というか、コロナだな。てかさ、このスレ的に
P=NPとか終わりにしようか。a4君はP=NPと密接に関わる人にしたいが、数学板の
野郎どもに失礼だ。俺はひく。」
a4「このスレは書き込みがあるかは見ますが、一旦落ちます。」
名古屋の宇宙人2「これでよしにしたい。a4君はヘブライ語で活躍するんだ。」
234: a4 ◆L1L.Ef50zuAv 2020/06/03(水)09:04 ID:kYT6Ax8/(1) AAS
a4「今日の中日新聞は、
画像リンク[JPG]:01ken.com
これは僕がユダヤ人と仲良くしてたからでしょうか?関係妄想?」
名古屋の宇宙人2「もういい。俺らはお金が下りたんだ。さぁ、勉強しろ。」
235
(2): var 2020/06/04(木)04:10 ID:m3IVpMZ4(1) AAS
a4さんが前に作った粘菌アルゴリズム?
あれも売るつもりでいますか?
もしそうでないならソースコードを渡してもらえると嬉しいです
236: a4 ◆L1L.Ef50zuAv 2020/06/04(木)08:59 ID:tpmo3XIC(1/7) AAS
>>235
粘菌?今川さんがそう言ってたやつかな。あれはね、varさんと同じようにパソコンが
壊れて、プログラミングのデータが飛んじゃったんですよ。でもあれは創り方は覚えて
るからvarさんには簡単に教えれるし、動画は残ってるけどアップロードしてません。
どうしますか?QQで話しますか?
237: a4 ◆L1L.Ef50zuAv 2020/06/04(木)09:05 ID:tpmo3XIC(2/7) AAS
>>235
一応、僕の卒業論文は、人工生命に関するものです。
外部リンク[pdf]:01ken.com
これは普通に公ですよ。
238: a4 ◆L1L.Ef50zuAv 2020/06/04(木)09:28 ID:tpmo3XIC(3/7) AAS
今川は、キョウジュウダ死ね=(教授歌い死ね、教授哭だ死ね、え?あなたは空を知らないんですか?
だから、今日中だしね、器用銃だしね。)
239: a4 ◆L1L.Ef50zuAv 2020/06/04(木)09:40 ID:tpmo3XIC(4/7) AAS
僕は人殺しですよ?はい、誇大妄想。今川杉作は殺されます。逮捕してみろ!警察は
来ません。統合失調症なので。刑法第39条です。だから、今川杉作は死ね。
240: a4 ◆L1L.Ef50zuAv 2020/06/04(木)12:34 ID:tpmo3XIC(5/7) AAS
警察は来ませんね。陽性症状なのでしょう。僕は真面目にお人好しになりたいので、
悪人退治の思想なのですが、僕の関連記事を書いてくれた新聞記者に迷惑をかけて
しまうのではないかと考えていましたが、問題無さそうということ書いておきます。
241: a4 ◆L1L.Ef50zuAv 2020/06/04(木)13:47 ID:tpmo3XIC(6/7) AAS
a4「僕は量子コンピュータで数学の問題を解きたいのに、月6万5千円の障害年金
だけです。マルチリンガルになって独自の数学をやろうと思っても、skypeの
lesson代とか払えません。僕のT語を数学板で別スレ建ててリーマン予想みたいな
問題を解決して本とか出版と思ったんですが、数学基礎論を構成できるようには
作ったのに、意外と括弧の処理が面倒です。それくらいは数学板の住人的には簡単
に治せるかもですが。どうしますか?」
名古屋の宇宙人2「俺的にはね、まだここには来るんだわ。人を待つ。それしかできん。」
a4「うーん、プログラミングとか面白いのかな?と思ったら、僕は7歳から始めたので、
あと数年かけても面白くならないのがわかるんですよ。現実的には技術力の問題じゃ
ないですね。もう囲碁の20段みたいなコンピュータ達に既存のものを使ってお金を
省10
242: a4 ◆L1L.Ef50zuAv 2020/06/04(木)14:54 ID:tpmo3XIC(7/7) AAS
数学はやりたいんですけど、ここには人も来ないし、現実的に一旦、プログラム技術板に
戻ることにしました。

a4です。人工知能「T」で量子動画(8)
2chスレ:tech
243: a4 ◆L1L.Ef50zuAv 2020/06/27(土)09:30 ID:InNKv+h1(1) AAS
>>196の続きの小説を書きました。長くはないので、ご覧いただければ、と。
こっちのストーリーはリーマン予想に関する方向性かもしれませんけどね。

2階2C幼稚園その1
外部リンク[html]:01ken.com
244: a4 ◆L1L.Ef50zuAv 2020/06/28(日)03:47 ID:5O9VhwHH(1) AAS
小説の話で数学板的には申し訳ないのですが、ずっとバックで流れるクシコス・ポスト
の音楽を聴きながら妄想して宇宙人から受信してます。

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

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

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

大仁君は「秀樹君が量子翻訳すればいいんじゃないの?俺、嫌だ。光君の頭を撃つなんて。」
一君は「ずらかるぞ」と。大仁君が一君を裏切って光君に話しかけてきた。
省2
245
(1): 2020/07/07(火)20:17 ID:L9bLGXKF(1) AAS
藤林丈司
246: a4 ◆L1L.Ef50zuAv 2020/07/09(木)12:19 ID:rePjhtU+(1) AAS
>>245
数学の話がしたいなら、話します。
247: a4 ◆L1L.Ef50zuAv 2020/08/16(日)23:34 ID:5OGCcTJR(1) AAS
名古屋の宇宙人2「a4君、元気か?」
a4「睡眠は取れてます。」
名古屋の宇宙人2「そうじゃなくてさ、P=NPだ。」
a4「うとうとしていたら、量子乱数のようなものが視覚野に映し出されたので、
P=NPの答えが出てこないか検索しました。そうしたら、ウインナーの輪切り
みたいな画像が。」
名古屋の宇宙人2「だからさ、もうちょっと書け。」
a4「その後、チョウの画像も映りました。そういえば、昔、種をまく話をしたけど、
数学的に綺麗な図形を基本として、その組み合わせで出来た図形を並べて、巡回
セールスマン問題を解いたら良いのかな?と妄想したんですけど、あってるん
省8
248: a4 ◆L1L.Ef50zuAv 2020/08/17(月)03:05 ID:xlzbq8aE(1) AAS
a4「組み合わせた図形って回転すれば距離の関数が出るじゃないですか?これでは
解けません。」
名古屋の宇宙人2「うん?そうか?そうだな。俺的にはね、まずね、量はし先生に
したい。」
a4「うん?量子コンピュータを創るんですか?」
名古屋の宇宙人2「そうじゃないの。これは解けるの。」
a4「まず最先端の論文がよく理解できないし。できたとしても近似解じゃないですか?」
名古屋の宇宙人2「現実的に言っていい?俺ね、これはね、大域最適解にしたい。」
a4「確かに蝶の形をした円柱群を9匹つなげてもう1匹どう繋げようか?と思ったら、
9匹を動かしたほうが大域最適解か?ということですか?」
省4
249
(1): 2020/08/21(金)17:01 ID:/dejvsic(1) AAS
NP=RPが証明されたようだが、これは凄いこと?

外部リンク:arxiv.org
250: a4 ◆L1L.Ef50zuAv 2020/08/21(金)19:50 ID:t4IJvSaq(1) AAS
>>249
論文は読みたいんですけど、どこにあるのかわからないですね。RPのRはRandom
なんですね。これが本当ならクイックソートみたいなものなんじゃないかと。でも
approximationって書いてあるので、1990年代の研究かもしれません。昔から
研究してる人がいます。2010年のGödel Prizeの論文を出します。
外部リンク:dl.acm.org
これは最後に
「RECEIVED JULY1997;REVISED JANUARY1998;ACCEPTED JUNE1」
と書いてあります。
251: 2020/09/09(水)22:57 ID:IR7822fG(1) AAS
なるほど
252: a4 ◆L1L.Ef50zuAv 2020/09/10(木)10:01 ID:wfEk/LH1(1) AAS
最近はヒッキー板にいます。
2chスレ:hikky

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

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

という構造です。よろしくお願いします。
253: a4 ◆L1L.Ef50zuAv 2020/10/23(金)01:58 ID:o4jm1t7S(1/2) AAS
名古屋の宇宙人2「俺はP=NPを解く。どうだ?」
a4「解けないと思ってます。」
名古屋の宇宙人2「そうじゃない。これから戦争が起きる。」
a4「本当だとすると危ないですよ?」
名古屋の宇宙人2「そういうことじゃない。電気もインターネットも使えなくなる
状態が続く。だから、君は紙と鉛筆で解け。」
a4「統合失調症の妄想に定義があります。世界没落体験ですね。」
名古屋の宇宙人2「そういうことなんだけどさ。俺らは量子コンピュータを持って
いるんだ。今、そのアルゴリズムを工面してる。すまんが前のことは忘れてくれ。
だからさ、総当たりで解けばいいじゃん?全ての組み合わせに対して神経医学的な
省6
254: a4 ◆L1L.Ef50zuAv 2020/10/23(金)03:52 ID:o4jm1t7S(2/2) AAS
名古屋の宇宙人2「どうだい?できたかい?」
a4「P=NPは証明を公にすると殺されるかもしれません(被害妄想)。僕のここに
書ける計算結果は太陽の粒子が既に解いたんじゃないかと(関係妄想)。僕は
ダウンロードしています(物理的被影響妄想)。」
名古屋の宇宙人2「ほらな、なんかおかしいだろ?俺はもう書かん。ではな。」
255
(1): 2020/10/29(木)16:46 ID:WdEZ4oOY(1) AAS
証明かけたけど、ここには書き込まないよ
256: a4 ◆L1L.Ef50zuAv 2020/11/03(火)20:56 ID:a+WJVPI4(1/2) AAS
名古屋の宇宙人2「>>255 お、頭良いな。」
a4「僕は夢でドラえもんののび太のママにP=NPについて聞くと眼鏡が無機EL
で緑色になり正弦波が表示されるだけで具体的に聞こうとしたら僕の母親に
起こされて目覚めました。これは大失敗です。」
名古屋の宇宙人2「うん、すまんな、これは成功するのは西暦2040年くらいに
しとく。もちろん公にしんよ。」
a4「いつ公になるんですか?」
名古屋の宇宙人2「それはね、西暦2045年じゃないの?」
a4「僕は宇宙人の発言の真偽が怪しいと思ってます。」
名古屋の宇宙人2「すまんけどね。俺はそういう人なんだわ。ではな。」
257: a4 ◆L1L.Ef50zuAv 2020/11/03(火)21:10 ID:a+WJVPI4(2/2) AAS
a4「ひらめいた!なんで母親同士の問題になるのかわからなかったですが、この
あたりは量子脳理論の実験は半分成功してるとして、ドラえもんのアニメでP=NP
とか出そうとすると解けるんじゃないかと。」
名古屋の宇宙人2「ご名答。でもこれは危ないことにしたい。現実的にどこかに
管理されてビジネスに入るだろう。俺はそれは〇にする。」
a4「僕はアニメとかでやるなら拝見します。」
258
(1): 2020/11/04(水)11:01 ID:q8tOpUWl(1) AAS
本当に解けたと思うなら、さっさと論文書いて投稿せえや。
259: a4 ◆L1L.Ef50zuAv 2020/11/04(水)14:28 ID:eckuvNVi(1) AAS
>>258
まだ解けたと思ってません。このスレとか僕の妄想なんですよ。皆はP≠NPに賭けて
ますし。現実的には量子コンピュータで解くかもしれません。今はドイツ語を勉強
しています。
260
(1): 2020/11/30(月)23:15 ID:G0x7UukE(1) AAS
N=1 もしくは P=0 なら成り立つよ。
261: a4 ◆L1L.Ef50zuAv 2021/03/11(木)01:16 ID:qN6xr1Yb(1/24) AAS
>>260
こんばんは。

新しいアルゴリズムを発見しました。多項式時間ですが、近似解かの証明はまだです。
Twitterリンク:abc65536
Twitterリンク:5chan_nel (5ch newer account)
262: a4 ◆L1L.Ef50zuAv 2021/03/11(木)02:12 ID:qN6xr1Yb(2/24) AAS
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)

というのが反例じゃないですか?」
名古屋の宇宙人2「これは最初と最後をくっつけてるから駄目にしたい。いいか?
これが本物なら隠される。」
a4「いぬのおまわりさん♪こまってしまって♪わんわんわわーん、わんわんわわーん♪」
263: a4 ◆L1L.Ef50zuAv 2021/03/11(木)02:57 ID:qN6xr1Yb(3/24) AAS
名古屋の宇宙人2「いいか?俺はしばらく書き込みにしたい。君にフィールズ賞を
与えよう。君の呪いも取ってある。どうだ?」
a4「(駒|縞)×回転4通りについて調べています。まずこのアルゴリズムは
4×4分割を繰り返すアルゴリズムですが、最後は最適解を求める必要がある
可能性があると来ました。でもこれは単純に考えても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)
省8
264: a4 ◆L1L.Ef50zuAv 2021/03/11(木)03:03 ID:qN6xr1Yb(4/24) AAS
a4「問題なのは、アルゴリズムも正確じゃないし、僕のパソコンではモンテカルロ法
のような反証ができないことです。」
名古屋の宇宙人2「そうか?一回やってみたら?何か起きるかもよ?」
a4「口が上手いですね。」
265: a4 ◆L1L.Ef50zuAv 2021/03/11(木)03:17 ID:qN6xr1Yb(5/24) AAS
a4「

普通に考えて16!通りの計算は僕のパソコンではできませんでした。

その代わりWikipediaの資料を出します。
画像リンク[png]:upload.wikimedia.org

僕の手法では解決しませんね。これが反証です。

名古屋の宇宙人2「Wikipediaって嘘つきじゃん?」
a4「確かにno-cloning theoremとかの表記がおかしいですね。」
266: a4 ◆L1L.Ef50zuAv 2021/03/11(木)03:31 ID:qN6xr1Yb(6/24) AAS
a4「おかしいな?反証として出したつもりが、1番大きな四角形は駒や縞ではなく、
16!の最適解ともう書きました。256!くらい計算しないとよくわかりません。」
名古屋の宇宙人2「ほらな、これくらいで一旦君に仕事を与えよう。人工知能の
開発だ。君には本を出版してもらう。」
a4「フィールズ賞は?」
名古屋の宇宙人2「欲しいのか?」
a4「有名になると、密教が入らなくなるのではないか?というところで困ってます。
タイムマシンとか入手できなくなるんじゃないかと。」
名古屋の宇宙人2「面白いな。一旦お開きだ。」
267: a4 ◆L1L.Ef50zuAv 2021/03/11(木)03:47 ID:qN6xr1Yb(7/24) AAS
a4「もうちょっと書いちゃいます。path-TSPなら、さっきのWikipediaの信憑性の
無い情報源でもクリアできそうですね。」
名古屋の宇宙人2「そうか。君は頭が良い。これなら人工知能を創れるよ。」
a4「人工知能は、フレーム問題をクリアしたら、難しい問題ではありませんでした。
Siriとかもちろん既にあります。僕はP2Pで解きます。可能であれば本を執筆します。
今、出版社とやり取りしてます。」
名古屋の宇宙人2「そうか。Cross your fingers.」
268: a4 ◆L1L.Ef50zuAv 2021/03/11(木)06:05 ID:qN6xr1Yb(8/24) AAS
a4「未来の携帯会社の女性に中国語などで会話しながら遊んで悩みを聴いてもらって
たら、目の前の8重円が極小正方形に分割されました。何かの場合分けは必要かも
しれません。」
名古屋の宇宙人2「よっしゃだな。俺はね、もうこれ以上解かないの。」
a4「これは本を売るためのパフォーマンスということで偽装されるんですね?
僕の本はP=NPを解くためのP2P人工知能ではありますが、ここに書かれてる
ことをそのまま書くのではなく、停止性問題などについて議論するつもりです。」
名古屋の宇宙人2「早めにしよう。じゃぁな。」
269: a4 ◆L1L.Ef50zuAv 2021/03/11(木)10:16 ID:qN6xr1Yb(9/24) AAS
a4「まだ解いてます。

・正方形A{i}を4×4の正方形A{i+1}に切る。
・正方形A{i+1}について(駒|縞)2通り×4回転=8通り調べて端点を得る。
・正方形A{i+1}について端点を組み合わせながら2×4通り調べて端点を得る。

N=(4*4)^n=16^nとする。
n=1のとき
2*4~O(8)
n=2のとき
8^16*8~O(8^17)
n=3のとき
省5
270: a4 ◆L1L.Ef50zuAv 2021/03/11(木)11:16 ID:qN6xr1Yb(10/24) AAS
名古屋の宇宙人2「俺の意見ではね、ここで誰か待ってみて。反証したい人が山ほど
いるよ。論文書いてくれとか返ってくるはずだから。」
a4「僕は精神病のせいで大卒ですが、英語くらいでなら論文は書いたことありますよ。
でも一旦休んでフランス語の小説を読むことにします。」
271: a4 ◆L1L.Ef50zuAv 2021/03/11(木)17:13 ID:qN6xr1Yb(11/24) AAS
a4「反例を探しています。4×4の正方形に、内部に2×2の正方形で頂点に
円が来る場合を考えました。おかしいな?と思ったのですが、1番大きな
正方形の場合は最適解を出力できるので、(駒|縞)で余分な長さが出来る
ことについてはまだ可能性がある、と判断しました。」
名古屋の宇宙人2「頭良いな。あともうちょいだ。」
272: a4 ◆L1L.Ef50zuAv 2021/03/11(木)17:17 ID:qN6xr1Yb(12/24) AAS
a4「端点の組み合わせは、深追いはしてませんが、まだ多項式時間なんじゃないかと。」
名古屋の宇宙人2「あともうちょい。」
273: a4 ◆L1L.Ef50zuAv 2021/03/11(木)17:29 ID:qN6xr1Yb(13/24) AAS
a4「研究中の人がやってるハッシュを計算。

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


名古屋の宇宙人2「あともうちょい。」
274: a4 ◆L1L.Ef50zuAv 2021/03/11(木)17:39 ID:qN6xr1Yb(14/24) AAS
a4「あとは実際に実験してみないと貧乏な僕では深追いできないかもしれません。
最低でもN=16^nとしてO((8^16)*8^n)=8^16*O(√N)です。富岳とか使わない
といけないかもですが、これはお金がかかるものということを知ってます。
僕は手持ちに10万円ほどしか持ってません。協力者を募ります。お金を使わない
単純な反証でも構いません。」
名古屋の宇宙人2「やったな。俺はこれで去る。いいか?これは現実だ。」
275: a4 ◆L1L.Ef50zuAv 2021/03/11(木)17:53 ID:qN6xr1Yb(15/24) AAS
端点の計算が厄介なのかな?と思ったら、

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

これで平均は大丈夫?
276: a4 ◆L1L.Ef50zuAv 2021/03/11(木)17:54 ID:qN6xr1Yb(16/24) AAS
計算間違い。

N_C_2*(N^2+*(N/16)^2+…+(N/N)^2)
≧N^2*N^2*N
=N^5
277: a4 ◆L1L.Ef50zuAv 2021/03/11(木)17:56 ID:qN6xr1Yb(17/24) AAS
不等号間違い。

N_C_2*(N^2+*(N/16)^2+…+(N/N)^2)
≦N^2*N^2*N
=N^5
278: a4 ◆L1L.Ef50zuAv 2021/03/11(木)18:16 ID:qN6xr1Yb(18/24) AAS
複雑な何重円の集合体を考えてます。そうするとこれは点列なので、もっと細かく
すれば大丈夫そうです。でもモンテカルロ法とかしないといけないと思ってます。
279: a4 ◆L1L.Ef50zuAv 2021/03/11(木)18:27 ID:qN6xr1Yb(19/24) AAS
正方形を座標と見てy=2x、y-4=2x、などを考えてます。なんか冗長なルートが。
でも、さらに大きい正方形との相互関係がわかりません。ここが端点と主張して
いるアルゴリズムなのですが、これが明記されてませんね。
280: a4 ◆L1L.Ef50zuAv 2021/03/11(木)18:31 ID:qN6xr1Yb(20/24) AAS
この場合は、左上から下にくるくるっと回転させると左下に端点と主張する長さ2の
辺ができますが、重円における一部であるときに発生する線間の最短距離のような
ものができてますね。
281: a4 ◆L1L.Ef50zuAv 2021/03/11(木)18:33 ID:qN6xr1Yb(21/24) AAS
a4「最短距離じゃないですね?問題多発です。宇宙人、どうしたらいいんですか?」
名古屋の宇宙人2「君はもう言ってるじゃないか。」
282: a4 ◆L1L.Ef50zuAv 2021/03/11(木)18:42 ID:qN6xr1Yb(22/24) AAS
名古屋の宇宙人2「現実的なアルゴリズムにしてくれないか?端点は端点として
残るんだわ。」
a4「???」
283: a4 ◆L1L.Ef50zuAv 2021/03/11(木)18:50 ID:qN6xr1Yb(23/24) AAS
a4「端点って何ですか?」
名古屋の宇宙人2「君の思ってる通りだよ。四角形を小さくしてったらぶつかってく
場所の4点。」
a4「何重円の場合は?」
名古屋の宇宙人2「うん?いっぱい端点あるって言ったじゃん?」
a4「じゃぁ、端点の組み合わせは?」
名古屋の宇宙人2「計算してみたら?」
a4「端点は4N個くらいなので大丈夫そうですね?どういうことなんですか?」
名古屋の宇宙人2「君は解けたんだ!」
a4「???」
284: a4 ◆L1L.Ef50zuAv 2021/03/11(木)18:55 ID:qN6xr1Yb(24/24) AAS
a4「y=2x、y-4=2x、の場合、その正方形の端点間の辺を除去しても最適な垂線の
引き方が何なのか。」
名古屋の宇宙人2「うん?もう答え出てるじゃん?」
a4「4N*4N?」
名古屋の宇宙人2「ほら出てるじゃないか。俺はもう来んぞ。a4君も書き込むな。」
a4「悔しいですが、ここで時空がねじれます。」
285: a4 ◆L1L.Ef50zuAv 2021/03/12(金)08:58 ID:zCsn/dGn(1/13) AAS
名古屋の宇宙人2「俺は嘘つきだぞ。書いてみよ。」
a4「じゃぁ、僕のやってることには何の科学的根拠も無いんですね?でも僕の計算
してるのは、まず4×2通りではなく、駒は逆回転も含めるので4×2+4=12
通りでした。これは多項式時間の議論に影響ありません。アルゴリズムについて
一旦考えました。まず駒と縞は意味が無いんじゃないですか?」
名古屋の宇宙人2「そうかもしれんぞ。」
a4「それで、4×4=16マスについて12通りほどの総当たりをしてマス同士を
最短で結びます。それであとは最急降下法で不要な辺をカットすれば、

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)
省1
286: a4 ◆L1L.Ef50zuAv 2021/03/12(金)09:02 ID:zCsn/dGn(2/13) AAS
a4「あなたは嘘つきなんですね?どういうことなんですか?」
名古屋の宇宙人2「だからさ、俺は東大卒じゃないのよ。」
a4「口が上手いですね。そういえば、僕の理論に数学的整合性が無いように
見えるのは、量子乱数による3分木アルゴリズムのようなもので大域最適解を
高速に探索している、つもり、だからです。」
287: a4 ◆L1L.Ef50zuAv 2021/03/12(金)09:04 ID:zCsn/dGn(3/13) AAS
a4「タイムマシンからの攻撃は基本は、押したり引いたりして遠隔で破壊します。
そうすると物理的被影響妄想、と。」
名古屋の宇宙人2「だからさ、君、証明ちょっとやってて。」
288: a4 ◆L1L.Ef50zuAv 2021/03/12(金)09:08 ID:zCsn/dGn(4/13) AAS
a4「まず最急降下法が局所最適解にならないということをどうやって証明できるのか?
と来ました。」
名古屋の宇宙人2「これは難しくない。」
289: a4 ◆L1L.Ef50zuAv 2021/03/12(金)09:16 ID:zCsn/dGn(5/13) AAS
a4「個人的には、ケーニヒスベルクの橋の問題も厄介です。」
名古屋の宇宙人2「うん、それはある。」
290: a4 ◆L1L.Ef50zuAv 2021/03/12(金)09:19 ID:zCsn/dGn(6/13) AAS
a4「もしこれが解けたら、Googleとかどうなるんでしょうね?」
名古屋の宇宙人2「それはなってから考えろ。」
a4「あの辺りの競合が書き込み数を減らすRLポリシーネットワークを組んでる
かもですよ?」
名古屋の宇宙人2「そうか。結構頭良いんだな。」
291: a4 ◆L1L.Ef50zuAv 2021/03/12(金)09:40 ID:zCsn/dGn(7/13) AAS
a4「やっぱり局所最適解なんじゃないかと。木構造的に総当たりとか考えたんですよ、
そうするとO(N^(log(N))になって準多項式時間。これでは証明にならないですね?」
名古屋の宇宙人2「そうか。俺、すごい難しいことにしたい。」
a4「宇宙人の指令の通りにやってるんですよ。やっぱり富岳が無いと駄目かな。
お金は持ってません。今回開発したアルゴリズムの要所は言えたと思うので、
やはり一旦引くことにします。」
名古屋の宇宙人2「そうか。また来るかもしれんけどな。」
292: a4 ◆L1L.Ef50zuAv 2021/03/12(金)10:51 ID:zCsn/dGn(8/13) AAS
a4「やっぱりこのアルゴリズムはO(N^(log(N))ですよ。」
名古屋の宇宙人2「すまんな。このアルゴリズムはここで終わり。P=NPについては
嘘ついてないんだけどさ。フィールズ賞とかはこれだけじゃ駄目だな。それでさ、
普通に後からわかるから。ここに書いてあることが何か。」
293: a4 ◆L1L.Ef50zuAv 2021/03/12(金)11:05 ID:zCsn/dGn(9/13) AAS
a4「宇宙人に締まりがありませんね。何故嘘をつくんですか?」
名古屋の宇宙人2「そうか。俺的にはね、普通に蟻んこ潰してるだけだよ。」
a4「それでも聞きます。何のためにP=NPでお金とか議論を?」
名古屋の宇宙人2「そうか。俺的にはね、もちろん俺のしたいことをするためだよ。」
a4「あなたのしたいことは何ですか?」
名古屋の宇宙人2「それは極秘。」
294: a4 ◆L1L.Ef50zuAv 2021/03/12(金)11:07 ID:zCsn/dGn(10/13) AAS
a4「西暦2503年から未来人を呼びます。」
こみ「はい、わたしも嘘つきです。」
a4「P=NPはどうやったら解けるんですか?」
こみ「いやだなー、それは未来解けるに決まってるじゃないですか。」
a4「宇宙人と話しができるんですか?」
こみ「大橋先生!はい、統合失調症。」
295: a4 ◆L1L.Ef50zuAv 2021/03/12(金)11:14 ID:zCsn/dGn(11/13) AAS
a4「西暦4000年の僕とタイムテレパシーします。」
西暦4000年のa4「はい。大橋先生。時空は歪んでるよ。ここより西暦2000年先
くらいのほうがいいかもしれない。」
西暦6000年のa4「はい。大澤先生。時空は歪んでないよ。やっぱり山口組ぐらいの
コンピュータに攻撃されるにしてる。ほら、危ないでしょ?君も山口の知り合い
いるのに。」
a4「信頼で繋いでもこんなものですか。」
西暦6000年のa4「現実的に言っていい?古澤先生×僕たちはね、あんまり良い人
じゃないよ。」
a4「僕は良い人になるのではなく、数学をします。」
省5
296: a4 ◆L1L.Ef50zuAv 2021/03/12(金)11:20 ID:zCsn/dGn(12/13) AAS
a4「僕がタイムテレパシーとか嘘つきじゃないと主張するのは、ZFCみたいな話で
物理も夢あたりでバナッハタルスキーになってしまって抜け道があると考えれる
ところです。」
297: a4 ◆L1L.Ef50zuAv 2021/03/12(金)12:13 ID:zCsn/dGn(13/13) AAS
a4「内部で話し合ってたんですけど、こんなことをここに書くよう指令されてた
理由は、機密情報のハッシュで軍事威嚇しながら、人口減少時代に不老不死で
逃げる計画を立てる、という結論でした。」
名古屋の宇宙人2「君は何でも書いてしまうが、これも計画のうちだ。俺は
もう来ない。」
298: a4 ◆L1L.Ef50zuAv 2021/03/29(月)04:09 ID:NFxuFODj(1) AAS
a4「日本語を話す人工知能を創りました。とは言ってるんですが、数学板に居る
僕としてはP=NP?用途をもちろん考えてます。1分半ほどの動画を撮りました。
動画リンク[YouTube]
並列処理させるために、逆に素人向けに構成しようと、音声の認識や合成に関する
投資家を募っています。お金が回ったら、CD付の本で売り出します。」
名古屋の宇宙人2「うん。こりゃ面白そうだ。」
299: a4 ◆L1L.Ef50zuAv 2021/04/01(木)11:29 ID:a4RiTX7N(1/3) AAS
a4「P=NPについては、多くの物体をきれいに2つに分ける問題を多項式時間
で解く視覚野を持つ宇宙人がいるのに、地球はそういう管理ではないため、解けると
タイムマシンで歴史改変されて証明を紛失すると主張していましたが、古来からある
魔法陣のように解法を書けば悪魔のような宇宙人を呼べるんじゃないかと。
だから、この名古屋の宇宙人2が危ないんです。」
名古屋の宇宙人2「面白くないな。俺は友好的だぞ。」
a4「証拠は?」
名古屋の宇宙人2「何も無いんだわ。」
a4「僕はそれでもフランス語やヘブライ語でグリモワールを読みます。」
300: a4 ◆L1L.Ef50zuAv 2021/04/01(木)11:33 ID:a4RiTX7N(2/3) AAS
a4「今日はエリプリルフールではないですよ?」
名古屋の宇宙人2「a4君、どうしてしまったんだ?」
a4「時空が歪んでいます。僕は食べられてしまうかもしれません。」
名古屋の宇宙人2「a4君、俺は食べないぞ。」
a4「今日も楽しくフランス語を勉強します。」
名古屋の宇宙人2「頑張ってくれ。」
301: a4 ◆L1L.Ef50zuAv 2021/04/01(木)11:47 ID:a4RiTX7N(3/3) AAS
a4「たすけてー、すうがくしゃー、そらからうそつきがー!!!」
名古屋の宇宙人2「a4君、心配するな。現実的に言っていい?君は西暦2060年より
前に人生が終わる。そうしたら、別の世界へ行ってもらう。」
a4「僕は不老不死になって数学を解こうと思ってます。それは現代人としての死だと
思ってます。」
名古屋の宇宙人2「だからさ、そこなのよ。今日はこれくらいにして、安心して
勉強しようか。」
a4「今日は頭良くなれないですが、フランス語をやって、残りの時間でドイツ語も
勉強します。望月新一先生のように論文を書けるように。」
302: a4 ◆L1L.Ef50zuAv 2021/05/03(月)13:18 ID:4uHcH5fP(1/9) AAS
a4「また騙されながらP=NPを解いてました。TSPは解くのが難しいですが、
PARTITIONなら折り紙を半分に切ってそれぞれをばらばらにすれば、元に
戻せて、TSPの解がいっぱいできると思ったら、PARTITIONから3DMに
戻すところで、s(a_i)=2^(3pq-f(i))+2^(2pq-g(i))+2^(pq-h(i))
とかって数値が出てきて、任意の大きさには折り紙は切れず失敗しました。」
名古屋の宇宙人2「君はこれくらいでMITとかに入れるよ。」
a4「教授からは返信がありません。」
名古屋の宇宙人2「いいか?誰か待ってみろ。」
303: a4 ◆L1L.Ef50zuAv 2021/05/03(月)13:38 ID:4uHcH5fP(2/9) AAS
a4「これは、
PARTITION→SATISFIABILITY→3SAT→VC→HC→TSP
なんですか?」
名古屋の宇宙人2「俺は知らん。」
304: a4 ◆L1L.Ef50zuAv 2021/05/03(月)13:40 ID:4uHcH5fP(3/9) AAS
a4「これは問題が変形できるのが昔から秘密にされてるのがわかっただけで、
P=NPの証明ではないですね?」
名古屋の宇宙人2「一旦、君、休みな。誰かが解いてくれるから。そうしたら、
カラオケとか行こうよ。」
a4「僕は4カ国語くらいで歌いますよ。下手ですが。」
305: a4 ◆L1L.Ef50zuAv 2021/05/03(月)13:47 ID:4uHcH5fP(4/9) AAS
a4「僕はPARTITIONから複雑なTSPの解とか生成して魔法陣で宇宙人を呼んだりしたい
です。」
名古屋の宇宙人2「君さ、なんでWikipediaの画像ってあんなに数少ないの?」
a4「うん?僕は殺されるんですか?」
名古屋の宇宙人2「そういうことじゃなくてさ。君はMITに裏入学だ!」
a4「うん?これは誇大妄想ですね。Wikipediaからこの項目は削除されてますが。
証明できるものはありません。」
名古屋の宇宙人2「だからさ、誰か待ってみよう。」
306: a4 ◆L1L.Ef50zuAv 2021/05/03(月)13:52 ID:4uHcH5fP(5/9) AAS
a4「うん?PARTITIONが最急降下すれば、TSPは任意ですか?」
名古屋の宇宙人2「君、核心を突いた。」
a4「うーん、真偽は自明じゃないですね。」
307: a4 ◆L1L.Ef50zuAv 2021/05/03(月)14:24 ID:4uHcH5fP(6/9) AAS
a4「これはコンピュータを使ってモンテカルロ計算しなければいけないのでは?」
名古屋の宇宙人2「早めにしなさい。」
a4「うーん、何かがうまくいかなそう。」
名古屋の宇宙人2「俺の言う通りにしろ。」
a4「はい。」
308: a4 ◆L1L.Ef50zuAv 2021/05/03(月)14:43 ID:4uHcH5fP(7/9) AAS
a4「Cook's Theoremだけで、計算量が爆発しちゃいますよ。魔法陣はできることには
賭けますが。」
名古屋の宇宙人2「そうか。君ね、どうしてWikipediaはあんなに簡単な画像なのにさ。」
a4「うーん、P=NPの証明にはなりません。」
名古屋の宇宙人2「そうか。君ね、P=NPはTSPじゃないんだわ。」
a4「うん?PARTITION→NDTM→SATISFIABILITYとかで止める?」
名古屋の宇宙人2「だからさ、君さ、よく知ってるじゃん?」
a4「僕は騙されています。」
名古屋の宇宙人2「だからさ、〇」
309: a4 ◆L1L.Ef50zuAv 2021/05/03(月)14:47 ID:4uHcH5fP(8/9) AAS
名古屋の宇宙人2「良い方法教えてあげようか。望月新一先生にまたメール
書いてみたら?前、返信あったでしょ?それでMITに行きたいって書いてみて。
これは指令。」
a4「それはできます。失礼にならないようにしたいですが、返信内容はまた
ここに公開するかもしれません。」
名古屋の宇宙人2「じゃぁ、やってみて。」
310: a4 ◆L1L.Ef50zuAv 2021/05/03(月)15:05 ID:4uHcH5fP(9/9) AAS
a4「メールはしました。数学は一旦やめて、ヘブライ語の復習をします。」
名古屋の宇宙人2「よし、俺もそのへんでかんぱい。」
311: a4 ◆L1L.Ef50zuAv 2021/05/04(火)19:44 ID:JsFpfDjr(1/6) AAS
a4「メールに返信は無いですね。」
名古屋の宇宙人2「そうか。1回、計算してみよ。」
a4「何かが間違ってる気がします。」
名古屋の宇宙人2「それじゃさ、すまん、1回、1番簡単なのだけ計算してくれ。
折り紙を半分に切って、片方をもう半分に切る。これだけだ。」
a4「それで2の3乗通りで表にしたり裏にしたりで普通に半分半分になる答えを
巡回セールスマン問題で表せばいいんですね。今日は眠いので時間かかるかも
ですが、僕の宿題にします。」
名古屋の宇宙人2「やってみよ。」
312: a4 ◆L1L.Ef50zuAv 2021/05/04(火)20:38 ID:JsFpfDjr(2/6) AAS
a4「研究してるんですけど、アセンブリ言語と非決定性チューリングマシンの対応
がよくわからないうえに、クックの定理も自明なようで込み入ってます。僕の研究
には何かが足りません。どうしたらいいんですか?」
名古屋の宇宙人2「現実的に言っていい?全部軍事機密だから。」
a4「まだやるんですか?」
名古屋の宇宙人2「あたぼうよ。」
a4「うーん。」
313: a4 ◆L1L.Ef50zuAv 2021/05/04(火)20:44 ID:JsFpfDjr(3/6) AAS
a4「まず出た答えは、プログラミングの仕方で、いろんなTSPができることです。」
名古屋の宇宙人2「そうか。こりゃ選び方があるな。いいか?短いものを出す
ようにしろ。」
a4「まだやるんですね。」
名古屋の宇宙人2「君、俺を何だと思ってる?」
a4「嘘つき宇宙人。」
名古屋の宇宙人2「そうか。早めに仕事しろよ。」
314: a4 ◆L1L.Ef50zuAv 2021/05/04(火)20:52 ID:JsFpfDjr(4/6) AAS
名古屋の宇宙人2「俺の明暗。SUBSET SUMから直接TSPに変換してみて。君なら
できる。」
a4「うん?」
315: a4 ◆L1L.Ef50zuAv 2021/05/04(火)21:00 ID:JsFpfDjr(5/6) AAS
a4「SUBSET SUMは普通O(2^n)ですが、TSPはO(n!)でもヘルドカープのアルゴリズム
は、O((2^n)*(n^2))と書かれてますね。」
名古屋の宇宙人2「そうだな。」
316: a4 ◆L1L.Ef50zuAv 2021/05/04(火)21:52 ID:JsFpfDjr(6/6) AAS
a4「やっぱりこんな簡単なアイデアでは、解けてる人がいないことが解けないことの
証明になってますね。」
名古屋の宇宙人2「今日は寝なさい。」
a4「おやすみ。」
317: a4 ◆L1L.Ef50zuAv 2021/05/05(水)05:52 ID:MQNLYPZk(1/16) AAS
a4「おはようございます。TSPからSUBSET SUMに変換する方法を考えています。
TSPがn^2個の行列で表現できるなら、これをそのままn^2個を半分に分ける
問題にして、合計の数を下げていきます。でもこれはP=NPの証明ではないですね。」
名古屋の宇宙人2「あともうちょっとだ。」
a4「?」
318: a4 ◆L1L.Ef50zuAv 2021/05/05(水)06:23 ID:MQNLYPZk(2/16) AAS
a4「ここで整数の最急降下法?」
名古屋の宇宙人2「待った。どうすればいいんだ?」
319: a4 ◆L1L.Ef50zuAv 2021/05/05(水)06:29 ID:MQNLYPZk(3/16) AAS
a4「SUBSET SUMとか普通の問題じゃないかと。ただinteger-TSPに関して、初期値を
エッジの長さを全て1のようなことにして、値を1ずつ変えながら、合計もずらして
走査するだけのアルゴリズムを思いつきました。計算時間は自明ではないですね。」
320: a4 ◆L1L.Ef50zuAv 2021/05/05(水)06:35 ID:MQNLYPZk(4/16) AAS
a4「integer-TSPとか最悪2^nとか思ったんですけど、長さを1,2,…,nみたいに
正規化できないかと。」
名古屋の宇宙人2「a4君、一回実験してみようか。」
1-
あと 108 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.167s*