这并不算错。
李益来说的证明步骤,是数字无限大的情况下,对每一种可能进行分析判定,运用在魔方上,最多就只有27种扭动情况。
根据日本和美国的数学家攻关研究,小于71011的所有的正整数,都符合角谷猜想的规律,若是再大于71011的数字,差不多只是理论上的数字,计算机想一一判定分析就非常困难了。
另外,计算机和数学不同。
数学需要最为严谨的证明,理论上的数字也需要证明,计算机算法最终的目的是输出正确的结果。
哪怕是存在一点点的瑕疵,‘有效与无关进位筛选法’,放在计算机算法领域里,也已经是完善的算法,可以直接被运用起来。
用数学思维说明有问题,能算是‘鸡蛋里挑骨头’了。
会场议论纷纷。
多数人承认李益来说的问题确实存在,但赵奕的证明过程,在现有的计算机性能下,是完全没有问题的,而计算机算法最重要的,就是能够输出结果,能运用于实践比理论更重要。
结果正确,算法就能应用。
这就足够了。
The content is not finished, continue reading on the next page