吝嗇sat問題是這樣的：給定一組子句（每個子句都是其中文字的析取）和整數k，求乙個最多有k各變數為true的滿足賦值 —— 如果該賦值存在。證明吝嗇sat是np完全問題。
可以將sat問題歸約到此問題。
首先，若得到了吝嗇sat問題的乙個解，按照此解對吝嗇sat的每個子句賦值，即可驗證這個解是否成立，這個過程是多項式時間的，所以吝嗇sat是np問題。
下面將sat問題歸約到吝嗇sat問題，令吝嗇sat問題中的k為sat問題中所有變數的總個數，此時吝嗇sat問題轉化為sat問題。由於sat問題是np完全問題，可知吝嗇sat問題也是np完全問題。
因此吝嗇sat問題是乙個np完全問題，證畢。
演算法概論 8 3習題證明
演算法概論 習題 8.3 題目描述 吝嗇sat問題是這樣的 給定一組子句 每個子句都是其中文字的析取 和整數k，求乙個最多有k個變數為true的滿足賦值 如果該賦值存在。證明吝嗇sat是np 完全問題。什麼是sat問題？sat問題也稱為合取正規化的可滿足問題，乙個合取正規化形如 a1 a2 an，子...
演算法設計8 3
題目 吝嗇sat問題是這樣的 給定一組子句 每個子句都是其中文字的析取 和整數k，求乙個最多有k個變數為true的滿足賦值 如果該賦值存在。證明吝嗇sat是np 完全問題。解答 首先我們要證明吝嗇sat問題是np 完全問題，我們首先要證明吝嗇sat問題是np問題，然後如果能把sat問題規約到吝嗇sa...
《演算法概論》8 8
題目 在精確的4sat exact 4sat 問題中，輸入為一組自居，每個字句都是恰好4個文字的析取，且每個變數最多在每個字句中出現一次。目標是求它的滿足賦值 如果該賦值存在。證明精確的4sat是np完全問題。證明 用歸約來證明 如果問題a可以歸約到問題b，記作a b，如果a是np完全問題，則通過歸...