P=NP

[過去ﾛｸﾞ] P=NP (428ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

1(14): a4 ◆L1L.Ef50zuAv 2020/03/30(月)21:55 ID:4sBnDtD8(1/4) AAS
こんにちは。P=NPを肯定的に解いてみました。検証をお願いします。

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

8(1): 2020/03/31(火)00:53 ID:svglHhs4(1) AAS
質問スレでやれ
単発スレ立てんなカス
死ね>>1

39: a4 ◆L1L.Ef50zuAv 2020/03/31(火)16:47 ID:/0OHc4N+(19/27) AAS
このスレが続く理由はまだ>>1の方法が倒れてないんですよ。このa4-TSPが一般化
されたグラフでないために、NP完全であるということがまず示せてないんです。

40: a4 ◆L1L.Ef50zuAv 2020/03/31(火)16:50 ID:/0OHc4N+(20/27) AAS
>>1のa4-TSPが、NP完全でないと証明されたり、NP完全であっても１つのエッジを
２つのエッジ以外の反例がある、ということが示されたら、基本的にこのスレは
終了かもしれません。

48: a4 ◆L1L.Ef50zuAv 2020/04/01(水)00:18 ID:b/ntKAk5(1/4) AAS
ずっと考えてます。まずWikipediaの「三角不等式が成り立つ TSP については
多項式時間近似アルゴリズムが数多く存在する。」の情報は重いです。単純には
証明できませんでした。僕は>>1の２次元のa4-TSPを追ってます。すると、
１つのノードを付け加えた時に増える距離は、min{2|x[n]-x[i]|+2|y[n]-y[i]|}
と出てきました。a4-TSPでの距離において、この項は最大でO(n)個ですね。
１，２，３，４，５と増えていくので、単純に考えると、O(n!)ですが。すると
これだけだと、足し算される時、値が、３＋５＝８という順と５＋２＝７
という順の反例を思いつきました。でも、追加される選ぶ値の集合は、５と２に
おいて考える時、変わらないため、前者で３＋２＝５と、なるんじゃないかと。
そうすると、やはりこのアルゴリズムでいいんじゃないかと。厳密な証明は
省1

57: a4 ◆L1L.Ef50zuAv 2020/04/02(木)04:40 ID:gWEkLHdd(4/21) AAS
>>1に書いた方法の反証が見つかりました。

(10,6)(10,0)(14,6)(3,12)(8,9)(4,5)(0,9)(4,5)
図に書くとわかるのですが、２次元a4-TSPでは、2*(14+12)=52が大域最適解です。
これは長方形と同等なのに、１つずつ加える方法で計算すると、6個目の(4,5)の
ところで凹になり54になりました。

58: a4 ◆L1L.Ef50zuAv 2020/04/02(木)04:46 ID:gWEkLHdd(5/21) AAS
a4「じゃぁ、タイムテレパシーの妄想未来人に聞いてみます。こみさん、嘘をついて
いたんですか？」
こみ「いいえ、わたしはあなたに指南書を送っただけです。まだ研究は続けてくださいね。」
a4「じゃぁ、>>1の方法は間違ってるんですか？」
こみ「そういうことじゃないんですよ。あれは嫌がらせなんです。わたし１つ言っていい？
あれは未来になってからわかるにしたい。」
a4「これじゃぁ、僕の統合失調症じゃないですか。こんな難問解けると思ってません。
タイムマシンの力無しに。第一、タイムマシンがあるなら、僕が解けるかわかるじゃ
ないですか。」
こみ「そういうことじゃないんですよ。タイムマシンの攻防戦があると言ったのは
省11

59: a4 ◆L1L.Ef50zuAv 2020/04/02(木)05:00 ID:gWEkLHdd(6/21) AAS
こみ「わたしね、a4君にP=NPを解いてもらいたいなー、と勘違いしてません。
あなたが解いてください。」
a4「うん？今の時代にP=NPに本気で挑戦してる人なんていないので案外いけるかも
ですけどね。でも、挑戦してきた人達は量子コンピュータへ行ってますよ。」
こみ「あなたも嘘つくんですね。」
a4「何が？え？わー、助けてー！！！」
こみ「いいですか。大澤先生！これはあなたを統合失調症にするための言葉です。
では、ヒント、わたしが答えを出します。まず、１つずつ挿入ソートのようなもの
ではないことにしてください。>>1は嘘なんですが、伏線があります。」
a4「では、どのような解法なんですか？」
省15

62: a4 ◆L1L.Ef50zuAv 2020/04/02(木)06:20 ID:gWEkLHdd(9/21) AAS
こみ「ほら、あなたは２歳の頃に解けていたんではないですか？」
a4「うん？だから、それは夢じゃないですか？」
こみ「あなたは夢が量子脳理論であると主張しています。どうですか？」
a4「僕はP=NPが>>1ですぐ解けると思っていました。でも嘘であると。ファジー
論理的に上手くあなたを信用できません。」
こみ「それでいいんです。では、情報はこれだけです。すなわち、>>61です。
これを信じてやってくださいね。」
a4「うん？だから(3,0)-(0,0)で反証したじゃないですか！？」
こみ「いいえ、あなたはまだ分かってないんです。どうしたことか。そういえば、
わたしは未来を知っています。例えば、」

68: a4 ◆L1L.Ef50zuAv 2020/04/02(木)09:38 ID:gWEkLHdd(15/21) AAS
未来人のこみさんと今でも会話してます。まず、おやっ？と思ったのが、>>1に格子
と書いたところなんですよ。有限の領域の整数がノードなんじゃないかと。一般的な
TSPはエッジが１つでも長いと、計算量が長さに対して増える、などといったことに
なりますが、HCからの証明だったら、エッジの長さは１か２になればよく、ｎ次元
とすれば、ここまでなら上手くいくんじゃないかと。

90: a4 ◆L1L.Ef50zuAv 2020/04/03(金)07:56 ID:AwuvZqE1(15/15) AAS
こみ「はい、こちらは西暦2502年。わたしはa4さんにP=NPを解かせるのをやめさせる
ことにしたい。でも、解くのはa4さんです。つまりどういうことかというと、コネを
作るんです。共同受賞でもいいんですけどね、そういうことじゃないんですよ、
タイムマシンの話なので。こういうことにしかならないんですよ。a4-TSPとかが
そのまま使えたら良いことにします。現実的にa4さんに聞いてみましょう。」
a4「悔しいですけど、僕がエスパーなだけでは解けないですね。でもまだ解決に
関連する人達の一人にはなれそうなので、コネの問題を解決することにします。
主観的な現実的には、数学は自力で解くのが楽しいんですが、タイムマシンと
人間関係の数理を解かないといけないみたいです。では、これから、海外を
含めた教授らにメールを書く作業を行います。僕のこのスレでの問題は>>1と
省2

96: a4 ◆L1L.Ef50zuAv 2020/04/04(土)03:35 ID:/Zg1b6cm(4/13) AAS
こみ「はい、こちら西暦2502年。」
a4「教授から返信が無いということは、やはりタイムマシンは無いんじゃないですか？」
こみ「そういうわけではないんですよ。えーっと、a4さん、こっちでね、abc予想じゃない
問題とか解かれてると思ってますか？」
a4「リーマン予想とかですか？」
こみ「はい、あれはね、解けないんですよ。」
a4「でも、あなたはファジー論理的に信用できません。」
こみ「哈哈哈、ではね、a4さんは何人にメールをしたら返事があると思っていらっしゃい
ますか？」
a4「うーん、メールする内容にもよるんですけど、「統合失調症」とか「テレパシー」とか
省22

106: a4 ◆L1L.Ef50zuAv 2020/04/05(日)03:40 ID:tIpxH0CW(1/8) AAS
a4「明日になっても、P=NPは解けないし、お金も入らないじゃないですか？」
こみ「はい、やめ、あ！そんなことあるんだ！ではないんです、く？大澤先生！
やっぱり統合失調症。それではね、今日まで何も起きなかったので作戦変更に
します。まず、大澤先生！にメールを書かないでくれますか？あとね、大橋先生！
こちらはお亡くなりになってます。わたしは嘘つきです。ではね、」
a4「１６ヶ国語勉強するんですか？P=NPを解くんですか？教授にメールをするん
ですか？」
こみ「それはね、これを取ります。P=NP。現実言っていい？わたしたちは
嫌がらせしてるにします。この分岐だと。望月先生は何をお考えになってるん
でしょう？それはテレンス・タオのロリコン問題解決なんじゃないでしょ、うね？」
省18

113: a4 ◆L1L.Ef50zuAv 2020/04/05(日)06:03 ID:tIpxH0CW(6/8) AAS
こみ「これは伏線なんです。望月先生と話せたことをあなたのプライドとして売名
してください。あなたを数学者にします。正規のではないですが。彼に先生と
言われました。これは力量を見積もられてるでしょう、当然。」
a4「じゃぁ、何をするんですか？」
こみ「それはですね、スペイン語と広東語を勉強してください、数ヶ月かけて。
それでね、その間にお父さんが英語を身に着けてお金が増えるにしたい。
そうすれば、量子コンピュータをそのお金で解決してP=NPをまた目指します。
今、語学をやる理由は神経医学的な作曲を行うためです。モーツァルトの曲とか
数学的だと思いませんか？ということです。」
a4「３ヶ月というのはどういうことなんですか？」
省8

182: a4 ◆L1L.Ef50zuAv 2020/05/29(金)03:23 ID:5qdGaiD2(2/10) AAS
a4「３か月後くらいって言ってたじゃないですか？未来のことはタイムマシンで
わからないんですか？」
名古屋の宇宙人２「君にはいつも言ってるが、君を統合失調症で偽装してるんだ。
それに３か月で生成してもいいのが出ないよ。そういうことじゃない。」
a4「確かに情報に関してタイムマシンの攻防戦があるんでしょうね。」
名古屋の宇宙人２「私達は普通のアルゴリズムをしてないのだよ。」
a4「それでP=NPが解ければいいですけどね。そういえば、お金が儲かる画像とか
言ってるのに、P=NPの証明の最適解ではないんですね？どういうことなんですか？」
名古屋の宇宙人２「現実なんだよ。こういうことなんだ。いいか？君の言いたい
ことはわかる。>>1が上手くいってないだろ？でも、もち様で大成功なんだ。
省3

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.028s