CMP设计分享 http://blog.sciencenet.cn/u/accsys 没有逆向思维就没有科技原创。 不自信是科技创新的大敌。

博文

3-SAT分段子句消去算法,数学人都能看懂NPC=P的证明

已有 5643 次阅读 2015-9-21 06:30 |个人分类:科研论文|系统分类:论文交流| 3-SAT, 分段子句消去法

3-SAT分段多项式时间求解算法

姜咏江

摘要:本文给出了3-SAT分段消去子句的求解算法。证明了可以在多项式时间求出3-SAT的解。从而证实斯提芬.库克定义下的NP-complete问题就是一个P类问题。

关键词NP-completeP/NP问题,子句消去法

转:

http://blog.sciencenet.cn/blog-340399-928224.html  


2015-10-04




https://wap.sciencenet.cn/blog-340399-922267.html

上一篇:网络无处不在的问题
下一篇:再请杜立智详细解析姜咏江解决了3SAT难题如何?
收藏 IP: 221.194.176.*| 热度|

1 icgwang

该博文允许注册用户评论 请点击登录 评论 (2 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-12-22 19:45

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部