最后的作业:STINGY SAT问题
来源:互联网 发布:java子类方法重写 编辑:程序博客网 时间:2024/06/06 12:44
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.
阅读全文
0 0
- 最后的作业:STINGY SAT问题
- 【算法期末作业】8.3 证明STINGY SAT是NP-完全问题
- 8.3 证明STINGY SAT是NP完全问题
- Algorithms.8-3.STINGY SAT
- 算法分析课证明题 8.3 Stingy SAT
- 8.3 Prove that STINGY SAT is NP-complete.
- 最后的作业——NP完全问题证明
- 关于SAT问题的讨论
- [2-sat]动态的2-sat问题(hdu3622)
- SAT问题
- 2-SAT问题的解法(uva1146)
- 计算机网络最后一次作业
- DataGridView最后一行 的问题
- 软基作业——最后一次的留念
- 慕课网JAVA基础第二季最后的一个作业
- NP-Complete Stingy Set
- 浅谈2-sat的问题的构造与求解
- 8.8 精确的4SAT问题的NP-完全性证明
- python opencv绘制多边形和多边形填充
- golang 如何将多路复异步io转变成阻塞io的
- Python中关于XML-RPC原理
- Navicat Premium 出现的Missing required libary sqlite.dll,998
- Filter中的sendRedirect重定向
- 最后的作业:STINGY SAT问题
- hdu-3790
- Android-studio&Kotlin
- 20170715工作记账流水
- JS判断客户端类型(含微信)
- 【1-23】编写一个删除C语言程序中所有的注释语句。要正确处理带引号的字符串与字符常量。再c语言中,注释不允许嵌套。
- PHPExcel入门(基于laravel 5.2)
- ImageCompress
- 斯坦福大学机器学习“神经网络的学习(Neural Networks: Learning)”