四色定理四色问题又称四色猜想、四色定理，是世界三大数学猜想之一。四色问题最先是由一位叫格斯里（FrancisGuthrie）的英国大学生提出来的。四色定理是一个著名的数学定理，通俗的说法是：每个平面地图都可以用不多于四种颜色来染色，而且没有两个邻接的区域颜色相同。1976年，凯尼斯阿佩尔 （K.Appel）和沃夫冈哈肯 （W.Haken）借助电子计算机首次得到一个完全的证明，问题也终于成为定理。四色定理是第一个借助计算机证明的定理。1