四色定理
世界近代三大数学难题之一
条目
历史版本
四色定理（Four color theorem）又叫四色问题或四色猜想，[2]是世界近代三大数学难题之一[7]，其是指每个平面地图都可以只用4种颜色来染色，而且没有两个邻接的区域颜色相同。[2]同时，在图论语言中，也有对四色定理的陈述。[4]
四色问题是英国数学家格色里（Guthrie）在1850年提出的。他的老师德摩根（De Morgan）给出了这个问题的原始表述。随后，很多数学家对该问题展开讨论，肯普在美国数学杂志中的证明引发了数学界的轰动，但后来，有人举出了反例，他的证明并未成功。直到1976年，肯尼思·阿佩尔（Kenneth Appel）和沃卡冈·哈肯（Wolfgang Haken）在肯普证明的基础上借助计算机证明了四色定理。[3]
四色定理为利用计算机进行证明的数学定理，为数学的研究开辟了新的途径。在定理研究过程中，有不少新理论、新思想诞生。[3][8]此外，在实际生活中、地图着色问题、[5]日程表编排问题、[5]印刷电路板分层问题也和四色定理密切相关。[6]