从四色猜想到四色定理

在数学史上,四色问题可谓大名鼎鼎,被誉为近代数学的三大难题之一.从1852年四色猜想的发现和提出,到1976年借助计算机获得证明转而定性为四色定理,历经124年,一代又一代数学家前赴后继,绞尽脑汁,共同书写了一段人类智慧挑战思维极限的历史传奇. 四色猜想的发现和提出源自一次偶然.1852年,毕业于伦敦大学的葛斯瑞来到一家科研单位搞地图着色工作时,发现了一种有趣的现象:每幅地图最多用四种颜色着色,就足以把有共同边界的国家(或地区)分开,即把相邻的国家(或地区)涂上不同的颜色.用数学语言表示.就是:"将平面任意地细分为不相重叠的区域,每一个区域总可以用1、2、3、4这四个数字之一来标记,而不会使相邻的两个区域得到相同的数字."