四色问题

　　四色问题（four-color problem），拓扑学的著名问题之一。1852年F.格思里提出对平面（或球面）上地图着色，用4种颜色就可使相邻（即有一段公共边界）的国家和区域的颜色不同，而不能用少于4种颜色着色。此猜想称为四色问题。1890年A.B.肯普和P.D.希伍德证明了五色定理，即用五种颜色可使相邻国家和区域着不同颜色。1968年奥尔和斯坦帕尔证明了对不多于40个国家的任意地图可用四种颜色正确着色。1976年美国数学家K.I.阿佩尔和W.哈肯及计算机专家考克3人合作用计算机大量计算证明了四色定理。但仍有人怀疑计算机计算的准确性。探求四色问题的证明，推动了图论着色理论及代数拓扑图论的发展。