證明題NP難問題:3SAT-------》獨立集

1.問題陳述:    3SAT問題:問題輸入是一個子句集,每個子句都包含不超過3個文字。例如:   獨立集:如果有一個頂點集合S,任意的兩個頂點之間都沒有邊,則稱爲獨立集。 2. 3SAT 到獨立集的規約:  (1)  對於3SAT的每一個子句C=Z1+Z2+Z3 ,在圖中構造三個點Z1,Z2,Z3 並且加入邊{Z1,Z2|,{Z2,Z3}.{Z1,Z3}  (2我們將每一個子句,比如(x+y'+
相關文章
相關標籤/搜索