[论文解读] Total coloring of pseudo-outerplanar graphs

Xin Zhang, Guizhen Liu|arXiv (Cornell University)|Aug 25, 2011

Advanced Graph Theory Research参考文献 5被引用 7

一句话总结

该论文通过证明所有最大度 Δ ≥ 5 的伪外平面图的总色数为 Δ + 1，证实了伪外平面图的总着色猜想。作者采用图大小的归纳法与禁止子结构的结构分析，建立 (Δ + 1)-总着色始终可行，从而解决了该图类的猜想，并将外平面图与系列-并行图的已知结果推广至更广的图类。

ABSTRACT

A graph is pseudo-outerplanar if each of its blocks has an embedding in the plane so that the vertices lie on a fixed circle and the edges lie inside the disk of this circle with each of them crossing at most one another. In this paper, the total coloring conjecture is completely confirmed for pseudo-outerplanar graphs. In particular, it is proved that the total chromatic number of every pseudo-outerplanar graph with maximum degree $Δ\geq 5$ is $Δ+1$.

研究动机与目标

• 为解决伪外平面图类的总着色猜想，该类图具有平面嵌入，其顶点位于一个圆周上，且边至多仅交叉一次。
• 确定最大度 Δ ≥ 5 的伪外平面图的精确总色数。
• 通过证明 χ′′(G) = Δ + 1 在更广的图类中成立，将外平面图与系列-并行图的已知结果推广。
• 识别可能阻碍 (Δ + 1)-总着色的结构障碍（特定的边与环配置），并通过归纳着色论证予以消除。

提出的方法

• 基于 |V(G)| + |E(G)| 的归纳法证明，假设 G 是 2-连通且最小度 ≥ 2。
• 利用先前研究中的结构引理，识别伪外平面图中四种禁止配置：度为 2 且邻点度较低的顶点、含度为 2 或度为 3 的顶点的 4-环，以及含三个度为 2 的顶点的 7-路径。
• 对每种禁止配置，构造 G 去除问题元素后的部分 (M+1)-总着色，然后通过可用颜色集逐步扩展至完整图。
• 应用颜色可用性论证：对每条边，其可用颜色数至少为 M+1 减去已着色的关联元素数，确保至少存在一个有效颜色选择。
• 使用重着色技术解决冲突，例如交换边上的颜色以打破对称性并创建互不相交的可用颜色集合。
• 证明度为 2 的顶点可最后着色，因其度约束较低，从而简化最终着色步骤。

实验结果

研究问题

• RQ1 每个最大度 Δ ≥ 5 的伪外平面图是否都允许 (Δ + 1)-总着色？
• RQ2 总着色猜想是否可被证实适用于伪外平面图类，该类图推广了外平面图与系列-并行图？
• RQ3 伪外平面图的何种结构特性会阻止或允许 (Δ + 1)-总着色？如何系统性地消除这些特性？
• RQ4 Δ ≥ 5 的边界是否紧致？即结果 χ′′(G) = Δ + 1 是否可改进为 Δ ≥ 4？

主要发现

• 所有最大度 Δ ≥ 5 的伪外平面图的总色数恰好为 Δ + 1。
• 总着色猜想对所有伪外平面图均成立，因为 χ′′(G) = Δ + 1 意味着猜想中 Δ + 2 的上界对这类图是充分且紧致的。
• 证明依赖于对四种特定配置的结构排除：度为 2 且邻点度较低的顶点、含度为 2 或度为 3 的顶点的 4-环，以及含三个度为 2 的顶点的 7-路径；每种配置均通过归纳扩展证明可着色。
• 对于 Δ ≤ 5 的图，该结果在一般上界 Δ + 2 下已知成立，因此本文完成了对所有伪外平面图的分类。
• Δ ≥ 5 的边界可能并非紧致，因为存在 Δ = 3 且 χ′′(G) = 5 的反例，表明 Δ ≥ 4 可能已足够，因此 Δ = 4 的情况仍为开放问题。
• 本文提供了一种构造性归纳方法，用于构建 (Δ + 1)-总着色，明确给出了在颜色可用性约束下处理边与顶点着色扩展的程序。