【算法概论】ex.8.3

LadyCaro

于 2018-01-02 18:03:01 发布

阅读量255

点赞数

CC 4.0 BY-SA版权

本文链接：https://blog.csdn.net/LadyCaro/article/details/78954275

                    
                    8.3 STINGY SAT is the following problem: given a set of clauses (each a disjunction of literals) and an integer k, find a satisfying assignment in which at most k variables   are true, if such an assignment exists. Prove that STINGY SAT is NP-complete.
解：假设SAT有一个k个变量的实例f，那么(f,k)就是STINGY SAT的一个实例。设一组赋值为x，在多项式的时间里可以验证是否可以使(f,k)为真，所以STINGY SAT是NP问题。要证明STINGY SAT是NPC问题，将SAT规约到STINGY SAT。假设x是f的解，有k个变量，所以x最多有k个变量为真，则x也是(f,k)的解；假设x是(f,k)的解，f也是SAT的一个实例，x肯定也是f的解。由此将SAT规约到STINGY SAT，所以SAINGY SAT是NPC问题。