STINGY SAT
8.3 STINGY SAT is the following problem: given a set of clauses(each a disjunction of literals) and an integer k, find a satifying assignment in which at most k variables are true, if such an assignment exists, prove that STINGY SAT is NP-complete.
①证明STINGY SAT是一个NP问题
STINGY SAT是SAT问题的延伸.设一个有k个变量的SAT实例F,且(F,k)是STINGY SET的一个实例,由于可在多项式时间内验证一组赋值是否使F为真,则同样可在多项式时间内验证该赋值是否使(F,k)为真.所以STINGY SAT是NP问题.
②将SAT规约到STINGY SAT
将SAT规约到STINGY SAT,即需证明SAT问题满足当且仅当STINGY SAT满足,即在上一小点的实例中,需证明一组赋值x是F的解当且仅当x是(F,k)的解.假设x是F的解,由于F有k个变量,所以x中最多k个变量为真,所以(F,k)也为真.当x是(F,k)的解时,即x使F为真且x中有小于或等于k个变量为真,所以x是F的解.
由于SAT是一个NPC问题,所以STINGY SAT是一个NPC问题得证.
STINGY SAT相关推荐
- 8.3 证明STINGY SAT是NP完全问题
题目 STINGY SAT is the following problem: given a set of clauses(each a disjunction of literals) and a ...
- 模板 - 2 - SAT问题
整理的算法模板合集: ACM模板 注意一个坑,2SAT问题中如果要求你输出方案,如果你的代码输出的跟样例不一样,不要着急,因为2SAT 问题本来就是有多解,结果我样例不过,交上去就A了 方案输出时,c ...
- 计算机学院 图论方向,成电计算机学院本科生在计算机科学理论方向重要国际会议SAT上发表论文...
近日,计算机科学与工程学院(网络空间安全学院)2017级本科生和肖鸣宇教授撰写的论文"A Fast Algorithm for SAT in Terms of Formula Length& ...
- MIT录取不再看SAT科目成绩：曾是华裔传统优势，数学等学科测验更是中国留学生强项...
晓查 发自 凹非寺 量子位 报道 | 公众号 QbitAI 美国麻省理工学院今天在招生网站上宣布,决定不再考虑将SAT科目考试作为录取过程的一部分. 这一决定从2020~2021学年开始生效. SA ...
- 欧文分校计算机新sat多少分录取,加州大学欧文分校SAT成绩要求是多少?
加州大学欧文分校对于SAT成绩的要求是多少?现在申请美国本科,很多都是需要同学们提供sat成绩的额,下面托普仕留学老师为大家介绍SAT多少分才能申请加州大学欧文分校?同学们在申请之前要多注意院校信息. ...
- 欧文分校计算机新sat多少分录取,加州大学欧文分校SAT成绩要求
下面为大家介绍的是加州大学欧文分校University of California Irvine的SAT成绩要求.加州大学欧文分校University of California Irvine是美国加 ...
- 如何使用SAP事务码SAT进行UI应用的性能分析
Sent: Wednesday, July 11, 2012 7:49 PM Subject: [Knowledge share]How to trace UI transaction using S ...
- 使用SAT跟踪监控从浏览器打开的SAP应用的性能和调用栈
今天是农历鼠年大年初四,本文是鼠年第4篇文章,也是汪子熙公众号第203篇原创文章. 大家这几天在家里宅得如何了?貌似不少朋友都闷坏了. 我们继续学习. Jerry之前的文章 SAP错误消息调试之七种武 ...
- 使用ABAP SAT工具分析SAP OData service实现明细
Created by Wang, Jerry, last modified on Mar 26, 2015 使用SAT运行OData service测试report: 直接运行report: 确保OD ...
最新文章
- MPB：中科院生态环境中心邓晔组-环境样本中原核生物的总量测定
- web socket 心跳包的实现方案
- [ARM异常]-异常进入和异常退出时的arm core的硬件自动的行为
- Jupyter Nodebook添加代码提示（Vscode配置Jupyter Notebook运行.ipynb文件）
- 超好用的简单的jquery tab选项卡切换代码（点击切换和导航栏滑过）
- java动效_Android 界面漩涡扭曲动效实现
- C#中提示：System.Runtime.Serialization.SerializationException
- 针对提高48V 配电性能的诸多思考！
- c语言转义字符%,c语言转义字符
- python编程（你的电脑能够执行多少线程和进程）
- IDEA中新建ehcache.xml文件报错
- Android实现计算器布局(约束布局
- C语言项目 ---- 纸牌游戏（详细讲解 + 全部代码 + 运行图片）
- 基于安卓端的背单词系统的设计与实现
- 反击网络执法官(转)
- 严师出高徒VS名师出高徒
- Android studio 手机扫描二维码功能
- JS JavaScript 实现文字上下滚动效果
- http://ai.taobao.com/?pid=mm_40428920_1105750338_109783200329
- 感觉自己不会的东西太多了，不知道如何下手？