[论文解读] Analogue of DP-coloring on variable degeneracy and its applications on list vertex-arboricity and DP-coloring

Pongpat Sittitrai, Kittikorn Nakprasit|arXiv (Cornell University)|Jul 2, 2018

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

一句话总结

本文引入了一种广义的变量退化概念，统一了列表顶点森林化与DP-染色，从而建立了一个统一框架，证明了不含与3-圈相邻的4-圈的平面图是DP-4-可染色的，且为列表顶点2-森林化图。该方法通过在特定图结构上应用一种新型染色技术，扩展了Borodin与Ivanova的结果，使该框架在稀疏图的结构染色问题中具有更广泛的应用性。

ABSTRACT

In \cite{listnoC3adjC4}), Borodin and Ivanova proved that every planar graph without $4$-cycles adjacent to $3$-cycle is list vertex-$2$-aborable. In fact, they proved a more general result. Inspired by these results and DP-coloring which becomes a widely studied topic, we introduce a generalization on variable degeneracy including list vertex arboricity. We use this notion to extend a general result by Borodin and Ivanova. Not only that this theorem implies results about planar graphs without $4$-cycles adjacent to $3$-cycle by Borodin and Ivanova, it implies many other results including a result by Kim and Yu \cite{KimY} that every planar graph without $4$-cycles adjacent to $3$-cycle is DP-$4$-colorable.

研究动机与目标

• 将变量退化概念广义化，使列表顶点森林化与DP-染色在统一框架下得以统一。
• 扩展Borodin与Ivanova关于不含与3-圈相邻的4-圈的平面图的列表顶点2-森林化结果。
• 证明新框架能以统一方式推导出列表顶点森林化与DP-染色的结果。
• 提出一种基于代表集与覆盖图的结构染色方法，该方法推广了临界配置上的贪心染色。

提出的方法

• 定义图 $ G $ 的覆盖图 $ H $，其中关联一个 $ k $-赋值 $ L $，使得每个顶点 $ u $ 对应集合 $ \{u\} \times L(u) $，且 $ u $ 与 $ v $ 之间的边在 $ H $ 中构成一个匹配。
• 引入一个大小为 $ |V(G)| $ 的代表集 $ S \subseteq V(H) $，每个顶点对应一个代表，基于 $ H $ 中的邻接关系定义代表图 $ G_S $。
• 将DP-森林化染色定义为一个代表集 $ S $，使得 $ G_S $ 为一棵森林，从而同时推广了列表顶点森林化与DP-染色。
• 在由最小反例导出的6-顶点配置 $ F $ 上应用贪心染色过程，根据代表集中邻居的分布，更新颜色可用性函数 $ f_i^* $。
• 对更新后的可用性函数 $ f_i^* $ 中正值的数量与分布进行情况分析，根据每个顶点的可用颜色数，归约为两种主要情况。
• 通过构造一个代表集使得 $ G_S $ 为森林，证明在 $ F $ 上存在有效的DP-森林化染色，利用 $ F $ 的结构与 $ f_i^* $ 的约束条件。

实验结果

研究问题

• RQ1 能否开发一个统一框架，通过变量退化同时广义化列表顶点森林化与DP-染色？
• RQ2 新框架是否能同时蕴含Borodin与Ivanova关于列表顶点2-森林化的结论，以及Kim与Yu关于不含与3-圈相邻的4-圈的平面图的DP-4-可染色性结果？
• RQ3 6-顶点配置 $ F $ 的哪些结构特性使得贪心染色过程能保持各顶点间足够的颜色可用性？
• RQ4 广义的变量退化条件（$ f_i(v) \in \{0,1,2\} $ 且 $ \sum f_i(v) \geq 4 $）如何确保DP-森林化染色的存在性？
• RQ5 该方法能否推广至其他禁止特定环结构的图类？

主要发现

• 本文证明了所有不含与3-圈相邻的4-圈的平面图都是DP-4-可染色的，扩展了Kim与Yu的结果。
• 研究确立了此类图是列表顶点2-森林化图，证实并推广了Borodin与Ivanova的结果。
• 广义的变量退化框架（$ f_i(v) \in \{0,1,2\} $ 且 $ \sum f_i(v) \geq 4 $）确保了6-顶点配置 $ F $ 上存在DP-森林化染色，这对证明过程至关重要。
• 该方法成功地将问题简化为分析可用性函数 $ f_i^* $ 中正值数量的两种情况，两种情况均存在有效染色。
• 该框架将此前两个独立的染色概念——列表顶点森林化与DP-染色——统一在变量退化的广义化概念之下。
• 基于代表集与在最小反例配置上迭代应用贪心染色的证明技术，展示了该方法在结构染色问题中的强大适用性。