四色定理
的四色定理声明任何地图(将平面划分成任意数量的区域)都可以使用不超过四种颜色上色,这样就不会有两个相邻的区域共享相同的颜色。
四色定理特别引人注目,因为它是第一个由计算机证明的大定理。有趣的是,尽管这个问题是由地图绘制引起的,但这个定理对这个领域并不是特别重要,因为历史上大多数地图都是用超过四种颜色绘制的(尽管只有四种是必要的)。此外,大多数实际地图只需要三种颜色。
正式声明
五色定理的证明
的五个颜色定理显然比四色定理弱,但证明起来容易得多。事实上,它最早的证明是“偶然的”,是四色定理证明的一次有缺陷的尝试的结果。它的工作如下:
考虑一个平面图 .可以证明 必须有顶点 共享最多5条边(*)。考虑到图 形成的删除 所有的边 从 . 仍然是平面的,所以它可以由感应那 可以用五种颜色着色。
如果 最多连接四个顶点,结果立即为真,因为 是简单地分配任何颜色不同于它的邻居,导致5色 根据需要。因此,唯一重要的情况是在哪里 与5个顶点相连 (按顺时针的顺序),这五个顶点有五种不同的颜色 .
现在考虑所有顶点的颜色 ,所有顶点的颜色 ,以及它们之间所有的边。如果 和 在这个子图中是断开连接的,该组件包含 可以用相反的方式着色(所有顶点都着色 在这个组件中被重新着色 反之亦然),在这一点上 可以用 以结束证明。所以唯一重要的情况是 和 在这个子图中是连通的。
现在考虑所有顶点的颜色 ,所有顶点的颜色 ,以及它们之间所有的边。按照同样的逻辑,唯一重要的情况是 和 在这个子图中是连通的。但自 被连接到 , 无法连接到 不破坏图形的平面性(回想一下 是按顺时针顺序排列的 ).因此,已经涵盖了所有的案例,结果由归纳法得出。
人们很自然地会问,为什么这个证明对四色定理也不成立,因为似乎第五种颜色在这里起的作用很小。事实上,除了(*)语句之外,这个逻辑是完全有效的。特别是,这并不一定是真的 最多与四条边相连的顶点;例如,对应于an的图二十面体它是平面的,每个顶点都与另外五个顶点相连。
四色定理证明方法
与五色定理不同,四色定理很难证明。事实上,尽管这个问题在1852年就被严格地表述出来了,但直到1976年,一个正确的证明才首次发表。由于问题的性质,失败的方法异常多:例如,肯普在1879年给出了一个证明,在被驳倒之前持续了11年;尽管如此,它还是引出了上述五色定理的证明。
使用的最终证明最小化:证明了任何反例都必须包含作为a的图集合中的一个子图但如果这些子图是反例的一部分,就会有一个更小的反例存在。这证明了不存在最小的反例,所以根本不存在反例。
更正式,
- 一个不可避免的设置是一组图,使得任何最小的四色定理反例都必须包含至少一个作为子图的图。
- 一个可还原的配置是一个图,具有以下性质:任何包含可约构形的映射都可以被缩减为一个更小的映射,满足小的映射可以用4种颜色上色,原映射也可以用4种颜色上色的条件。
如果能找到一个不可避免的可约构形集合,那么就足以证明该集合中的每一个图都是四色的。这正是1976年证明的结果,证明存在一组1936年大小的不可避免的可约构形。在超级计算机上检查这些配置需要1000多个小时。
进一步的结果
四色定理可以推广到无限的图每个有限子图都是平面的,这是De Bruijn-Erdos定理:
无限图 可以用 色的当且仅当 可以用 颜色。
这一结果在实际工程中具有重要的应用价值平面的色数这个问题问的是,需要多少种颜色才能确保平面上的每个点与距离它单位距离的任何点不共享一种颜色。特别地,这一结果表明,平面的色数在4到7之间。
它也值得考虑着色划分的表面,而不是平面。因为平面可以映射到球体上,所以四色定理也适用于球体,也就是说球体上的任何地图最多可以被涂上四种颜色。然而,陌生的表面需要更多的颜色:例如,分割克莱因瓶和莫比乌斯带两者都需要6种颜色。
最后,这些结果都不能扩展到三个维度:设计一个每一对都是的例子相对容易 柔性杆是相邻的,所以它们需要 任意整数的颜色 .因此,在高维中没有类似于四色定理的东西。