德摩根于1852年写给哈密顿的一封信上。包括凯莱、等在内的许多人都曾给出过错误的证明。（Peter Guthrie Tait）、希伍德（Percy John Heawood）、拉姆齐和（Hugo Hadwiger）对此问题的研究与推广引发了对嵌入具有不同亏格的曲面的图的着色问题的研究。一百多年后，四色问题仍未解决。1969年，发表了一个用计算机解决此问题的方法。1976年，阿佩尔（Kenneth Appel）和沃夫冈·哈肯（Wolfgang Haken）借助计算机给出了一个证明，此方法按某些性质将所有地图分