证明STINGY SAT是NP-complete问题

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 STING SAT is NP-complete.

一个问题是NP-complete问题，要满足两个条件：

它得是NP问题
一个已知的NP-complete问题能够规约到它

STINGY SAT问题是：给定一个集合C = {C1，C2，……，Cn}（其中Cj = z1∨z2∨……∨zi），和一个整数k，是否存在最多有k个变量为true的情况使C1∧C2∧……∧Cn为true。

证明：
①对于一种已知的可能，我们明显可以在多项式时间里面验证其是否为ture或者是false。所以STINGY SAT问题是NP问题。
②可以将SAT问题规约到STINGY SAT问题：将SAT问题中的变量个数设为k。
所以STINGY SAT问题是NP问题。

证明STINGY SAT是NP-complete问题相关推荐

8.3 证明STINGY SAT是NP完全问题
题目 STINGY SAT is the following problem: given a set of clauses(each a disjunction of literals) and a ...
STINGY SAT
8.3 STINGY SAT is the following problem: given a set of clauses(each a disjunction of literals) and ...
np 元素位置_证明SAT的NP完全性（NP-completeness）
看懂本文需要提前有哪些知识? 知道什么是图灵机,非确定图灵机知道什么是SAT问题什么是NP问题? 首先我们要知道,NP一般都是针对决定性问题(Decision problem)的.比如今天我们要讨 ...
P vs NP vs NP Complete vs NP Hard
目录 1.写在前面 2.千禧年世纪难题 3.P类和NP类问题特征 4.NPC问题 5.NP-Hard问题 6.总结 1.写在前面我们看到一个问题,经常会说:"这个没法做,是一个NP问题&q ...
【计算理论】计算复杂性 ( 无向图独立集问题 | 独立集问题是 NP 完全问题证明思路 | 证明独立集问题是 NP 完全问题 )
文章目录一.独立集问题二.独立集问题是 NP 完全问题证明思路二.证明独立集问题是 NP 完全问题一.独立集问题无向图的独立集 , 指的是在无向图中找到点集的子集 , 使得它们两两之间 , ...
【计算理论】计算复杂性 ( 证明团问题是 NP 完全问题 )
文章目录一.团问题是 NP 完全问题证明思路二.证明团问题是 NP 完全问题一.团问题是 NP 完全问题证明思路证明一个命题是 NP\rm NPNP 完全问题 : ① 证明是 NP\rm ...
【释义】NP complete概念浅析（涵盖：P问题，NP问题，NP完全问题，NP难问题）
文章目录前言正文 1.P问题 2.NP问题 3.NP-complete问题(即:NP完全问题) 4.NP完全问题可能不会长久存在 5.示例 6.NP-Hard问题(即:NP难问题) 7.关系小结 ...
证明HITTING SET 是NP完全
In the HITTING SET problem, we are given a family of sets {S1, S2, - , Sn} and a budget b, and we wi ...
NP问题总结（概念+例子+证明）
目录基本概念证明思路常见例子 21个常见NPC问题原理论证基本概念 P类问题:(polynominal) 存在多项式时间算法的问题,即在多项式时间内可解的问题: 例如:冒泡排序.快速排 ...
【计算理论】计算复杂性 ( 3-SAT 是 NP 完全问题 | 团问题是 NP 完全问题 | 团问题是 NP 完全问题证明思路 )
文章目录一.3-SAT 是 NP 完全问题二.团问题是 NP 完全问题三.团问题是 NP 完全问题证明思路一.3-SAT 是 NP 完全问题布尔可满足性问题 ( Boolean Satis ...

证明STINGY SAT是NP-complete问题

证明STINGY SAT是NP-complete问题相关推荐

最新文章

热门文章