| 释义 |
人们用了多久才证明出四色定理？
四色问题最早是弗朗西斯·古德里（Francis Guthrie，1831—1899）在1852年提出的。在对英格兰郡县的地图进行上色时，古德里发现仅用4种颜色便能保证任何两个相邻郡县为不同的颜色。他进一步推测，每张地图，无论国家的数量与复杂性，是否仅用4种颜色便能保证相邻国家不重色。直到1976年（问题提出124年后），凯尼斯·阿佩尔（Kenneth Appel，1932—）与沃夫冈·哈肯（Wolfgang Haken，1928—）才证明了四色定理。虽然它们的证明是由计算机验证的，但是这个证明确是准确无误的。目前还没有人工证明的简单方法。 |