摘要

<正>四色猜想是世界近代三大数学难题之一.地图四色定理最先是由一位叫古德里的英国大学生提出来的.德·摩尔根在1852年10月23日致哈密顿的一封信中提供了有关四色猜想来源的最原始的记载,他在信中简述了自己证明四色猜想的设想与感受.一个多世纪以来数学家们为证明这条猜想绞尽脑汁,所引进的概念与方法刺激了拓扑学与图论的生长、发展.1976年美国数学家阿佩尔与哈肯宣告借助电子计算机证明了四色猜想,又为用计算机证明数学定理开拓了前景.