博文
3-SAT分段多项式时间求解算法
|||
3-SAT分段多项式时间求解算法
姜咏江
摘要：本文给出了3-SAT分段消去子句的求解算法。证明了可以在多项式时间求出3-SAT的解。从而证实斯提芬.库克定义下的NP-complete问题就是一个P类问题。
关键词：NP-complete，P/NP问题，子句消去法
转：http://blog.sciencenet.cn/blog-340399-928224.html
联系邮箱：accsys@126.com
（为防止网络被窃，在此公开并存档）
2015-09-19
https://blog.sciencenet.cn/blog-340399-921805.html
上一篇：真的是应该值得庆祝的一天
下一篇：网络无处不在的问题
