图论的由来—四色问题 1852年,一位英国大学生发现了一种有趣的现象:“看 来,每幅地图都可以用四种颜色着色,使得有共同边界 的国家都被着上不同的颜色。”这个现象能不能从数学 上加以严格证明呢?他和在大学读书的弟弟决心试一试。 兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠, 可是研究工作没有进展。 1852年10月23日,他的弟弟就这个问题的证明请教了他的老师、著名数学家德,摩根,摩根也没有 能找到解决这个问题的途径,于是写信向自己的好友、著名数学家汉密尔顿爵士请教。汉密尔顿 接到摩尔根的信后,对四色问题进行论证。但直到1865年汉密尔顿逝世为止,问题也没有能够解 决。自此之后百年,无人能解决该问题,因此成为世界三大数学猜想之 1976年,两位美国数学家在伊利诺伊大学的BM360机上分1482种情况检查,历时1200个小时,作 了100亿个判断,证明了四色定理。并分别与1989年和1998年修正了部分瑕疵之后,宣告彻底解决 该问题。 东南大学计算机科学与工程学院 同的出学 图论1852年，一位英国大学生发现了一种有趣的现象：“看 来，每幅地图都可以用四种颜色着色，使得有共同边界 的国家都被着上不同的颜色。”这个现象能不能从数学 上加以严格证明呢？他和在大学读书的弟弟决心试一试。 兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠， 可是研究工作没有进展。 1852年10月23日，他的弟弟就这个问题的证明请教了他的老师、著名数学家德·摩根，摩根也没有 能找到解决这个问题的途径，于是写信向自己的好友、著名数学家汉密尔顿爵士请教。汉密尔顿 接到摩尔根的信后，对四色问题进行论证。但直到1865年汉密尔顿逝世为止，问题也没有能够解 决。自此之后百年，无人能解决该问题，因此成为世界三大数学猜想之一。 1976年，两位美国数学家在伊利诺伊大学的IBM360机上分1482种情况检查，历时1200个小时，作 了100亿个判断，证明了四色定理。并分别与1989年和1998年修正了部分瑕疵之后，宣告彻底解决 该问题