四色问题

拓扑学和图论中有名的问题。指能否只用四种颜色在地图上把所有的地区涂色，使相邻的两个地区颜色不同。1976年美国阿佩尔(K. Appel)等人宣布借助电子计算机证明了用四色染图是足够的。