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

博文

真的是应该值得庆祝的一天

已有 2423 次阅读 2015-9-18 05:00 |个人分类:随笔|系统分类:科研笔记|关键词:学者| 难题

整整一年的时间,劳心费神,不得安睡,甚至有冒生命危险的冥思苦想,在多种设计方法的过滤中,还是子句消去法获得了最后的胜利!如今一切疑问都解决了,真是感到了那种久违的轻松。半夜爬起来写的事情,今后不能干了。不到一个月就是我人生七十大寿,解决了3SAT问题,是给自己最好的礼物。

半夜又跳起来解答了最后的疑问,决定今日将论文投出去。信心满满。。。



https://m.sciencenet.cn/blog-340399-921552.html

上一篇:我终于找到了子句消去计数法分组定解的多项式时间算法!
下一篇:3-SAT分段多项式时间求解算法

2 陆泽橼 都世民

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

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

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

GMT+8, 2024-5-19 16:33

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部