算法概論 第八章習題

8.3 首先，易知STINGY SAT 的解是可在多項式時間內驗證的，因此屬於NP。另外，很容易可以將SAT 歸約到STINGY SAT（將k 設爲所有變量的總個數即可），於是可知STINGY SAT 爲NP 完全問題。 8.8 首先很顯然，EXACT 4SAT 屬於NP。現在通過將3SAT 歸約到EXACT 4SAT 來證明後者的NP 完全性。對於任意一個3SAT 實例，如果其中某個子句中包含了

>>阅读原文<<