第351章 章 四种颜色，足够了！(第 4/4 页)

    1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国……但看来，这种推进仍然十分缓慢。

    47个春秋，仅仅使国家数推进了20多个。

    这确是一条布满荆棘、令人生畏的路！

    主要困难是构形的可能性太多，需要做两百亿次的逻辑判定，这远不是一个人的力量所能做到的！

    人们对此望而生畏了！

    但就在这时，科学的地平线上出现了一道曙光！

    电子计算机的运用，使四色猜想的证实有了希望。

    然而在70年代初，即使是电子计算机，要证明这道四色猜想，也要连续算上11年半！

    这是何等艰难的目标，但人类并有没放弃这种机会，进军的号角吹响了！

    科学家们通力合作，一面不断改进方法减少判断次数，一面继续提高计算机的计算速度，使问题的解决终于有了眉目。

    公元1976年9月，花星国伊利诺斯大学的数学家阿沛尔和哈肯教授，运用每秒计算400万次的电子计算机，在运转1200小时后，终于成功地完成了“四色定量”的证明工作。

    电波传来，寰宇震动！

    近代数学史上的三大难题之一，在人与计算机的“合作”下，终于被征服了！

    这是亘古未有的奇迹！

    为纪念这一历史性的时刻与史诗般的功绩，在宣布四色定理得证的当天，伊利诺斯大学邮局加盖了以下邮戳：

    “Fourcolorssuffice！”

    （四种颜色，足够了！）