韩信点兵数学故事( 六 )


2012 年 , 三位爱尔兰数学家证明了数独至少需要 17 个初始数字才有唯一解 。他们的计算机花了 700 万小时的 CPU 时间才搞定了这道数独题 。
可以说中国古代的先贤在这方面取得了丰硕的成果 。"韩信点兵"问题只是一个例子 , 这样的问题有更加普遍和系统化的表示方法 。而这个方法是我国为数不多的获得世界公认的古代数学成就之一 。

推荐阅读