四色猜想是图论中的一个著名问题，指任何一幅地图，只要用四种颜色就能保证相邻区域颜色不同。该猜想由英国学生弗朗西斯·格思里于1852年提出，后经多位数学家研究，最终于1976年由阿佩尔和哈肯利用计算机证明。
该猜想的解决推动了图论和计算数学的发展，成为数学史上的重要里程碑。
