[论文解读] Coloring graphs with crossings

Bogdan Oporowski, David Zhao|ArXiv.org|Jan 25, 2005

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

一句话总结

本文将五色定理推广至最多含三个交叉点的图，证明了若一个图的交叉数不超过三且不含 $K_6$ 子图，则其为5-可染色。通过关键浸入与结构分析，作者表明在低交叉约束下，若不存在 $K_6$-浸入，则可保证5-可染色性，从而将经典结果推广至非平面图之外。

ABSTRACT

We generalize the Five Color Theorem by showing that it extends to graphs with two crossings. Furthermore, we show that if a graph has three crossings, but does not contain K_6 as a subgraph, then it is also 5-colorable. We also consider the question of whether the result can be extended to graphs with more crossings.

研究动机与目标

• 将五色定理推广至具有受控交叉数的非平面图。
• 研究平面图的5-可染色性是否可推广至最多含三个交叉点的图。
• 确定在交叉约束下，$K_6$-子图与 $K_6$-浸入在限制色数方面的作用。
• 探索将结果推广至含四个或更多交叉点的图的极限。

提出的方法

• 使用关键图浸入，将图的交叉结构与其子图性质关联起来。
• 应用不等式 $\nu(G) \geq m - 3n + 6$ 以限制低交叉数图的边数。
• 对反例使用极小性论证，推导出顶点度数与交叉点的结构约束。
• 利用已知的 $K_6$ 的交叉数（三个交叉点）分析 $\nu(G) \leq 3$ 时图中 $K_6$-浸入的性质。
• 应用 $v$-浸入概念分析度数为五的顶点周围的局部结构。
• 在 $K_6$ 导出的图中使用三角剖分与平面性论证，当假设存在 $K_6$ 子图时导出矛盾。

实验结果

研究问题

• RQ1 五色定理能否推广至最多含两个交叉点的图？
• RQ2 所有交叉数不超过三且不含 $K_6$ 子图的图是否均为5-可染色？
• RQ3 当一个含三个交叉点的图包含 $K_6$-浸入时，会引发何种结构约束？
• RQ4 在相同的 $K_6$-自由条件下，5-可染色性结果是否可推广至含四个或更多交叉点的图？

主要发现

• 所有交叉数不超过二的图均为5-可染色，将五色定理推广至一类非平面图。
• 若一个图的交叉数不超过三且不包含 $K_6$ 子图，则其为5-可染色。
• 对于4-连通图，若其交叉数不超过三且不与 $K_6$ 同构，则即使不假设 $K_6$-自由，其5-可染色性依然成立。
• 图 $C_3 \vee C_5$ 的交叉数为六，且非5-可染色，表明若无额外约束，交叉数的界限无法进一步放宽。
• 若一个图含三个交叉点且存在 $K_6$ 的 $v$-浸入，则其必须至少包含四个交叉点，这与仅含三个交叉点的假设矛盾。
• $K_6$ 的交叉数恰好为三，这对限制 $K_6$-浸入中的交叉点数至关重要。