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

Katsuhiro Ota, Masahiro Sanka|arXiv (Cornell University)|Mar 11, 2021

Limits and Structures in Graph Theory被引用 6

一句话总结

本文证明了每个至少有三个顶点的2-韧度$2K_2$-自由图都是哈密顿图，从而证实了高和帕谢尼科的猜想。作者改进了尚关于3-韧度$2K_2$-自由图的先前工作中的技术，通过循环的结构分析、顶点类型（A/B）以及共吸收性论证，表明在2-韧度和$2K_2$-自由条件下，最小反例图会导致矛盾。

ABSTRACT

A graph $G$ is called a $2K_2$-free graph if it does not contain $2K_2$ as an induced subgraph. In 2014, Broersma, Patel and Pyatkin showed that every 25-tough $2K_2$-free graph on at least three vertices is Hamiltonian. Recently, Shan improved this result by showing that 3-tough is sufficient instead of 25-tough. In this paper, we show that every 2-tough $2K_2$-free graph on at least three vertices is Hamiltonian, which was conjectured by Gao and Pasechnik.

研究动机与目标

• 解决高和帕谢尼科提出的猜想：每个至少有三个顶点的2-韧度$2K_2$-自由图都是哈密顿图。
• 在先前结果的基础上进行改进，包括尚的3-韧度结果以及布罗尔斯马等人提出的25-韧度界，将所需的韧度阈值降低至2。
• 在$2K_2$-自由图的背景下，确立韧度阈值的紧致性，鉴于已知$rac{3}{2}$-韧度的分裂图已是哈密顿图。
• 通过循环分解、顶点类型（A/B）以及$2K_2$-自由图中的邻接关系，分析最小反例的结构。
• 证明：在不存在诱导子图$2K_2$的前提下，结合2-韧度条件，可通过共吸收性和边连通性论证强制存在哈密顿圈。

提出的方法

• 改编并改进了尚关于3-韧度结果的证明策略，聚焦于$2K_2$-自由图中循环结构与顶点划分。
• 根据顶点相对于其他循环的邻接行为，引入对循环上顶点的A型与B型分类。
• 将顶点的共吸收性定义为：通过边交换操作，利用相邻顶点与循环扩展，使该顶点能被整合进更长的循环中。
• 使用$V_H(S)$与$\overline{V}_H(S)$的概念来追踪子图内的顶点集合，并分析循环之间的边连接关系。
• 通过反证法假设存在一个最小反例图$G$，满足$\alpha(G) \leq \frac{n}{3}$，并证明在2-韧度条件下该图不可能存在。
• 对两个不相交的循环$C$与$D$进行对称循环对分析，识别出诱导特定顶点集划分的B型边。

实验结果

研究问题

• RQ1 每个至少有三个顶点的2-韧度$2K_2$-自由图是否如高和帕谢尼科所猜想的那样是哈密顿图？
• RQ2 鉴于先前在25和3的韧度水平已有结果，能否将$2K_2$-自由图中哈密顿性的韧度阈值从3降低至2？
• RQ3 考虑到该阈值对分裂图子类已是紧致的，$rac{3}{2}$-韧度界对$2K_2$-自由图是否也是紧致的？
• RQ4 在2-韧度条件下，$2K_2$-自由图的哪些结构特性会强制产生哈密顿圈？
• RQ5 共吸收性论证与顶点类型分类能否用于在最小反例中构造出哈密顿圈？

主要发现

• 每个至少有三个顶点的2-韧度$2K_2$-自由图都包含一个哈密顿圈，从而证实了高和帕谢尼科的猜想。
• 证明表明，假设存在最小反例会导致矛盾：此类图需拥有大小为$\frac{n}{2}$的顶点集，且其独立数$\leq \frac{n}{3}$，违反已知界限。
• 作者证明了在任意最小反例中，$V_{bad}(C) = V_{bad}(D) = \emptyset$，意味着所有位于循环上的顶点均为B型。
• 证明了$X_C \cap V_{bad}(C) = \emptyset$与$X_D \cap V_{bad}(D) = \emptyset$，因此$X_C \cup B_0$与$X_D \cup B_0$为独立集。
• 当存在B型边$u_0u_0^+ \in E(C)$与$v_0v_0^+ \in E(D)$，并伴随特定的顶点集划分时，若$u_0$与$v, v^+, v_0, v_0^+$均相邻，则违反$2K_2$-自由条件，导致矛盾。
• 最终矛盾源于$u_0$必须与$\{v, v^+, v_0, v_0^+\}$中的某一顶点相邻，但循环结构与划分规则阻止了此类邻接关系的存在，从而否定了最小反例假设。