第八章課後題_1

8.3

STINGY SAT的解是屬於NP的，是可以在多項式時間內驗證的。此外，SAT問題將k設爲所有變量的總個數就可以規約到STINGY SAT。所以STINGY SAT是NP完全問題。

8.8

首先EXACT 4SAT屬於NP。其次，對於3SAT實例，如果其中的某個子句中多次包含了同一個文字，就可以縮減爲1次。如果包含一個變量的否定或肯定，可以去掉這個變量。這樣就能把3SAT實例轉換成了EXACT 4SAT問題。即通過將3SAT規約到了EXACT 4SAT證明了它的NP完全性。