[论文解读] On pre-Hamiltonian Cycles in Hamiltonian Digraphs

Samvel Kh. Darbinyan|arXiv (Cornell University)|Apr 30, 2014

graph theory and CDMA systems参考文献 6被引用 3

一句话总结

本论文证明，对于任意满足 Manoussakis 的 $ A_0 $ 条件的强连通有向图，当其阶数 $ n \geq 4 $ 时，要么包含一条长度为 $ n-1 $ 的预哈密顿圈（即预哈密顿圈），要么当 $ n $ 为偶数时，同构于完全二分有向图 $ K^*_{n/2,n/2} $。该结果通过确立长圈作为必要中间结构，强化了 Manoussakis 的哈密顿圈定理，且通过极值构造证明了度数界限的最优性。

ABSTRACT

Let $D$ be a strongly connected directed graph of order $n\geq 4$. In \cite{[14]} (J. of Graph Theory, Vol.16, No. 5, 51-59, 1992) Y. Manoussakis proved the following theorem: Suppose that $D$ satisfies the following condition for every triple $x,y,z$ of vertices such that $x$ and $y$ are non-adjacent: If there is no arc from $x$ to $z$, then $d(x)+d(y)+d^+(x)+d^-(z)\geq 3n-2$. If there is no arc from $z$ to $x$, then $d(x)+d(y)+d^-(x)+d^+(z)\geq 3n-2$. Then $D$ is Hamiltonian. In this paper we show that: If $D$ satisfies the condition of Manoussakis' theorem, then $D$ contains a pre-Hamiltonian cycle (i.e., a cycle of length $n-1$) or $n$ is even and $D$ is isomorphic to the complete bipartite digraph with partite sets of cardinalities $n/2$ and $n/2$.

研究动机与目标

• 对满足 Manoussakis 的 $ A_0 $ 条件的强连通有向图的结构进行刻画，超越单纯的哈密顿性。
• 确立预哈密顿圈（长度为 $ n-1 $ 的圈）作为此类有向图中结构中间性质的存在性。
• 识别当不存在预哈密顿圈时的极值情形，即当 $ n $ 为偶数且 $ D $ 同构于 $ K^*_{n/2,n/2} $ 时。
• 通过显式极值例子证明 $ A_0 $ 条件中度数界限 $ 3n-2 $ 的最优性。

提出的方法

• 将 Manoussakis 的 $ A_0 $ 定理证明中的关键命题改编，用于分析满足该条件的有向图中的圈结构。
• 对顶点邻接关系与邻域结构进行分类讨论，特别关注对 $ (y_1, y_2) $ 和 $ (x_1, x_2) $，以推导度数约束。
• 利用引理 3.2 限制顶点在圈子路径内的边数，当度数条件被违反时导出矛盾。
• 结合强连通性与非邻接假设，推导出邻域等式，例如在特定构型下 $ N^+(y_1) = \{y_2, x_2, x_4, \dots, x_{n-2}\} $。
• 构造一条长度为 $ n-2 $ 的圈，当假设不存在预哈密顿圈时导出矛盾，从而迫使有向图进入二分结构。
• 利用对称性与顶点指标的迭代推理，证明 $ x_i x_{i-1} \in D $ 且对非相邻的 $ i,j $ 有 $ x_i x_j \notin D $，从而导出大小为 $ n/2 $ 的独立集。

实验结果

研究问题

• RQ1 每个满足 Manoussakis 的 $ A_0 $ 条件的有向图是否都包含一条预哈密顿圈？
• RQ2 当不存在预哈密顿圈时，存在哪些结构例外？
• RQ3 在 $ A_0 $ 条件中，度数界限 $ 3n-2 $ 是否最优？
• RQ4 预哈密顿圈的存在性能否用于推断泛圈性或哈密顿绕行？

主要发现

• 任意阶数 $ n \geq 4 $ 的强连通有向图，若满足 $ A_0 $ 条件，则要么包含一条长度为 $ n-1 $ 的预哈密顿圈，要么当 $ n $ 为偶数时同构于 $ K^*_{n/2,n/2} $。
• $ A_0 $ 条件中的界限 $ 3n-2 $ 是最优的，如通过极值例子所示：两个共享一个顶点的完全有向图的不相交并，以及去掉一条边的完全二分有向图。
• 若 $ D $ 不同构于 $ K^*_{n/2,n/2} $，则 $ D $ 必须包含一条长度为 $ n-1 $ 的圈，这是其关键结构特征。
• 证明表明，在 $ A_0 $ 条件下，当不存在预哈密顿圈时，顶点集可被划分为两个大小为 $ n/2 $ 的独立集，分别构成 $ K^*_{n/2,n/2} $ 的两部分。
• 除非有向图同构于 $ K^*_{n/2,n/2} $，否则预哈密顿圈的存在性是保证的，而 $ K^*_{n/2,n/2} $ 是唯一的极值情形。
• 该结果意味着 $ D $ 包含一条哈密顿绕行（即一个哈密顿圈仅有一条边方向相反）的圈，除非 $ D $ 同构于 $ K^*_{n/2,n/2} $，但 5 个顶点的竞赛图是例外。