[討論] P!=NP證明引發許多疑問

[wrltertnna (小妹)]

http://science.solidot.org/article.pl?sid=10/08/09/0145231&tid=41

惠普研究所首席科學家Vinay Deolalikar聲稱證明了P!= NP。一時激起了千層浪，他的證明引發了廣泛的關注和熱烈的討論，甚至《自然》網站也關注了此事的進展。其他數學家已經從他的原始論文中發現了很多小錯誤，提出了幾個還沒有解決的大問題（該Wiki頁會不時更新）。 Vinay
Deolalikar在過去幾天也對論文進行了多次修改：8月6日他將自己的手稿(PDF)首次發給了多位業內專家；8月9日他更新了論文草稿(PDF)；8月10日他從自己的主頁移除了所有提及P!=NP證明的內容和論文，不過論文還是可以從他的Papers子目錄下找到。一些人認為，他的論文提供了一種新思路，但也包含了很多漏洞，P!=NP證明並未完成。


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 125.31.7.33
→ koller:who care
推 megaman1206:I don't care
→ meltice:關我屁事
→ andymai:新思路但是有漏洞就跟新設計但是有Bug一樣~確實能用再說吧
推 truesword:樓上中肯
推 luciferii:臺灣很少討論還蠻讓人意外，不過我第一個覺得意外的是這
→ luciferii:是HP實驗室證出的，而不是學院
→ luciferii:實務果然多少會帶出一些新想法
→ gozule:最近在郵件裡面看到台灣也有人在檢驗這篇論文的正確性
推 fantoccini:有新想法是很棒的事情...雖然可能失敗
→ fantoccini:不過創新了一條路  可能會替以後的成功鋪路
→ iincho:這樣算太早發表嗎? 不過有新想法算是好事啦..
→ iincho:P和NP的關係能弄清楚算是數學上的一大突破...XD
→ yoco315:3,4 樓的程度真是令人驚訝
推 godisempty:人家科學家在討論的事情.大家就別出張嘴啦
→ howshou:這是科學家才討論? 干我屁事? 難怪台灣軟體業發展得很差
→ andymai:軟體業發展得差的原因不是只有這樣吧~討論起來就講不完...
推 bobju:台灣忙著賺工錢,沒空去研究基礎科學.
推 goodGG:台灣不期不待 XD
推 luciferii:作資訊的不關心P/NP問題是蠻可惜的一件事...
推 goodGG:回家就累的跟狗一樣, P/NP, MapReduce, GFS, BigTable...
→ goodGG:太多好東西了，就算只看P/NP, NP-complete 一千多題以上
→ goodGG:也要有那個時間看 XD
→ andymai:關心啊!但也僅止於新聞~認清自己沒那個腦袋跟人家討論漏洞
→ andymai:和解法~再說職務上要學的東西都還沒學完~又怎會有時間多頭
→ andymai:馬車進行?只怕落個梧鼠五技而窮的下場...
推 bobju:不可否認全世界大概只有財大勢大的美國有辦法搞這些東西.
推 ledia:財大勢大的又不是只有美國, 只有領先者才會作研究
→ iincho:演算法是少數不必財大氣粗就能搞的東西.這領域需要的是天才
→ iincho:根據我一個做演算法的朋友說，除了少數天才其他都在撿骨XD
→ bobju:這些天才大部份終究都會被財大氣粗的美國收編.幾乎很少人會
→ bobju:回"祖國"貢獻的.
→ bobju:錢不是萬能,但有錢就是比沒錢還能.
推 costbook:能做演算法誰想寫driver (?)
→ bobju:能打大聯盟誰想打小聯盟? 但這些人都是百萬中選一的呀~
推 meteor260:123樓比較讓我訝異
→ yoco315:fail 了
推 roccqqck: 解出來就是神 大家就關心  解不出來就是沒實用價值阿
→ roccqqck: 我也很關心核融合發電阿