吝嗇sat問題是這樣描述的：給定一組子句（每個子句都是其中文字的析取）和整數k，求乙個最多有k個變數為true的滿足賦值——如果該賦值存在。證明吝嗇sat是np-完全問題.
證明:
首先我們知道sat是np完全問題, 然後sat的問題本質是, 一共n個變數, 最多n個變數都取true也能滿足.
因此可以想到把吝嗇sat問題規約到sat問題上: 取n=k, 那麼吝嗇sat(s, k) == 吝嗇sat(s, n) == sat(s, n).
對於任意乙個吝嗇sat問題，它是sat問題的一種特殊情況。由此把吝嗇sat問題規約到了sat問題上, 而sat問題是個npc問題, 所以吝嗇sat問題也是個npc問題.
證畢…
歡迎使用CSDN markdow
本markdown編輯器使用stackedit修改而來，用它寫部落格，將會帶來全新的體驗哦 markdown 是一種輕量級標記語言，它允許人們使用易讀易寫的純文字格式編寫文件，然後轉換成格式豐富的html頁面。維基百科 使用簡單的符號標識不同的標題，將某些文字標記為粗體或者斜體，建立乙個鏈結等，詳細...
歡迎毛毛與妞妞使用CSDN markdown編輯器
建立乙個自定義列表 如何建立乙個註腳 注釋也是必不可少的 katex數學公式 新的甘特圖功能，豐富你的文章 uml 圖表 flowchart流程圖 匯出與匯入 你好！這是你第一次使用markdown編輯器所展示的歡迎頁。如果你想學習如何使用markdown編輯器,可以仔細閱讀這篇文章，了解一下mar...
歡迎使用CSDN markdow1n編輯器
本markdown編輯器使用stackedit修改而來，用它寫部落格，將會帶來全新的體驗哦 markdown 是一種輕量級標記語言，它允許人們使用易讀易寫的純文字格式編寫文件，然後轉換成格式豐富的html頁面。維基百科 使用簡單的符號標識不同的標題，將某些文字標記為粗體或者斜體，建立乙個鏈結等，詳細...