[论文解读] DP-3-coloring of some planar graphs

Runrun Liu, Sarah Loeb+2 more|arXiv (Cornell University)|Feb 26, 2018

Advanced Graph Theory Research参考文献 16被引用 4

一句话总结

本文通过统一的放电法证明，此前已知为3-可choosable的若干类平面图也具有DP-3-可着色性。主要贡献在于将3-可choosability的充分条件（如避免特定长度的圈或要求三角形间的最小距离）推广至DP-着色，证明在相同约束条件下这些图均为DP-3-可着色。

ABSTRACT

In this article, we use a unified approach to prove several classes of planar graphs are DP-$3$-colorable, which extend the corresponding results on $3$-choosability.

研究动机与目标

• 将已知的平面图3-可choosability的充分条件扩展至DP-3-可着色性。
• 在单一框架下统一多个平面图类的证明方法。
• 证明诸如禁止圈长度或三角形间距离等结构限制足以保证DP-3-可着色性。
• 将放电法从列表着色适配至DP-着色，同时保持可约性论证的有效性。
• 表明即使在度数为3的顶点构成的偶圈在DP-着色背景下仍保持可约性，尽管此前有相反假设。

提出的方法

• 使用放电法结合电荷重分配方案，分析最小反例。
• 基于所有度数为3的顶点构成的偶圈应用可约性论证，证明其在DP-着色中可被扩展。
• 根据初始值定义面和顶点的电荷，并依据面类型和顶点度数通过规则(R2c, R3c)进行电荷重分配。
• 引入“银行”概念，追踪电荷从顶点和面流向特殊8-面和3-面的流动。
• 对8-面及其相邻面进行案例分析，验证电荷重分配后的最终电荷非负。
• 利用结构引理（如引理6.4）约束顶点和面周围3-、4-和8-面的配置。

实验结果

研究问题

• RQ1 在特定圈限制下为3-可choosable的平面图是否也具有DP-3-可着色性？
• RQ2 在3-可choosability中使用的放电法能否被适配以在相同条件下证明DP-3-可着色性？
• RQ3 所有度数为3的顶点构成的偶圈在DP-着色中是否仍保持可约性？
• RQ4 特殊8-面及其相邻3-面的存在是否以某种方式影响电荷重分配，从而破坏证明？
• RQ5 银行机制是否能有效管理电荷传递，确保所有配置下的最终电荷非负？

主要发现

• 不含{3,6,7,8}-圈的每个平面图均为DP-3-可着色。
• 不含{3,5,6}-圈的每个平面图均为DP-3-可着色。
• 不含{4,5,6,9}-圈的每个平面图均为DP-3-可着色。
• 不含{4,5,7,9}-圈的每个平面图均为DP-3-可着色。
• 不含{5,6,7}-圈且三角形间距离至少为2的平面图均为DP-3-可着色。
• 放电法成功验证了所有面和顶点类型在电荷重分配后的最终电荷非负，从而确认不存在最小反例。