幅画在平面上的地图都可以用四种颜色染色，使得任意两个相邻的区域不同色？”这一问题由于1852年提出，而最早的文字记载则出现在德摩根于1852年写给哈密顿的一封信上。包括凯莱、等在内的许多人都曾给出过错误的证明。（Peter Guthrie Tait）、希伍德（Percy John Heawood）、拉姆齐和（Hugo Hadwiger）对此问题的研究与推广引发了对嵌入具有不同亏格的曲面的图的着色问题的研究。一百多年后，四色问题仍未解决。1969年，发表了一个用计算机解决此问题的方法。1976年，阿佩尔（Ke