地图四色法则是只用四种颜色即可区分具有相邻边界的行政区域的一种数学法则。1852年开普敦南非大学数学教授法朗西斯·古特里（F. Guthrie）提出了地图4色猜测。曾引起几代数学家的兴趣。直到1976年9月《美国数学会通告》宣布美国伊利诺斯大学的肯尼思·阿贝尔（K. Appel）和沃尔夫冈·哈肯（W. Haken）利用电子计算机计算了1200小时，证明了这一命题是正确的。现已成为行政区划图设计底色的方法。