[论文解读] Hoffmann-Ostenhof's conjecture for traceable cubic graphs

F. Abdolhosseini, Saieed Akbari+2 more|arXiv (Cornell University)|Jul 16, 2016

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

一句话总结

该论文通过将边集分解为生成树、匹配和至多两个环，证明了可迹立方图的Hoffmann-Ostenhof猜想。证明基于哈密顿路径的存在性，系统分析了附加边带来的结构情形，应用关键引理验证所有配置下的分解，从而确认该类图满足猜想。

ABSTRACT

It was conjectured by Hoffmann-Ostenhof that the edge set of every connected cubic graph can be decomposed into a spanning tree, a matching and a family of cycles. In this paper, we show that this conjecture holds for traceable cubic graphs.

研究动机与目标

• 验证Hoffmann-Ostenhof猜想：每个连通立方图均可分解为一个生成树、一个匹配和一组环。
• 将猜想的有效性扩展至包含哈密顿路径的可迹立方图类。
• 基于哈密顿路径之外的附加边，提供一种基于结构情形分析的构造性证明。
• 证明在任意可迹立方图中，此类分解所含环的数量至多为两个。

提出的方法

• 利用可迹立方图中哈密顿路径的存在性作为分解的基础结构。
• 应用引理1，该引理保证若顶点集可划分为满足特定邻接条件的树与环，则猜想成立。
• 根据连接路径不同段落的弦（不在哈密顿路径中的边）的存在性与位置关系进行情形分析。
• 通过子路径构成无弦环来定义分解中的候选环。
• 在移除环后，从剩余边中构造生成树，确保所有悬挂顶点均与环相邻。
• 基于路径段之间的边连通性系统处理子情形，利用极小性与对称性降低复杂度。

实验结果

研究问题

• RQ1 Hoffmann-Ostenhof猜想对所有可迹立方图是否成立？
• RQ2 可迹立方图的边集能否分解为一个生成树、一个匹配和一组环？
• RQ3 可迹立方图的何种结构特性使其具备此类分解？
• RQ4 分解中环的数量是否受限制？若是，其最大值是多少？

主要发现

• 猜想对所有可迹立方图成立，确认了此类图属于满足分解条件的重要图类。
• 通过对外部边配置的全面情形分析，证明分解中环的数量至多为两个。
• 证明依赖于一个关键引理，该引理将问题简化为验证顶点集能否划分为满足控制邻接条件的树与环。
• 当哈密顿路径的端点不相连时，通过从子路径识别无弦环，并从剩余部分构造生成树来实现分解。
• 在所有结构子情形下——无交叉边、一个或多个交叉边，或特定弦配置——该分解均可通过所提方法一致实现。
• 该结果强化了关于哈密顿图与3-连通立方图的先前结论，将猜想推广至更广泛的图类。