跳转到内容

维基百科:优良条目/四色定理

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

四色定理是一个著名的数学定理:如果在平面上划出一些邻接的有限区域,那么可以用四种颜色来给这些区域染色,使得每两个邻接区域染的颜色都不一样。另一个通俗的说法是:每个地图都可以用不多于四种颜色来染色,而且没有两个邻接的区域颜色相同。“是否只用四种颜色就能为所有地图染色”的问题最早是由一位英国制图员在1852年提出的,被称为“四色问题”或“四色猜想”。1976年,数学家凯尼斯·阿佩尔沃夫冈·哈肯借助电子计算机首次得到了一个完全的证明,四色问题也终于成为了四色定理。这是首个主要借助计算机证明的定理。这个证明一开始并不为许多数学家接受,因为不少人认为这个证明无法用人手直接验证。尽管随着计算机的普及,数学界对计算机辅助证明更能接受,但仍有数学家希望能够找到更简洁或不借助计算机的证明。