算法概论 第八章课后题8.3
2017-06-23 19:53
337 查看
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.
答:
设f为SAT一个有k个变量的实例,(f,k)为STINGY SAT的一个实例,x为一组赋值。易知x是可在多项式时间内验证是否可以使(f,k)为真,所以STINGY SAT是NP问题
目标:SAT规约到STINGY SAT,即x是f的解当且仅当x是(f,k)的解;
充分性:假设x是f的解,则至多有k个变量为真,x赋给(f,k)也为真,所以x是(f,k)的解;
必要性:假设x是(f,k)的解,显然x也是f的解;
∴ STINGY SAT也是一个NPC问题。
答:
设f为SAT一个有k个变量的实例,(f,k)为STINGY SAT的一个实例,x为一组赋值。易知x是可在多项式时间内验证是否可以使(f,k)为真,所以STINGY SAT是NP问题
目标:SAT规约到STINGY SAT,即x是f的解当且仅当x是(f,k)的解;
充分性:假设x是f的解,则至多有k个变量为真,x赋给(f,k)也为真,所以x是(f,k)的解;
必要性:假设x是(f,k)的解,显然x也是f的解;
∴ STINGY SAT也是一个NPC问题。
相关文章推荐
- 算法概论第八章课后习题8.3
- 算法概论第八章课后题--8.3
- 算法概论第八章课后习题
- 算法概论第八章课后习题8.8
- 《学习OpenCV》第八章轮廓课后题8.3
- 算法概论第八章课后习题
- 算法概论第八章课后题 8.12
- 算法概论:第八章NP-完全问题——课后题8.16
- 算法概论第八章练习题8.3
- 算法概论第八章练习题 8.3
- 算法概论 课后习题 8.3 证明
- 算法概论课后习题8.3
- 算法概论——课后习题8.3 (第十八周)
- 算法概论第8章课后习题 8.3
- 算法分析与设计丨第十七周丨算法概论第八章习题——k-spanning tree(8.12)
- NP证明题《算法概论》第八章
- 《Python编程》第八章部分课后练习题
- 第八章 C++函数的高级特性(8.3 参数的缺省值 8.4 运算符重载 8.5 函数内联)
- 《算法概论》第八章NP完全问题——8.19习题解
- 课程期末作业:《算法概论》课后8.22题的证明