[论文解读] The chromatic number of the plane is at least 5

de Grey, D N J Aubrey|arXiv (Cornell University)|Apr 8, 2018

Advanced Graph Theory Research参考文献 2被引用 44

一句话总结

本文通过构造一个包含1581个顶点的有限单位距离图，证明了平面的色数至少为5，该图无法用四种颜色着色。该结果通过显式图构造与计算验证，改进了长久以来在Hadwiger-Nelson问题中保持不变的下界。

ABSTRACT

We present a family of finite unit-distance graphs in the plane that are not 4-colourable, thereby improving the lower bound of the Hadwiger-Nelson problem. The smallest such graph that we have so far discovered has 1581 vertices.

研究动机与目标

• 提高平面色数的下界，该下界在数十年间一直保持为4。
• 解决几何图论中一个长期悬而未决的开放问题：Hadwiger-Nelson问题。
• 证明在平面上存在一个有限的单位距离图，该图不可4着色。
• 提供一个构造性且可验证的实例，证明色数至少为5。

提出的方法

• 在欧几里得平面上构造一族有限的单位距离图。
• 应用组合与计算技术，验证特定图的不可4着色性。
• 利用对称性与图稀疏化技术，在保持不可4着色性质的同时最小化顶点数量。
• 使用SAT求解器或等效的逻辑验证方法，确认所发现的最小图不存在4着色方案。
• 基于已知的单位距离构型与图着色约束，系统性地生成并测试图。

实验结果

研究问题

• RQ1 能否在平面上构造一个有限的单位距离图，使其不可4着色？
• RQ2 此类不可4着色的单位距离图所需的最少顶点数是多少？
• RQ3 此类图的存在是否意味着平面的色数至少为5？
• RQ4 计算方法能否高效确认候选图的不可4着色性？

主要发现

• 所发现的最小不可4着色单位距离图包含1581个顶点。
• 该图的存在证明了平面的色数至少为5。
• 该结果改进了Hadwiger-Nelson问题中此前保持不变的下界4。
• 该构造是显式且可验证的，为后续研究提供了具体实例。