[论文解读] Good edge-labelings and graphs with girth at least five

Michel Bode, Babak Farzad+1 more|arXiv (Cornell University)|Sep 6, 2011

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

一句话总结

该论文证明了不存在具有至少五阶围长且平均度小于三的临界图，从而在围长为五的条件下验证了Araujo等人提出的猜想。通过借鉴拓扑图论的放电方法，作者表明此类图必然包含风车结构，这与存在良好边标记的存在性矛盾，从而确立了在此类图中除C₃和K₂,₃外不存在临界图。

ABSTRACT

A good edge-labeling of a graph [Araújo, Cohen, Giroire, Havet, Discrete Appl. Math., forthcoming] is an assignment of numbers to the edges such that for no pair of vertices, there exist two non-decreasing paths. In this paper, we study edge-labeling on graphs with girth at least 5. In particular we verify, under this additional hypothesis, a conjecture by Araújo et al. This conjecture states that if the average degree of G is less than 3 and G is minimal without an edge-labeling, then G \in {C_3,K_{2,3}}. (For the case when the girth is 4, we give a counterexample.)

研究动机与目标

• 验证Araujo等人提出的猜想，即平均度小于3的临界图仅有C₃和K₂,₃。
• 研究图中缺乏良好边标记的现象是否受围长约束，特别是针对围长至少为五的图。
• 证明高围长可简化良好边标记的分析，使结构论证超越匹配割的范畴。
• 构建基于'良构'图与粘合操作的框架，以排除临界图中的复杂构型。
• 给出girth=4情况下猜想的反例，展示一个平均度为26/9<3且不含C₃或K₂,₃子图的临界图。

提出的方法

• 采用放电方法，为每个顶点v分配初始电荷6−2deg(v)，当平均度<3时总电荷为正。
• 定义放电规则：每个2-顶点通过k条滑道（以4⁺-顶点为终点的3-顶点路径）向每个4⁺-顶点发送1/k的电荷。
• 证明放电后所有顶点的电荷非正，与初始总正电荷矛盾，从而证明此类临界图不可能存在。
• 引入'良构'图的概念及保持良构性的粘合操作，实现对复杂子结构的归纳性排除。
• 利用引理5.1证明：任何具有多条滑道的4⁺-顶点必包含邪恶或近乎邪恶的轮结构，从而限制电荷流入。
• 分析2-、3-、4-、5-和6⁺-顶点之间的电荷分布，表明即使在最大电荷接收情况下，也无顶点能达到正的最终电荷。

实验结果

研究问题

• RQ1 每个平均度小于3且围长至少为五的临界图是否如Araujo等人所猜想的那样不存在？
• RQ2 图中缺乏良好边标记的现象是否可由围长和度数界等结构约束来刻画？
• RQ3 证明非临界性是否必须依赖匹配割？抑或可采用其他结构论证？
• RQ4 放电方法能否被调整以排除高围长临界图中的风车构型？
• RQ5 girth=4且平均度<3的反例是否存在，是否意味着girth是该猜想成立的必要条件？

主要发现

• 不存在围长至少为五且平均度小于三的临界图，从而证明了定理1.2。
• 图1中的图是girth=4时猜想1.1的反例，含9个顶点、13条边，平均度26/9<3，且不含C₃或K₂,₃子图。
• 图1中反例图的每个真子图均存在良好边标记，确认其临界性。
• 放电论证表明，放电后所有顶点的电荷非正，与平均度<3时的初始总正电荷矛盾。
• 在假设的围长≥5的临界图中，一个4-顶点最多可接收3/2单位电荷，最终电荷≤−1/2，不足以变为正。
• 一个5-顶点最多可通过滑道接收4.5单位电荷，但受引理5.1的结构约束，最终电荷仍≤0，无法变为正。