最后的作业：STINGY SAT问题

8.3 STINGY SAT 问题

In order to prove that STINGY SAT is an NP-complete problem,we firstly prove that (1)STINGY SAT is an NP problem and then (2) SAT problem 归约于 STINGY SAT.

PROVE(1):

STINGY SAT is a special case of SAT problems , with a no more than k variables.So every solution to STINGY SAT is within a polynomial running time.

PROVE(2):

SAT problem 归约于 STINGY SAT

If we consider k as an input,then SAT can be reduced to STINGY SAT.

Hence, STINGY SAT is an NP-complete problem.

最后的作业：STINGY SAT问题相关推荐

STINGY SAT
8.3 STINGY SAT is the following problem: given a set of clauses(each a disjunction of literals) and ...
8.3 证明STINGY SAT是NP完全问题
题目 STINGY SAT is the following problem: given a set of clauses(each a disjunction of literals) and a ...
Linux下crontab命令添加Kettle作业定时任务
1. 确保作业 $KETTLE_HOME/kitchen.sh -file=/data1/testdata/testkjb.kjb 或转换 $KETTLE_HOME/pan.sh -file=/dat ...
Quartz.Net实现作业定时调度详解
Quartz.Net实现作业定时调度详解原文:Quartz.Net实现作业定时调度详解 1.Quartz.NET介绍 Quartz.NET是一个强大.开源.轻量的作业调度框架,你能够用它来为执行一个 ...
【ORACLE 高可用】作业：配置ORACLE GoldenGate 2
OGG作业: 输出完整的操作过程: 1.不使用数据泵完成Oracle-Oracle的双向复制. 2.使用数据泵进行Oracle-Oracle的单向复制. 3.完成Oracle-MySQL的单向复制. ...
【渝粤题库】陕西师范大学201661英语阅读（二）作业（高起专）
陕西师范大学内部题库教育 (yuyueshool) 编制 <阅读(二)>作业 I.Words DIRECTIONS: Read the sentence given with e ...
php ues incolde,17秋东财《大学英语2》在线作业三答案
东财<大学英语2>在线作业三试卷总分:100 得分:0 一. 单选题 (共 25 道试题,共 100 分) 1. My brother is four years older t ...
学生网页作业—山河旅行社网站(5页) HTML+CSS+JavaScript 学生DW网页出行旅途游玩
HTML5期末大作业:山河旅行社网站设计--山河旅行社网站(5页) HTML+CSS+JavaScript 文章目录 HTML5期末大作业:山河旅行社网站设计--山河旅行社网站(5页) HTML+CS ...
基于 Docker 的 Slurm 作业管理系统
基于 Docker 的 Slurm 作业管理系统阿里云服务器设置参考视频:https://www.bilibili.com/video/BV177411K7bH Step 1 -申请阿里云服务器 ...
20189200余超 2018-2019-2 移动平台应用开发实践第四作业
2018-2019-2 移动平台应用开发实践第四周作业第12章枚举什么情况下使用枚举类? 有的时候一个类的对象是有限且固定的,这种情况下我们使用枚举类就比较方便. 为什么不用静态常量来替代枚举类呢 ...

最后的作业：STINGY SAT问题

最后的作业：STINGY SAT问题相关推荐

最新文章

热门文章