|||
3-SAT分段多项式时间求解算法
姜咏江
摘要:本文给出了3-SAT分段消去子句的求解算法。证明了可以在多项式时间求出3-SAT的解。从而证实斯提芬.库克定义下的NP-complete问题就是一个P类问题。
关键词:NP-complete,P/NP问题,子句消去法
转:
http://blog.sciencenet.cn/blog-340399-928224.html
2015-10-04
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-12-22 19:45
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社