探検
P vs NP
■ このスレッドは過去ログ倉庫に格納されています
https://arxiv.org/abs/1708.03486
A Solution of the P versus NP Problem
Norbert Blum
(Submitted on 11 Aug 2017)
Berg and Ulfberg and Amano and Maruoka have used CNF-DNF-approximators to prove
exponential lower bounds for the monotone network complexity of the clique function and of
Andreev's function. We show that these approximators can be used to prove the same
lower bound for their non-monotone network complexity. This implies P not equal NP.
> ついに証明されたぞー
凄い！
この証明が正しければ、想像してたよりも色んな意味であっけなく片が付いたというのが正直な個人的感想です
それはともかく、これが正しいならば、P≠NPという形で解決したということは多項式時間階層も潰れないから、
計算量理論屋さんにとって時間計算量クラスの間の等不等に関する未解決問題は無数に残っているので
失業の心配も当分は不要ということになる
これとは全く独立だけど同じ時期にHPのパロアルト研究所の研究員のVinay Deolalikarが
１日だけプレプリントを彼のホームページに公開して「証明した」って発表して
しかも計算量の大家にしてTuring賞受賞者のStephan Cookが「まともそう」ってお墨付きを与えたものだから
大騒ぎになったけど、結局、どうも間違ってるって結論になったみたいですね
（この騒ぎのお蔭で彼の名前でオランダ語版のWikipediaにページが作られたみたいだ）
● この騒ぎに関する記事（の日本語訳…どうも翻訳の質は高くないらしい）：
http://jp.techcrunch.com/2010/08/13/20100812fuzzy-math/
● Vinay Deolalikarのプレプリント（2010年の日付になっているので温めていたのかも）のオランダのサイトにミラーされたもの（？）
https://www.win.tue.nl/~gwoegi/P-versus-NP/Deolalikar.pdf
Blumがarxivにアップすることで証明を発表したので、Deolalikarは証明の先取権を主張するためにずっと温めていたのを
あわてて発表したと推察すべきかも知れない（そう推察すると、Deolalikarのプレプリントが2010年であるにもかかわらず
発表のタイミングはDeolalikarのほうが３日ほど遅い13日になったのも自然な説明がつく）
査読は通ってるん?
内容について、だれか解説してくんろー
> 査読は通ってるん?
査読には時間がかかる（通常の平凡な論文でも数ヶ月から長ければ半年以上も要する）ので
取り敢えずarxivに登録して公開し証明の先取権の争いが起こった際に必要となる内容・日時の証拠を確保した段階
これから学術雑誌に投稿して査読を受ける（あるいは既に投稿済で査読中という）ことになる
> なんか矛盾あるみたいね
？？？
Blumのプレプリントに間違いがあるってこと？
それとも私の235の投稿の内容に何か間違いがあるの？
そうすぐには指摘できないだろうさ
さぁ語り間違いなら間違い、良い線いってるなら良い線いってる、で
熟成させてこうではないか、巻いていこう巻いていこう
なんやこのアホ
それ以外のところに載ってるのは信憑性がないってことでおk?
https://twitter.com/yoriyuki/status/898319037138034688
だってさ
ありがとうございます
なるほどRazborovさんが一蹴ですか
ありがとうございます。
先を越されたかと... ^_^;;;
誰かが論文を提出しても「先を越された」などと心配する必要はない
むろん、「自分なら解けるかも」などと甘ったれた期待を抱いてはいけない
解けたよん
んで、どっかに論文投稿してみる
んで、叩かれる
論文投稿してみて却下されているなら、
中身が間違っており、解けてないということ。
まさか
「中身は正しいのに、査読者の意味不明なイチャモンによって掲載させてくれない」
などと勘違いしているわけではあるまいな
いや、まじで「俺は信じない」って却下されてる
おいおい、査読コメントかよってなってる
んで、Arxvi とかに投稿せざるをえないという。
案外、ペレルマンもそうだったのかも。
まわりから「てめーに解けるわけがない」とか言われてさ
んで、きのこ狩りなヒッキーになっちゃった
あんたの過信と査読者の不信のダブルだと思う
査読コメントは論文の質と合わせ鏡だよ
論文の中身があまりにもド素人まるだしのデタラメな書き方だと、
「正しいという確証が持てない」
みたいな曖昧なコメントになる
そういう論文は真偽を見極める以前の問題で、
「間違ってさえいない」(正しい、という意味ではない)
という状況になっているわけだ
>>270
P≠NPの論文だからという理由でマジメに相手してもらえないわけではなかろう。
単に、お前の論文がマジメに相手する水準に達してないってことだろう
ゼロではないので、やる気があるなら他の雑誌に投稿してみればよい
何回かトライしてみて、いつも やる気のないコメントしか返って来ないようなら、
いよいよお前の論文の中身がデタラメであると断言できる
間違った演繹があるって
まともそうなコメントくれたひとはいて、「(自分は判断できんので)えらい先生方が査読してるとこに出すように」と。
＞別の査読者からは「天下のP≠NP問題だぞ。舐めてんのか。ゴルァ」と。
たぶんそれは、
「天下のP≠NP問題が こんな稚拙な議論で解けるわけがないだろコノヤロー」
ということであろう
論文の中身がマジメに相手する水準に達してないってことだ。
中身がまとも(に見える)論文ならば、今回の騒動のように、
きちんと間違っている箇所を指摘してくれるものである
もう一度言うが、お前の論文はおそらく真偽を見極める以前の問題で、
「間違ってさえいない」(正しい、という意味ではない)
という状況になっているのだろう
＞まともそうなコメントくれたひとはいて、「(自分は判断できんので)えらい先生方が査読してるとこに出すように」と。
だったら別のところに出せばいいじゃん
まあ似たような反応しか返ってこないと思うけど
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 埼玉の在日クルド人に差別や攻撃 県外からも電話「SNSで見た」 [少考さん★]
- 【滋賀】いなり寿司を万引きしたとして誤認逮捕され、82時間拘束された女性、涙ながらに苦しい胸の内を明かす… ★3 [Hitzeschleier★]
- 【サッカー】U-23日本代表、UAE代表に完封勝ちで2連勝！日韓戦を前に決勝トーナメント進出を決める [久太郎★]
- ロシア出身YouTuber、経済的困窮で「国ガチャ失敗」？嘆く日本人を一喝「給料13万？自分のせいやん」日本を「大当たり」とする理由は [muffin★]
- 【理研】日本人の祖先は「縄文系」「関西系」「東北系」の３系統か、ゲノム分析で従来の説「縄文と弥生」に疑問 ★2 [樽悶★]
- 築地市場跡地に5万人規模スタジアム建設へ 事業者は三井不動産など ★２ [ぐれ★]
- 【実況】博衣こよりがえちえちplate up🧪★5
- 日本がここから復活する方法
- 【実況】博衣こよりがえちえちplate up🧪★4
- 【実況】博衣こよりがえちえちplate up🧪★6
- 彼女一度も作ったことない男
- 昨日の飲み会で間違えて可愛い後輩のケツを揉みしだいてしまった(´；ω；｀)