跳转到内容

维基百科:典范条目/四色定理

维基百科,自由的百科全书

四色定理是一个著名的数学定理:如果在平面上劃出一些邻接的有限区域,那么可以用四种颜色来给这些区域染色,使得每两个邻接区域染的颜色都不一样。被称为邻接的两个区域是指它们有一段公共的边界,而不仅仅是一个公共的交点。四色问题最早是由英国数学家法兰西斯·古德里在1852年提出的。人们发现,要证明宽松一点的“五色定理”很容易,但四色问题却出人意料地异常困难。1976年,数学家凱尼斯·阿佩爾沃夫冈·哈肯借助电子计算机首次得到一个完全的證明,四色问题也终于成为四色定理。这是首个主要借助计算机证明的定理。