[论文解读] On the circumference, connectivity and dominating cycles

Zh. G. Nikoghosyan|ArXiv.org|Jun 10, 2009

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

一句话总结

本文建立了4-连通图的反向狄拉克型结果：每个此类图要么包含长度至少为 $4\delta - 2\kappa$ 的圈，要么包含支配圈。证明依赖于对端碎片及其结构特性的分析，扩展了关于圈长和连通性的先前工作，并通过极值图构造确认了该界紧致性。

ABSTRACT

Every 4-connected graph with minimum degree $δ$ and connectivity $κ$ either has a cycle of length at least $4δ-2κ$ or has a dominating cycle.

研究动机与目标

• 建立4-连通哈密顿圈定理的反向版本，重点关注圈长和支配圈。
• 研究4-连通图中圈长的界 $4\delta - 2\kappa$ 是否紧致且必要。
• 扩展关于更高连通性与最小度约束下支配圈的先前结果。
• 通过极值图构造（包括 $4K_2 + K_3$、$5K_2 + K_4$ 和 $H(1,n-2\delta,\delta,\kappa)$）证明该界的最优性。
• 统一并推广关于4-连通图中端碎片与碎片结构的早期结果。

提出的方法

• 分析4-连通图中的端碎片 $A^{\uparrow}$ 和 $A^{\downarrow}$，利用其大小约束推导圈长界。
• 通过 $N(X)$ 和 $\hat{X}$ 应用碎片理论，定义最小割集并分析结构组件。
• 基于碎片是否包含在顶点集 $V^{\uparrow}$ 和 $V^{\downarrow}$ 中进行情形分析，子情形依据独立性与大小条件划分。
• 利用由度数与连通性约束导出的不等式，界定圈长 $c \geq 4\delta - 2\kappa$。
• 应用引理（如引理9、引理10）在不同碎片包含情形下建立 $|V^{\uparrow}|$ 和 $|V^{\downarrow}|$ 的下界。
• 结合四个广义定理（定理2–5）覆盖所有结构情形，最终得出主定理（定理1）。

实验结果

研究问题

• RQ1 在支配圈的背景下，4-连通图中圈长的界 $4\delta - 2\kappa$ 是否可被改进或进一步紧致化？
• RQ2 是否可将4-连通性条件替换为3-连通性，同时保持存在圈或支配圈的结论？
• RQ3 能否将圈长界 $4\delta - 2\kappa$ 强化为 $4\delta - 2\kappa + 1$，而仍保证存在长圈或支配圈？
• RQ4 支配圈存在的结论是否最优？是否可用哈密顿圈替代该结论？
• RQ5 端碎片结构及其大小约束如何影响4-连通图中长圈或支配圈的存在性？

主要发现

• 每个4-连通图要么包含长度至少为 $4\delta - 2\kappa$ 的圈，要么包含支配圈。
• 4-连通性条件是紧致的：图 $4K_2 + K_3$ 是3-连通的但违反结论，表明4-连通性是必要的。
• 界 $4\delta - 2\kappa$ 是最优的：图 $5K_2 + K_4$ 表明，若将界增加1，则无法保证存在长圈。
• 支配圈存在的结论无法替换为哈密顿圈：图 $H(1,n-2\delta,\delta,\kappa)$ 满足条件但不包含哈密顿圈。
• 证明依赖于四个广义定理（定理2–5），覆盖了4-连通图中端碎片的所有可能配置。
• 结果确认了定理K（Sun, Tian, Wei）的反向版本，并支持关于4-连通图改进界之猜想1与猜想2。