[论文解读] Coloring graphs using topology

Oliver Knill|arXiv (Cornell University)|Dec 22, 2014

Computational Geometry and Mesh Generation参考文献 79被引用 16

一句话总结

本文提出一种基于拓扑嵌入的图着色方法，通过将二维几何图嵌入高维图中，利用精炼与自cobordism操作降低边的度数，实现四色着色。该方法从拓扑角度解释了四色定理的成因，并通过四维嵌入将结果推广至非可定向或高亏格曲面的五色着色，提供了一个受计算图示支持的构造性框架。

ABSTRACT

Higher dimensional graphs can be used to colour two-dimensional geometric graphs. If G the boundary of a three dimensional graph H for example, we can refine the interior until it is colourable with 4 colours. The later goal is achieved if all interior edge degrees are even. Using a refinement process which cuts the interior along surfaces we can adapt the degrees along the boundary of that surface. More efficient is a self-cobordism of G with itself with a host graph discretizing the product of G with an interval. It follows from the fact that Euler curvature is zero everywhere for three dimensional geometric graphs, that the odd degree edge set O is a cycle and so a boundary if H is simply connected. A reduction to minimal colouring would imply the four colour theorem. The method is expected to give a reason "why 4 colours suffice" and suggests that every two dimensional geometric graph of arbitrary degree and orientation can be coloured by 5 colours: since the projective plane can not be a boundary of a 3-dimensional graph and because for higher genus surfaces, the interior H is not simply connected, we need in general to embed a surface into a 4-dimensional simply connected graph in order to colour it. This explains the appearance of the chromatic number 5 for higher degree or non-orientable situations, a number we believe to be the upper limit. For every surface type, we construct examples with chromatic number 3,4 or 5, where the construction of surfaces with chromatic number 5 is based on a method of Fisk. We have implemented and illustrated all the topological aspects described in this paper on a computer. So far we still need human guidance or simulated annealing to do the refinements in the higher dimensional host graph.

研究动机与目标

• 提供一个从拓扑视角解释为何任意二维几何图均可用四种颜色着色的理论依据。
• 通过三维几何图的精炼，发展一种实现四色着色的构造性方法。
• 利用四维单连通宿图，将着色框架扩展至非可定向或高亏格曲面。
• 证明色数5是广义二维几何图的上界，基于拓扑障碍的分析。
• 实现并可视化拓扑过程，以支持理论主张。

提出的方法

• 将二维几何图G作为三维几何图H的边界进行嵌入，随后精炼H的内部，使所有内部边的度数为偶数，从而确保四色着色的可行性。
• 采用一种沿曲面切割内部的精炼过程，以调整边界上的边度数。
• 对图G自身应用自cobordism，利用离散化G × I（区间）的宿图，以保持拓扑一致性。
• 利用三维几何图中欧拉曲率为零的性质，证明奇度边集O构成一个环，若H是单连通的，则O必为边界，从而实现四色着色。
• 利用Fisk的方法构造色数为5的曲面，尤其适用于非可定向或高亏格的情形。
• 在计算上实现拓扑构造，采用人工引导或基于模拟退火的精炼方法，在高维空间中进行。

实验结果

研究问题

• RQ1 从拓扑视角看，四色定理为何成立？是否可通过几何图论加以解释？
• RQ2 是否能通过拓扑嵌入与精炼，对任意度数或方向的二维几何图实现四色着色？
• RQ3 为确保非可定向或高亏格曲面的四色着色，所需的最小维度是多少？
• RQ4 色数为何在某些曲面类型下增至5？何种拓扑条件导致这一现象？
• RQ5 能否开发一种构造性、算法化的方​​法，通过高维嵌入实现最小着色？

主要发现

• 在单连通的三维几何图中，奇度边集O构成一个环，因此为边界，从而可通过精炼实现四色着色。
• 当三维几何图H的内部被精炼至所有内部边度数为偶数时，其边界G即实现四色着色。
• 对于无法作为任何三维几何图边界的非可定向曲面（如射影平面），五种颜色是必需的。
• 对于高亏格或非可定向曲面，若将其嵌入四维单连通几何图中，则可实现五色着色，表明5是色数的上界。
• 本文通过Fisk方法构造了色数分别为3、4和5的显式曲面示例，验证了理论界限的正确性。
• 计算实现成功展示了所有拓扑过程，尽管精炼过程仍需人工或模拟退火的引导。