[论文解读] Choosability of the square of a planar graph with maximum degree four

Daniel W. Cranston, Rok Erman+1 more|arXiv (Cornell University)|Mar 21, 2013

Advanced Graph Theory Research参考文献 12被引用 11

一句话总结

该论文利用基于最大平均度和围长的放电方法，建立了最大度至多为四的平面图的平方图的列表色数（可选择性）的新上界。证明了根据图 $ G $ 的围长不同，$ G^2 $ 是 5-、6-、7-、8-、12- 或 14-可选择的，且围长越高，上界越紧，并引入了涉及 2- 和 3-顶点的新可约配置，以强化放电论证。

ABSTRACT

We study squares of planar graphs with the aim to determine their list chromatic number. We present new upper bounds for the square of a planar graph with maximum degree $Δ\leq 4$. In particular $G^2$ is 5-, 6-, 7-, 8-, 12-, 14-choosable if the girth of $G$ is at least 16, 11, 9, 7, 5, 3 respectively. In fact we prove more general results, in terms of maximum average degree, that imply the results above.

研究动机与目标

• 确定最大度至多为四的平面图的平方图的列表色数的紧上界。
• 将图的平方图的色数与可选择性数的已知结果推广至 $ \Delta = 4 $ 的列表着色情形，此前该情形尚无相关研究。
• 在最小反例中开发仅涉及 2- 和 3-顶点的新可约配置，以支持更强的放电论证。
• 将可选择性上界与围长和最大平均度（mad）等图的结构参数相关联，推广平面图结果。

提出的方法

• 使用放电法，初始电荷函数基于顶点度数和面长，随后通过重分配规则在最小反例中导出矛盾。
• 采用全局放电策略，其可约配置可任意大，重点聚焦于 2- 和 3-顶点，即使在 $ \Delta = 4 $ 的情形下，这在该背景下是新颖的方法。
• 采用基于局部结构（如面类型和邻点度数）的放电规则，将电荷从 4-顶点分配给相邻的 2- 和 3-顶点。
• 依赖欧拉公式，并利用平面图若围长为 $ g $，则满足 $ \operatorname{mad}(G) < 2 + \frac{4}{g-2} $ 的事实，将围长与最大平均度联系起来。
• 使用 $ k $-可约性的概念：若某些配置无法出现在最小反例中，则图必满足可选择性上界。
• 通过结构分析与放电规则，验证了特定配置（如相邻的 2-顶点与 3-顶点，或有两个相邻 2-顶点的 4-顶点）的 12- 和 14-可约性。

实验结果

研究问题

• RQ1 对于最大度为四且给定围长的平面图，其平方图的列表色数是多少？
• RQ2 能否通过结合仅涉及 2- 和 3-顶点的新可约配置的放电方法，为 $ \Delta = 4 $ 情形获得改进的可选择性上界？
• RQ3 当 $ \Delta \leq 4 $ 时，图的最大平均度（mad）与其平方图的可选择性之间有何关系？
• RQ4 在多大程度上可基于围长与 mad 而非仅最大度来界定 $ G^2 $ 的可选择性？
• RQ5 科斯托奇卡-伍德霍尔猜想 $ \chi_l(G^2) = \chi(G^2) $ 是否对 $ \Delta = 4 $ 的平面图成立？

主要发现

• 对于最大度至多为四且围长至少为 16 的平面图，其平方图是 5-可选择的。
• 若围长至少为 11，则平方图为 6-可选择的；若围长至少为 9，则为 7-可选择的。
• 若围长至少为 7，则平方图为 8-可选择的；若围长至少为 5，则为 12-可选择的。
• 若围长至少为 3（即无限制），则平方图为 14-可选择的。
• 结果通过最大平均度推广：若 $ \operatorname{mad}(G) < 10/3 $，则为 12-可选择的；若 $ \operatorname{mad}(G) < 14/5 $，则为 14-可选择的。
• 论文引入并验证了涉及 2- 和 3-顶点的新 12-可约与 14-可约配置，使放电论证强于以往方法。