吝啬SAT是NP-完全问题

最新推荐文章于 2018-01-03 21:05:08 发布
最新推荐文章于 2018-01-03 21:05:08 发布
阅读量436 收藏
点赞数
分类专栏： 算法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/cheikh/article/details/75104987
版权

《算法概论》8.3

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

证明：

已知SAT问题是NPC问题。

要证明吝啬SAT问题是NPC问题，只须证明，一个SAT问题可以在多项式时间归约到吝啬SAT问题。

假设SAT问题有n个变量，令吝啬SAT问题中的k为SAT问题中的n，即在常数时间内将SAT问题归约到吝啬SAT问题。

得证！
shawnNg
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
算法导论—SAT、NP、NPC、NP-Hard问题
我们都是被分成两半的人，一边热爱生活，一边憎恨生活。面对生活，我们总是在矛盾的两端摇摆，在反复的矛盾和犹豫中，一边踉跄前行，一边重振旗鼓。我渴望改变，渴望变得更好，渴望找到出口……就像一个溺水人的挣扎，就像一个救生圈。我是一个矛盾集合体，想要变得快乐，但是
02-09 2452
给定布尔 (Boolean) 表达式 (由 AND, OR, NOT, 变量, 和括号构成), 是否存在对变量 TRUE 或 FALSE 的赋值, 使得整个表达式真。SAT 问题 (Propositional satisfiability problem, 命题可满足问题, SAT):给定命题逻辑公式 (propositional formula), 是否可满足 (存在一个模型)。
【计算理论】计算复杂性 ( 3-SAT 是 NP 完全问题 | 团问题是 NP 完全问题 | 团问题是 NP 完全问题证明思路 )
让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 )
12-15 7983
一、3-SAT 是 NP 完全问题、 二、团问题是 NP 完全问题、 三、团问题是 NP 完全问题 证明思路
8.3吝啬SAT问题
qq_32365635的博客
07-09 276
吝啬SAT问题是这样的：给定一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬问题是NP-完全问题。
8.3 吝啬SAT问题
shaodong7的博客
07-11 428
8.3 吝啬SAT问题是这样的：给定一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬SAT是NP-完全问题。 解答：   若已知某个与吝啬SAT问题变量对应的真值集合，可在多项式时间内将该集合带入吝啬SAT问题验证是否为解。故吝啬SAT问题为NP问题。而要证明一个问题是NP-完全问题，需要证明以下两点：  1. 它是一个NP问
-不要吝啬你的拥抱和爱抚-.docx
11-25
-不要吝啬你的拥抱和爱抚-.docx
differential-privacy:Google的差异隐私库
04-28
差异隐私 该存储库包含用于在数据集中生成ε-和（ε，δ）-差分私有统计信息的库。...吝啬的 支持的 支持的 支持的 方差 支持的 计划 计划 标准偏差 支持的 计划 计划 分位数 支持的 支持的 支持的 自动边界
WindsPhoto for z-blog.rar
07-14
* 支持本地上传和远程图片，自动盗链吝啬的国内门户提供的博客/空间/相册中的图片； * 缩略图和列表两种方式显示，上传时自动生成缩略图，可以设置缩略图大小、文字水印和LOGO水印； * 一键设置分类相册封面，...
Flexy是使用Flex实现的最小CSS框架
08-10
Flexy是使用Flex实现的最小CSS框架
Bmap-offline的api.js资源
03-26
Bmap-offline的api.js支持3.0版本的地图api调用方式，希望不要吝啬积分，保证可以满意
几个NP-完全问题的证明
kufaaa的专栏
01-20 2万+
1.吝啬SAT问题8.3吝啬SAT问题是这样的：给定一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬问题是NP-完全问题。 证明： 易得吝啬SAT问题是NP问题。 已知SAT是NP完全问题，因此，只要能把SAT归约到吝啬SAT问题，即可证明。 归约过程：假设SAT问题有n个变量，即等价于k=n的吝啬SAT问题。命题得证。2.
证明吝啬SAT问题为NP完全问题。
isNoel的博客
12-18 1754
吝啬SAT问题是这样描述的：给定一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值——如果该赋值存在。而我们的目的就是证明吝啬SAT问题为NP完全问题。        这是书《算法概论》的习题8.3。我证明的方法是用归约的方法：由已知的NP完全问题归约到该问题，并证明归约的过程的时间复杂度为多项式时间复杂度即可。         我选取的已知的NP完全问题
SAT问题
热门推荐
seaskying的专栏
06-21 2万+
1. 布尔表达式   布尔表达式是由布尔变量和运算符（NOT , AND ,OR）所构成的表达式。 2. 布尔可满足问题   如果对于变量的某个true,false赋值，使得一个布尔表达式的值为true，则该布尔表达式是可满足的。例如布尔公式 A = ((NOT x) AND y) OR ( x AND (NOT z))，当 x = false, y = true, z = fals
吝啬SAT问题是NP完全问题
Wuzihui___的博客
01-03 711
思路要证明吝啬SAT问题是一个NP完全问题，可以通过尝试将一个已知的NP完全问题归约到吝啬SAT问题。 从问题的形式上来看，可以通过尝试将SAT问题归约到吝啬SAT问题 SAT问题的定义如下： The Boolean satisfiability problem (SAT) is, given a formula, to check whether it is satisfiable.
吝啬SAT是NP-complete
Vent_NCS的博客
07-06 506
吝啬SAT的定义给定一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值——如果该赋值存在。显然，解决这个问题最直观最简单的就是使用归约。 这里可由SAT问题归约得来。SAT问题简介： 布尔逻辑的可满足性问题（SATISFIABLITY problem），简称为SAT。我们知道，布尔表达式是由布尔变量和运算符（NOT , AND , OR）所构成的表达式。如果对
NP完全问题
一只不会写程序的程序猿
06-08 1694
8.3STINGY 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 assignme
使用3SAT进行NP-complete规约一点启发
张林林|深蓝(Linlin Zhang,shenlan211314) 的专栏
04-22 3483
<br />通过Michael R. Garey & David S.Johnson的A Guide to the Theory of NP-Completeness一书中关于3SAT到3DM的规约，以及自己的规约经历，发现：在使用3SAT进行问题规约时，需要注意两个方面。首先是，真值指派；其次是，子句满足测试。<br />一般，需要观察自己的问题，从哪一方面触发规约到哪一方面结束较为简单。可以选择从真值指派开始到子句满足测试结束，也可以从子句满足测试开始到真值指派结束。当然，因问题而异了，需要好好分析，能
吝啬SAT问题
yaorl3的博客
06-07 549
问题描述： 吝啬SAT问题是这样的：给定一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬问题是NP-完全问题。为了帮助理解这个问题，我们写解释下什么是SAT问题假设我们有这样一组子句: (a⋃b⋃c)⋂(a⋃b¯)⋂(b⋃c¯)(a¯⋂c)⋂(a¯⋃b¯⋃c¯)(a\bigcup b\bigcup c)\bigcap(a\bi
光头强想修理熊舍周围的一小段围栏。他测量了围栏，发现他需要 N(1≤N≤20000) 块木板，每块木板都有一定的整数长度 � � ( 1 ≤ � � ≤ 50000 ) L i ​ (1≤L i ​ ≤50000) 单位。然后，他购买了一块长度刚好足以锯出 � N 块木板的长木板（即，其长度为 ∑ � � ∑L i ​ ）。光头强忽略了切损，即锯切时损失的少量长度。 光头强突然发现他没有锯木头的锯子（被熊抢走了），于是他拿着这块长木板来到灰太狼的老家，礼貌地问他是否可以借一把锯子。 灰太狼非常吝啬，他不想免费借给光头强锯子，而要求每锯一次都收一次费。费用为切割木板的总长度。比如，切割总长度为 15 15 的木板需要 15 15 元。 光头强知道，他可以按照不同的顺序切割木板，这将导致不同的费用，因为产生的中间木板长度不同。光头强可以自行决定切割木板的顺序和位置。请你帮助光头强确定他可以花多少钱来制作 � N 块木板。 输入描述 第 1 1 行：一个整数 N，木板的数量。 第 2..+ 1 2..N+1 行：每行包含一个整数，描述所需木板的长度。
最新发布
03-21
这是一个经典的切木板问题，可以使用贪心算法来解决。首先将所有木板按照长度从小到大排序，然后每次选取长度最小的两块木板进行切割，将它们切成若干块后再将这些块合并成一块木板，重复这个过程直到只剩下一块木板...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值