四色成绩又称四色猜想，是世界近代三大年夜数学困难之一。 四色成绩的内容是“任何一张地图只用四种色彩就能使有独特界限的国度着上差其余色彩。”
1852年，在英国一家科研机构搞地图着色任务的格思里，起首提出了四色成绩。 1872年，英国数学家凯利正式向伦敦数学学会提出这个成绩，于是四色猜想成了世界数学界关注的成绩。 电子打算机的开展促进了“四色成绩”的研究过程。
美国数学修养哈肯跟阿佩尔于1976年6月,利用伊利诺斯大年夜学的电子打算机打算了1200个小时，作了100亿个断定，终于实现了四色定理的证明，轰动了世界。 不过不少数学家认为应当有一种简便明快的书面证明方法。