[论文解读] Planar graphs without 4-cycles adjacent to triangles are DP-4-colorable

Seog‐Jin Kim, Xiaowei Yu|arXiv (Cornell University)|Dec 25, 2017

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

一句话总结

本文证明了不含与三角形相邻的4-圈的平面图是DP-4-可染色的，扩展了关于平面图中4-可选性与DP-可染色性的先前结果。通过在最小反例上使用放电法，作者对面和顶点的初始电荷进行重新分配，表明所有面和顶点最终电荷均为非负，从而与这类图的存在性矛盾，证明了在给定条件下DP-4-可染色性。

ABSTRACT

DP-coloring (also known as correspondence coloring) of a simple graph is a generalization of list coloring. It is known that planar graphs without 4-cycles adjacent to triangles are 4-choosable, and planar graphs without 4-cycles are DP-4-colorable. In this paper, we show that planar graphs without 4-cycles adjacent to triangles are DP-4-colorable, which is an extension of the two results above.

研究动机与目标

• 确立不含与三角形相邻的4-圈的平面图是DP-4-可染色的，扩展已知的4-可选性与DP-可染色性结果。
• 通过证明满足某种结构条件的一类平面图是DP-4-可染色的，弥合列表染色与DP-染色之间的差距，尽管这些图无法通过标准列表染色技术轻易约化。
• 通过涉及特殊子图如$S\theta$的反例，表明DP-染色条件在某些情况下严格强于列表染色。
• 探索DP-染色与符号染色之间的联系，表明该结果意味着同一类图的符号4-可选性。

提出的方法

• 对一个顶点数最少的最小反例图$G$采用放电法，假设$G$不是DP-4-可染色的。
• 根据其度数为顶点和面分配初始电荷：每个面$f$获得电荷$\text{ch}(f) = 2|f| - 6$，每个顶点$v$获得电荷$\text{ch}(v) = 2\deg(v) - 6$。
• 应用一组放电规则（R1–R7）重新分配电荷，保持总和不变，目标是证明所有面和顶点最终电荷均非负。
• 对面进行分类：特殊面、坏面或普通面，并根据与3-圈和4-圈的邻接关系定义特殊5-顶点和5-面。
• 利用结构引理（例如，3-圈与4-圈不相邻）来限制与面相邻的小度数顶点数量，控制电荷转移。
• 证明放电后，所有面的最终电荷均$\geq 0$，与$G$是最小反例的假设矛盾，从而证明DP-4-可染色性。

实验结果

研究问题

• RQ1 能否证明不含与三角形相邻的4-圈的平面图类是DP-4-可染色的，从而扩展已知的4-可选性结果？
• RQ2 在此背景下，DP-染色条件是否严格强于列表染色，使得该结果无法直接由4-可选性推出？
• RQ3 此类图的何种结构特性会阻止其DP-4-可染色？放电规则如何应对这些特性？
• RQ4 $S\theta$子图如何影响DP-染色行为？为何其不存在并不能保证DP-4-可染色性？
• RQ5 DP-染色与符号染色之间存在何种关系？该结果是否可推广至符号4-可选性？

主要发现

• 不含与三角形相邻的4-圈的平面图是DP-4-可染色的，证实了一个扩展4-可选性与DP-可染色性结果的猜想。
• 放电法成功地重新分配电荷，使得所有面和顶点的最终电荷均为非负，与最小反例的存在性矛盾。
• 该证明表明，即使$S\theta$子图存在，不含4-圈与三角形相邻的图类仍是DP-4-可染色的，表明其结构复杂性超出了标准列表染色的范畴。
• 该结果并非由Cheng、Chen与Wang（2016）的4-可选性结果直接推出，因为DP-染色框架允许更复杂的匹配关系，而标准列表染色无法捕捉这些。
• 本文确立了此类图也具有符号4-可选性，将符号图染色的结果推广到了DP-染色框架。
• 该类图中$\chi_{\ell}(G)$与$\chi_{\text{DP}}(G)$之间的差距得以保持，如$S\theta$-自由性不能推出DP-可染色性所示，凸显了该结果的非平凡性。