[论文解读] Three-coloring triangle-free graphs on surfaces I. Extending a coloring to a disk with one triangle

Zdenĕk Dvořák, Daniel Král͏̌+1 more|Warwick Research Archive Portal (University of Warwick)|Oct 12, 2010

Advanced Graph Theory Research参考文献 21被引用 6

一句话总结

本文建立了在仅含一个三角形的无三角形平面图中，对6-圈进行3-着色可扩展至整个图的充要条件。通过在最小反例上使用放电法，证明了此类扩展失败当且仅当6-圈与三角形不相交，且其所有顶点均与同一颜色类中的顶点相邻，或该圈内某条边连接两个同色顶点。该结果为研究曲面上无三角形图的3-可着色性提供了基础引理。

ABSTRACT

Let G be a plane graph with exactly one triangle T and all other cycles of length at least 5, and let C be a facial cycle of G of length at most six. We prove that a 3-coloring of C does not extend to a 3-coloring of G if and only if C has length exactly six and there is a color x such that either G has an edge joining two vertices of C colored x, or T is disjoint from C and every vertex of T is adjacent to a vertex of C colored x. This is a lemma to be used in a future paper of this series.

研究动机与目标

• 刻画在仅含一个三角形的无三角形平面图中，一个面6-圈的3-着色何时可扩展至整个图。
• 建立阻止此类扩展的结构条件，形成对曲面上无三角形图3-可着色性更广泛研究的关键引理。
• 利用放电法与极小性论证开发分析极小不可扩展着色结构的工具。
• 为确定固定曲面上无三角形图的3-可着色性奠定理论基础，尤其在经典界不适用的情况下。

提出的方法

• 根据度数和面长为顶点与面分配初始电荷，对三角形和6-圈进行调整。
• 应用放电过程：面将其单位电荷的1/3发送给相邻的度数为2的顶点及内部度数为3的顶点。
• 利用放电规则推导矛盾：若任意面的最终电荷为负，则意味着图具有结构约束。
• 采用极小性与临界性论证：假设存在一个极小子图使得着色无法扩展，随后证明其必同构于以下两个特定图之一。
• 应用欧拉公式与度数约束，界定低度顶点的数量，并推导出总电荷和至多为-1/3。
• 利用结构引理（例如：不存在度数为2,3,2的三个顶点构成的路径）排除违反放电规则的构型。

实验结果

研究问题

• RQ1 在仅含一个三角形的无三角形平面图中，6-圈的3-着色在何种条件下无法扩展至整个图？
• RQ2 3-着色扩展的障碍是否能完全通过6-圈与唯一三角形的相对位置来刻画？
• RQ3 是否存在一个有限的极小障碍集合，阻止此类图中的3-着色扩展？
• RQ4 度数约束与面结构如何相互作用以决定着色扩展的可能性？
• RQ5 能否使用放电法证明仅特定构型会阻止3-着色扩展？

主要发现

• 在仅含一个三角形的无三角形平面图中，6-圈的3-着色无法扩展至整个图，当且仅当6-圈与三角形不相交，且6-圈上每个顶点均与三角形中同色顶点相邻。
• 若6-圈与三角形共享一条边，或6-圈内存在连接同色顶点的边，则着色总可扩展。
• 极小反例图必同构于图1所示的两个图之一，它们是扩展的唯一障碍。
• 初始电荷总和至多为-1/3，若所有最终面电荷非负，则导致矛盾，从而证明了结构约束。
• 证明依赖于将电荷从面重新分配至低度顶点的放电论证，表明负的最终电荷意味着矛盾，除非存在禁止构型。
• 6-圈上不存在特定的度数为2与度数为3的顶点模式对论证至关重要，此类模式由结构引理排除。