证明吝啬SAT问题为NP完全问题(算法分析week18)

最新推荐文章于 2023-06-04 19:44:33 发布

五月茶微凉

最新推荐文章于 2023-06-04 19:44:33 发布

阅读量241

点赞数

分类专栏： Leetcode 算法分析证明题

本文链接：https://blog.csdn.net/qq_35278061/article/details/78965648

版权

Leetcode 同时被 2 个专栏收录

31 篇文章 0 订阅

订阅专栏

算法分析证明题

1 篇文章 0 订阅

订阅专栏

证明吝啬AT问题为NP完全问题

-问题描述-
-证明过程-

问题描述

吝啬SAT问题是这样的：给定一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬SAT是NP-完全问题。

证明过程

证明吝啬SAT是NP-完全问题可以通过将SAT问题归约为吝啬SAT问题得到。SAT问题等价于k=n的吝啬SAT问题，那么吝啬SAT问题有解时SAT问题一定有解，吝啬SAT问题无解时SAT问题一定无解。所以SAT问题可以归约为吝啬SAT问题，则由于SAT问题是NP-完全问题，吝啬SAT问题也一定为NP-完全问题。