科学研究中的复杂与简单 姜咏江 有一句话值得人们称赞,那就是“将复杂的问题弄简单了,那叫本事。将简单的问题说得复杂了,那叫蒙人。” 将复杂的问题能够用简单化的方法处理,这一直是科学工作者追求的目标。最近我将复杂的 n 元 k 阶合取范式的求解问题,彻底地简单化了一下,用子句消去记数法很容易就求出其 ...
玩科学还是研究科学? 姜咏江 网友柳渝在评论中告诉我:注意目前有 SAT 的 solver ,可解几十万个变元( n )、几百万个字句( k )的例子,见每年举行的国际 SAT 竞赛网站: http://www.satcompetition.org 。 我先是很震惊“可解几十万个变元( n )、几百万个字句( k )的例子”,后来一想,这不过是一 ...