赵奕的不同。
魔方计算器的核心算法,是已经直接投入使用的,被验证是正确的算法。
这个算法非常被计算机界重视,连国际计算机协会都有不少人,关注着即将发表的论文,当得知卡曼尼负责审稿的时候,不少人还特别打电话来催促,意思差不多就是,“快点审稿!赶上下一期就发表出来!”
卡曼尼都感觉到了压力。
在审稿的过程中,卡曼尼就被内容吸引了。
大部分简化算法都是利用数学的‘群论’,或者其他什么数学方法,来消除重复性进行数据简化,‘进位筛选的方式’也是有的,但涉及到‘只能想象的计算数量级’,进行简单的筛选都变得极为困难。
‘有效与无关进位筛选法’,给卡曼尼一种拨开云雾的感觉,筛选出‘有害’的步骤,显然要比筛选出‘有利’的容易许多。
‘筛选法’中的一些算法、结论,证明过程所使用的公式、定理并不高深,大部分都是很简单、很确定的公式,就让结论变得更加确定。
卡曼尼看的入迷了。
‘有效与无关进位筛选法’,总有些另辟捷径的意思,想看懂证明过程不容易,想完全理解更不容易。
内容未完,下一页继续阅读