科学网—accsys的博文

将复杂问题弄简单了方显出科学人的本事

热度 4 姜咏江 2016-12-5 07:15

P与NP问题说简单了，就是将复杂问题如何弄成简单的问题。不是自吹，我用两年多点的时间，找到了SAT问题快速求解的子句消去法，将不确定的猜测验证方法彻底抛弃了。这也检验了自己科学研究的能力。什么世界难题？只要你找到了它的特有规律，再复杂的问题也会变得简单。请看我的博文 http://blog.sciencenet.cn/blog-340399- ...

个人分类: SAT问题|2419 次阅读|11 个评论热度 4

振奋！每个华人一看就会做这个世界难题

热度 2 姜咏江 2016-12-4 08:51

振奋！每个华人一看就会做这个世界难题将若干个逻辑变量及其非的形式“或运算”组成的表达式，再进行“与运算”，这些变量都取什么值会使结果为“真”？这就是所谓的世界难题 SAT 。以往 SAT 问题没有快速求解方法，上百个变量，即使用计算机也无法在短时间内求出能够成立的满足解。下面介绍的子句消去法只要 ...

个人分类: SAT问题|2829 次阅读|10 个评论热度 2

多项式时间复杂度和指数时间复杂度相差多少？

姜咏江 2016-12-1 09:00

多项式时间复杂度和指数时间复杂度相差多少？姜咏江如果以问题条件中对象数量 n 做为考察标准，随着 n 的增大，什么样的算法耗时增长速度快？这就是解题当中的时间复杂度问题。同一个问题，寻找耗时增长速度最慢的算法，无疑具有十分重要的意义。从数学 ...

个人分类: P/NP问题|10755 次阅读|没有评论

什么样的人可以称为大师？

热度 3 姜咏江 2016-11-25 11:31

他（她）必须在某个领域有特立独行的理论和方法，能够解释普遍不能解释的现象，能够解决普遍不能解决的问题，经得起时间和实践的检验，这样的人才是大师。跟着别人的理论和方法进行研究，成就再高，也难称为大师，至多可以称为某某理论方法的重要研究和推进者。

个人分类: 随笔|4385 次阅读|4 个评论热度 3

为什么中国近期不能有科学大师出现？

热度 7 姜咏江 2016-11-25 03:26

上回说过成为大师的个人条件，现在说说大师出现的外部条件。科学界能否容忍'其谈怪论'的探讨，是能否产生大师冒出来的外部条件。科学人有一个最坏的毛病，特别是那些有话语权的所谓专家。多数人一见到离经叛道的说法，就会断然否定，所以'千里马常有，伯乐不常有'。大师者，其研究必然会打破常规。中 ...

个人分类: 随笔|3482 次阅读|10 个评论热度 7

纯离散数据是不可近似计算的，近似计算是伪命题

热度 4 姜咏江 2016-11-24 04:04

纯离散数据对事物的抽象只有是与非，可以用1和0来表示，构成SAT数据结构。这种结构只要有一个变量无法确定其值，那么SAT就没有满足解，何来近似计算？凡是能够近似计算的数据，必有连续变化的数值变量存在。象所谓遗传算法看来不着边际，也不符合概率样本空间全面的要求。计算出来的结果错误难免。

个人分类: 离散数学|3419 次阅读|9 个评论热度 4

子句消去法一定会让DPLL方法退出历史舞台

热度 1 姜咏江 2016-11-23 07:33

SAT问题在人工智能，集成电路优化设计，基因计算等众多领域都有重要的应用。SAT问题求解一般都用DPLL方法。DPLL方法不是多项式时间算法，必将被子句消去法替代。DPLL是有回溯的的指数型时间复杂度算法，而子句消去法最坏的情况出现在子句块中全无唯一解变量的时候，而这时只要判断关联变量可选解就可以。关联变量有唯一可 ...

个人分类: SAT问题|2540 次阅读|1 个评论热度 1

中国即将出学术大师

热度 3 姜咏江 2016-11-22 07:22

重大科学创新产生于那些衣食无忧的人群当中。中国人已经进入了基本生活条件富足的时代，中国人的聪明才智是世界上少有的，人类最高智商在世界华人圈中，因而新世纪的学术大师必然会出现在华人世界。中国一定会出若干个独领风骚的科学大师。

个人分类: 随笔|2735 次阅读|6 个评论热度 3

晒晒读者对我的评论

姜咏江 2016-11-22 07:06

今晨打开邮箱，又见到有人给我来信：姜教授，非常感谢您写了如此好一本关于自制CPU的书，读来如有神助。《CPU自制入门》我也读过，还是您写的明白，透彻！不知您是否有时间能再写一本关于解剖CPU设计架构方面的书，我读过《编码》《穿越计算机的迷雾》等书，不过那属于科普类，总感觉还缺少一本正儿八经的分析现有 ...

个人分类: 随笔|2246 次阅读|没有评论

确定问题判定问题决定问题和验证问题

姜咏江 2016-11-20 10:26

姜咏江《算法导论》一书中文译本，对 NP 完全性问题有如下的解释，研究中发现似乎不够准确，有必要探讨一下。 Npcompletenessappliesdirectlynottooptimizationproblems,however,butto decision problems ,inwhi ...

个人分类: P/NP问题|3649 次阅读|没有评论

帐号		自动登录	找回密码
密码			注册

关闭 安全验证

accsys

关闭安全验证