顿先生的一封信中。在信中，摩尔根讲述了一个问题：“一位学生今天让我说明一个事实的道理，我们不知道它是否可作为一个事实。他说任意划分一个图形并对其每个部分染色，使得任何具有公共边线的部分具有不同的颜色，而且只能用四种颜色，不能再多。你以为如何？如果这个问题成立，它能引起人们关注吗？”
随后的几十年间，大家一直以为这是个不需要证明的定理，直到1878年，伦敦数学会负责人正式宣布了这一问题，四色问题最终形成。
1978年，便有一位律师宣布其证明了四色猜想。在11年以后希伍德指出了其中的一个严重错误。同时也指出律师的方法可以用来证明有五种颜色肯定够了——五色定理。
1922年费兰克林证明了每个有至多25个国家的地图都可以用四种颜色着色。
1926年雷诺德将这一结果推广到27个国家。
1940年温恩证明了35个国家。
1950年德国数学家希许曾估计，证明四色猜想大概要涉及一万个不同构形。
1972年哈肯与阿佩尔联手，经过整整四年的紧张工作，用计算机终于在1976年6月成功地证明了四色定理。
对于这种“暴力解决”的证明方式，数学界很多知名人士并不赞同，他们认为应该用数学逻辑推理上证明它而不是选择了这种“暴力”的解决办法。
这就像有人问怎么把一头大象放入冰箱，答案很简单，第一步，打开冰箱门。第二步把大象推进冰箱，第三步关上冰箱门。只要冰箱门够大，什么样的大象都能放入。这种简单是方法就是一种“暴力”的解决办法
第27章 四色猜想(2/4)