四色问题是数学上的一个经典问题，也是图论中的一个著名问题。该问题的提法是，给定一个地图，要求用四种颜色对地图中的每个区域进行填色，使得任意相邻的区域颜色不同。问题的关键在于确定是否存在一种方法能够确保这种规则的满足。
此处插入一张关于颜色的图片这个问题最早由英国数学家弗朗西斯·格思（Francis Guthrie）在1852年提出，尽管已经经过多年的研究，但直到1976年才由美国数学家肯尼思·应德森（Kenneth Appel）和沃尔特·哈肯（Wolfgang Haken）首次得到了证明。
他们通过构建一种特殊的图形结构，使用了计算机算法进行验证，最终成功地证明了四色问题的正确性。这个证明方法被称为四色定理。