[论文解读] A Note on (3,1)-Choosable Toroidal Graphs

Baogang Xu, Qinglin Yu|ArXiv.org|Sep 27, 2006

Graph Labeling and Dimension Problems参考文献 4被引用 3

一句话总结

本文证明了：若环面图中不存在相邻三角形、6-圈，以及长度为5或7的圈，则该图具有(3,1)*-可选性，即每个顶点可从大小为3的列表中选择一种颜色，且至多只有一个邻居与其颜色相同。通过放电法与结构分析，作者识别出禁止配置，并证明在给定约束下，此类图始终存在有效的(3,1)*-染色。

ABSTRACT

An $(L,d)^*$-coloring is a mapping $ϕ$ that assigns a color $ϕ(v)\in L(v)$ to each vertex $v\in V(G)$ such that at most $d$ neighbors of $v$ receive colore $ϕ(v)$. A graph is called $(m,d)^*$-choosable, if $G$ admits an $(L,d)^*$-coloring for every list assignment $L$ with $|L(v)|\geq m$ for all $v\in V(G)$. In this note, it is proved that every toroidal graph, which contains no adjacent triangles and contains no 6-cycles and $l$-cycles for some $l \in \{5,7\}$, is $(3,1)^*$-choosable.

研究动机与目标

• 确定环面图具有(3,1)*-可选性的充分条件。
• 将先前关于无三角形环面图的(4,1)*-可选性结果推广至更严格的(3,1)*-可选性条件。
• 识别出在特定圈与面约束下阻碍(3,1)*-可选性的结构障碍（禁止配置）。
• 解决无三角形环面图在受限圈长下(3,1)*-可选性的开放问题。

提出的方法

• 采用放电法，根据顶点与面的度数重新分配初始电荷，设定初始电荷 ω(v) = d(v)/3 − 1 和 ω(f) = d(f)/6 − 1。
• 定义放电规则，将电荷从顶点转移至相邻面，尤其优先考虑高阶面及度数为3或4的顶点。
• 通过分析最终电荷分布，在假设不存在禁止配置（δ(G) < 3，相邻3-顶点，(3,4,4)-面，(3,4,3,4)-面）的前提下导出矛盾。
• 应用极值图论：假设存在最小反例G，通过子图上的归纳法证明(3,1)*-可选性。
• 基于面度数（3, 4, 5, ≥8）与顶点度数进行分类讨论，以控制电荷转移并确保最终电荷非负。
• 验证在放电规则下，所有面与顶点类型均满足 ω′(x) ≥ 0，从而与欧拉公式产生矛盾。

实验结果

研究问题

• RQ1 在何种结构条件下，环面图具有(3,1)*-可选性？
• RQ2 能否将无三角形环面图的(4,1)*-可选性结果强化为(3,1)*-可选性？
• RQ3 环面图中必须缺失哪些禁止配置，才能确保(3,1)*-可选性？
• RQ4 在无三角形环面图中，若同时排除6-圈及长度为5或7的圈，是否足以保证(3,1)*-可选性？

主要发现

• 任意不含相邻三角形、6-圈及长度为5或7的圈的环面图均具有(3,1)*-可选性。
• 为使(3,1)*-可选性结果成立，必须排除相邻3-顶点、(3,4,4)-面与(3,4,3,4)-面。
• 放电法成功识别并消除了所有潜在的最小反例，证明其电荷总和不可能为零。
• 该证明依赖于：任何最小反例必包含以下四种禁止配置之一，而这些配置均被图的约束条件所排除。
• 本结果在先前徐与张的工作基础上取得改进，后者证明了无三角形环面图具有(4,1)*-可选性，而本研究将列表大小要求从4降低至3。