算法概论第八章习题

最新推荐文章于 2024-12-25 10:03:04 发布

seven_-

最新推荐文章于 2024-12-25 10:03:04 发布

阅读量260

点赞数

CC 4.0 BY-SA版权

分类专栏：算法分析与设计文章标签：算法分析与设计

本文链接：https://blog.youkuaiyun.com/m0_38088298/article/details/78953785

算法分析与设计专栏收录该内容

31 篇文章

订阅专栏

                    
                    题目：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.
解答：由于STINGY SET的解是可在多项式时间之内得到验证，因此属于NP问题。因为将k设为所有的变量总个数之后，SAT可以归约到STINGY SET问题，因此STINGY SET为完全NP问题。