[论文解读] A sufficient condition for the hamiltonian property of digraphs with large semi-degrees

Samvel Kh. Darbinyan|arXiv (Cornell University)|Nov 8, 2011

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

一句话总结

本论文建立了有向图具有哈密顿性质的充分条件：对于任意 $ p \geq 5 $ 个顶点的强有向图，若其最小度至少为 $ p-1 $，且最小半度至少为 $ p/2 - 1 $，当 $ p = 2n $ 时，除某些极值情况外，该有向图必为哈密顿图。证明过程结合了度条件与结构分析，证明了长度为 3、4 和 $ p-1 $ 的环的存在性，并通过路径扩展与环归纳技术构造出哈密顿环。

ABSTRACT

Let $D$ be a digraph on $p\geq 5$ vertices with minimum degree at least $p-1$ and with minimum semi-degree at least $p/2-1$. For $D$ (unless some extremal cases) we present a detailed proof of the following results [12]: (i) $D$ contains cycles of length 3, 4 and $p-1$; (ii) if $p=2n$, then $D$ is hamiltonian.

研究动机与目标

• 基于最小度与半度约束，建立有向图具有哈密顿性质的充分条件。
• 证明满足给定度条件的有向图中，长度为 3、4 和 $ p-1 $ 的环必然存在。
• 刻画尽管满足度界但哈密顿性质可能不成立的极值情况。
• 通过细化半度与最小度阈值，拓展已有哈密顿与泛圈有向图结果。
• 提供先前概述结果在高半度与度条件下的详细证明。

提出的方法

• 利用引理 2 将顶点插入极大路径中，实现路径扩展与环的构造。
• 应用引理 1 证明：相对于某环具有高程度的顶点，可推出所有更短环的存在性。
• 基于出邻域与入邻域的结构分析，特别关注 $ S(x,y) $、$ E(x,y) $ 以及 $ I(x) $、$ O(y) $。
• 基于弧的方向性与半度界进行分类讨论：区分 $ od(y) \geq n $ 或 $ id(x) \geq n $ 的情形，并通过其逆有向图处理对称情形。
• 使用极值构造如 $ H(n,n) $、$ H(n,n-1,1) $ 与 $ C^*_6(1) $ 识别并排除非哈密顿的极值情形。
• 通过反证法排除可能产生 4-环的配置，从而强制施加结构约束，使哈密顿环的构造成为可能。

实验结果

研究问题

• RQ1 在 $ p \geq 5 $ 个顶点的有向图中，何种度条件可保证其为哈密顿图？
• RQ2 在最小度为 $ p-1 $、半度为 $ p/2 - 1 $ 的有向图中，长度为 3、4 和 $ p-1 $ 的环是否必然存在？
• RQ3 哪些极值有向图虽满足度条件但并非哈密顿图？
• RQ4 对邻域 $ I(x) $、$ O(y) $ 与 $ S(x,y) $ 的结构约束如何影响哈密顿环的存在性？
• RQ5 即使有向图不强连通，是否仍可从高最小半度与高最小度推导出哈密顿性质？

主要发现

• 对于任意 $ p \geq 5 $ 个顶点的有向图 $ D $，若其最小度至少为 $ p-1 $，且最小半度至少为 $ p/2 - 1 $，则其必包含长度为 3、4 和 $ p-1 $ 的环，除非处于极值情形。
• 若 $ p = 2n $，则 $ D $ 为哈密顿图，只要其不包含特定极值构造如 $ H(n,n) $、$ H(n,n-1,1) $ 或 $ C^*_6(1) $。
• 哈密顿性失败的极值情形已被完全刻画：$ D \in H(n,n) \cup H(n,n-1,1) \cup \{[(K_n \cup K_n) + K_1]^*, H(2n), H'(2n)\} $，或当 $ p = 2n+1 $ 时，$ D $ 为 $ (K_n + \overline{K}_{n+1})^* $ 的子有向图。
• 对于 $ p = 2n \geq 6 $，若存在弧 $ xy $ 满足 $ yx \notin D $ 且 $ od(y) \geq n $，则必有 $ I(x) = O(y) = S(x,y) $，从而支持环的扩展与路径的插入。
• 若图中不存在 4-环，则施加严格结构约束：$ |E(x,y)| = 1 $，$ |S(x,y)| = 1 $，且 $ n = 3 $，从而识别出 $ C^*_6(1) $ 为关键极值情形。
• 当对所有非对称弧 $ xy $ 均有 $ od(y) < n $ 且 $ id(x) < n $ 时，唯一非哈密顿情形为 $ D \equiv C^*_6(1) $，即一个带有额外弧的对称 6-环。