| 最新主题 | 作者/时间 | 回复/查看 | 最后发表 |
|---|
|
你见到的计算机最多精确到多少位？ | accsys 2013-6-18 | 08030 | accsys 2013-6-18 22:42 |
|---|---|---|---|---|
|
|
机器计算增加一个符号位好吗？ | accsys 2013-6-13 | 01824 | accsys 2013-6-13 07:04 |
|
|
PU连接MU的关键点 | accsys 2013-6-4 | 02512 | accsys 2013-6-4 15:02 |
| 推荐博文 | 作者/时间 | 回复/查看 | 浏览权限 |
|---|
|
3SAT的子句消去法求解方法介绍 | accsys 2015-12-11 | 01282 | 全站用户 可浏览 |
|---|---|---|---|---|
|
|
3-SAT分段子句消去算法，数学人都能看懂NPC=P的证明 | accsys 2015-09-21 | 12252 | 全站用户 可浏览 |
|
|
K-CNF-SAT多项式时间求解算法和软件（正式发表） | accsys 2015-08-13 | 21919 | 全站用户 可浏览 |
|
|
库克定义下的k-CNF-SAT＝P证明（中文版） | accsys 2015-07-04 | 153607 | 全站用户 可浏览 |
|
|
算法程序执行时间计算与P=NP问题终结 | accsys 2015-05-04 | 153667 | 全站用户 可浏览 |
|
|
深入理解非确定型图灵机的概念与P＝NP | accsys 2015-06-03 | 22520 | 全站用户 可浏览 |
|
|
关于多项式时间的辨析 | accsys 2015-06-03 | 03254 | 全站用户 可浏览 |
|
|
计算机状态与算法讨论 | accsys 2015-06-04 | 11917 | 全站用户 可浏览 |
|
|
算法多项式时间复杂度是天大的笑话！ | accsys 2015-06-06 | 42122 | 全站用户 可浏览 |
|
|
有限元线性过程计数原理 | accsys 2015-06-08 | 01724 | 全站用户 可浏览 |
本群组没有最新动态
Archiver|科学网 ( 京ICP备14006957 )
GMT+8, 2017-8-20 08:19
Powered by ScienceNet.cn
Copyright © 2007-2017 中国科学报社
