請問NP-complete

看板CSSE (電腦科學及軟體工程)作者 (還沒想到)時間20年前 (2005/05/31 05:13), 編輯推噓4(4011)
留言15則, 3人參與, 最新討論串1/2 (看更多)
如果一個問題是NP-complete 那可以證明這個問題不存在多項式時間解決的演算法嗎? 記得P是否等於NP不是還沒證明被證明嗎? 但是演算法的寶典 "introduction to alogirhtms" THOMAS H. CORMEN pp.990 上面Lemma34.5 再上面一點有一小段文字說.. (註:這一小節是在講SAT問題) text : "In fact, as has been claimed, there is strong evidence that no polynomial time algorithm exists that solves the circuit satisfiability problem because circuit satisfiability is NP-complete" ...疑惑.. 盼高手解答.. -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.59.211.123 ※ 編輯: ikjhyu 來自: 61.59.211.123 (05/31 05:25) ※ 編輯: ikjhyu 來自: 61.59.211.123 (05/31 05:25)

140.112.30.113 05/31, , 1F
他是說"strong evidence",沒有說circuit SAT
140.112.30.113 05/31, 1F

140.112.30.113 05/31, , 2F
沒有polynomial time演算法:)
140.112.30.113 05/31, 2F

61.62.49.43 05/31, , 3F
還沒發現不等於沒有啊XD
61.62.49.43 05/31, 3F

61.62.49.43 05/31, , 4F
這個證明好像在做P != NP
61.62.49.43 05/31, 4F

61.62.49.43 05/31, , 5F
不會比PNP簡單到哪裡去吧=.="
61.62.49.43 05/31, 5F

59.112.212.87 05/31, , 6F
沒有polynomial-time演算法的問題充其量頂多可以
59.112.212.87 05/31, 6F

59.112.212.87 05/31, , 7F
說這個問題不在P裡面,但是不能說他是NP-complete
59.112.212.87 05/31, 7F

59.112.212.87 05/31, , 8F
要証NP-complete就要照著定義走
59.112.212.87 05/31, 8F

61.62.49.43 05/31, , 9F
0.0"...呃,原po問的東西不是這樣.
61.62.49.43 05/31, 9F

61.62.49.43 05/31, , 10F
他的已知是確定NPC........:)
61.62.49.43 05/31, 10F

61.62.49.43 05/31, , 11F
但是NPC並不保證真的不存在solution in P吧?
61.62.49.43 05/31, 11F

61.62.49.43 05/31, , 12F
NPC -> no solution in P <===....Orz...
61.62.49.43 05/31, 12F

61.62.49.43 05/31, , 13F
這個能證出來的話就不需要費心證明PNP了啊XD
61.62.49.43 05/31, 13F

61.62.49.43 05/31, , 14F
既然原po引用了ITA,那就看一下Thm34.4吧.
61.62.49.43 05/31, 14F

61.62.49.43 05/31, , 15F
這個問題跟PNP是等價的啊0.0
61.62.49.43 05/31, 15F
文章代碼(AID): #12cu8Jaw (CSSE)
討論串 (同標題文章)
以下文章回應了本文
完整討論串 (本文為第 1 之 2 篇):
4
15
文章代碼(AID): #12cu8Jaw (CSSE)