博文
我终于找到了子句消去计数法分组定解的多项式时间算法！
||||
经过努力，终于在分组定解的基础上，利用可能解表，用逐步扩展定解的方式，取得了获得3SAT解的多项式时间算法。为了庆祝一下我艰苦努力的成功，特发此文自己祝贺一下！
这也是为了纪念。
2015－8－30
https://m.sciencenet.cn/blog-340399-916991.html
上一篇：组合数C(n:n-k)是不是多项式？
下一篇：真的是应该值得庆祝的一天
||||
经过努力，终于在分组定解的基础上，利用可能解表，用逐步扩展定解的方式，取得了获得3SAT解的多项式时间算法。为了庆祝一下我艰苦努力的成功，特发此文自己祝贺一下！
这也是为了纪念。
2015－8－30
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-6-2 19:05
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社
