[论文解读] Hamiltonian cycles in 3-tough $2K_2$-free graphs

Songling Shan|arXiv (Cornell University)|Jun 27, 2017

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

一句话总结

本文证明了每个至少有三个顶点的3-韧度$2K_2$-自由图都包含一个哈密顿圈，显著改进了Broersma、Patel与Pyatkin先前建立的25-韧度界限。证明采用最小2-因子论证法，结合顶点类型分类（A型、B型）以及邻接集的结构分析，在3-韧度条件下导出矛盾，从而确认了该图类中哈密顿性的强鲁棒性条件。

ABSTRACT

A graph is called $2K_2$-free if it does not contain two independent edges as an induced subgraph. Broersma, Patel, and Pyatkin showed that every 25-tough $2K_2$-free graph with at least three vertices is hamiltonian. In this paper, we improve the required toughness in this result from 25 to 3.

研究动机与目标

• 将$2K_2$-自由图中保证哈密顿性的韧度阈值提升至超越先前25-韧度结果的水平。
• 研究3-韧度是否足以保证$2K_2$-自由图的哈密顿性，以支持Gao与Pasechnik提出的猜想。
• 通过分析顶点类型与邻接集，解决高韧度下$2K_2$-自由图的结构约束。
• 证明3-韧度足以强制产生哈密顿圈，即使在分裂图等相关子类中较低的韧度界限会失效。

提出的方法

• 选择一个具有最少圈数的2-因子，以分析在3-韧度下的结构约束。
• 根据顶点在2-因子中其他圈上连续顶点的邻接关系，将顶点分类为A型或B型。
• 证明使用有向圈和边类型（AB交替、A型、B型）来追踪邻接关系及潜在的圈组合。
• 基于共吸收性与邻接约束，定义了一个‘坏’顶点集合$U^∞$，并通过反证法推导其性质。
• 关键矛盾通过构造一个顶点集$S = A \cup V_C(U^\infty)$产生，使得$\tau(G) < 2$，违反了3-韧度假设。
• 通过案例分析与极值论证，证明了关于独立集、邻接集与圈连通性的结构命题。

实验结果

研究问题

• RQ1 3-韧度是否能保证$2K_2$-自由图的哈密顿性，从而改进先前的25-韧度界限？
• RQ2 该结果能否支持或反驳Gao与Pasechnik提出的猜想：每个2-韧度$2K_2$-自由图都是哈密顿图？
• RQ3 在已知分裂图中3/2为紧致界限的前提下，确保$2K_2$-自由图哈密顿性的最小韧度阈值是多少？
• RQ4 为何在证明中需要3-韧度？哪些结构情形要求这一更高的界限？
• RQ5 在高韧度下，邻接集与顶点类型（A/B）如何相互作用，以阻止圈的分解？

主要发现

• 每个至少有三个顶点的3-韧度$2K_2$-自由图都是哈密顿图，相较于先前的25-韧度界限实现了显著改进。
• 证明表明，当构造一个满足$|S|/c(G-S) < 2$的顶点集$S$时，假设$\tau(G) < 2$将导致矛盾，从而违反3-韧度条件。
• $U^\infty$‘坏’顶点集合的大小满足$|V_C(U^\infty)| \leq 2|U^\infty|$，确保了邻接扩展的有界性。
• $A^+ \cup U^\infty$在$G$中构成一个独立集，且所有$A^+ \cup U^\infty$中的顶点在$G - S$中均为孤立点，其中$S = A \cup V_C(U^\infty)$。
• 通过构造$S$可得$\tau(G) < 2$，与3-韧度假设矛盾，从而证明了哈密顿圈的存在。
• 该结果支持了猜想1，即每个2-韧度$2K_2$-自由图都是哈密顿图，但3-韧度界限的紧致性仍待进一步研究。