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

博文

科学研究中的复杂与简单

已有 3119 次阅读 2015-7-24 21:36 |个人分类:随笔|系统分类:科研笔记| k-CNF-SAT, 子句消去记数法

科学研究中的复杂与简单

姜咏江

有一句话值得人们称赞,那就是“将复杂的问题弄简单了,那叫本事。将简单的问题说得复杂了,那叫蒙人。”

将复杂的问题能够用简单化的方法处理,这一直是科学工作者追求的目标。最近我将复杂的nk阶合取范式的求解问题,彻底地简单化了一下,用子句消去记数法很容易就求出其全部解。按理这应该是值得大家称赞的工作成果,然而却有人公开说我是中学生的水平,是玩一种简单的概念,一文不值!

说实话,我认定k-CNF-SAT的求解问题就是一个初等数学加计算机设计理论与方法的问题,不需要微积分那种连续性,也没必要引入概率方法求解。这一信念通过子句消去记数法得到了证明。子句消去记数法是求解合取范式满足解适用的简单方法(见http://blog.sciencenet.cn/blog-340399-907475.html

http://blog.sciencenet.cn/blog-340399-905817.html)。

这一方法虽然简单,然而其从夹缝中诞生,却不是件容易的事情。它几乎将我一生所学的知识都运用于研究的过程中,并不像有人见到我的求解方法之后,那样轻松地说这是中学生的智力。我真的不了解眼下的中国,一些战斗在研究领域的人是一种什么样的心态?

你说我的方法初级也好,简单也罢。你能不能拿出你更好的?如果你能够拿出来,那是你的本事,不然就对我的方法进行一下批判,说出它的错误、缺点,或者说说这早已是别人玩过的东西,岂不比在那里说些不负责任的嘲讽言语更叫人佩服你?

科学的计算方法应该是越简单越适用越好,而不是弄得复杂透顶。合取范式求解问题本身有简单的求解方法,只是人们对数学与计算机科学之间的相关关系还一时认识不清。所以才感到合取范式求解十分困难,以至于长时间不能够找到很好的解决方法。本人恰是计算机核心系统设计专家,深谙计算机理论与方法与数学之间的关系,故而能够想到用子句消去计数的方法,从而得到了简单的合取范式求解的方法。

众所周知,合取范式求解的问题所涉及的领域十分广泛,其中包括遗传算法、人工智能、计算机体系结构、并行计算、密码学、生产调度、优化理论等诸多学科。有人甚至夸张地说解决了NPC问题的多项式时间算法,就相当于解决了NPCP问题,从而也就证明了P=NP这个千禧年美国克雷数学所公布的头号世界难题。甚至进而断言“世界上从此再无难题”。

我并不相信那些过于夸张的说法。我认为,世界上一切所谓的难题,都只不过人们尚未找到解决该问题的方法,特别是解决那些难题的简单方法而已。因而寻找难题的简单处理方法,应该是一切从事学术、科研人员的追求,是我们值得一生攀登的事情。

不论前人或其他人做得如何,我为我找到了求解合取范式的简单方法而自豪。虽然P/NP问题尚且不能够定论,然而我创造了简单求解合取范式的成果是以简单替代复杂的最好例子,我想这是任何人想否认它,也是难以做到的事情。

科学领域辛勤的劳动,往往收获就是那么意想不到的一点点。然而这一点点就值得我们终生奋斗。不论你是年轻,还是年迈!

愿一切复杂的问题,我们都能够找到简单的解决方法。

 

2015-7-24

 



https://blog.sciencenet.cn/blog-340399-907988.html

上一篇:详细解答3CNF求解运算器
下一篇:K-CNF-SAT人工子句消去计数法求解,兼答柳渝质疑
收藏 IP: 114.111.166.*| 热度|

4 霍艾伦 陈儒军 晏成和 icgwang

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

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

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

GMT+8, 2024-7-19 02:18

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部