[论文解读] On the pancyclicity of digraphs with large semi-degrees

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

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

一句话总结

本文提供了详尽的证明，表明当 $ p \geq 10 $ 个顶点的强连通有向图（digraph）的最小度至少为 $ p-1 $，且最小半度至少为 $ p/2 - 1 $ 时，其为泛圈图——即包含长度从 3 到 $ p $ 的所有长度的环，除非处于某些完全刻画的极值情形。该结果通过细化度条件以保证完整环谱的存在，推广了此前关于哈密顿图与泛圈图的定理。

ABSTRACT

Let $D$ be an directed graph on $p\geq 10$ vertices with minimum degree at least $p-1$ and minimum semi-degree at least $ p/2 -1$. We present a detailed proof of the following result [13]: The digraph $D$ is pancyclic, unless some extremal cases (which are characterized).

研究动机与目标

• 基于高最小度与半度，建立有向图为泛圈图的充分条件。
• 扩展并详尽阐述此前概述的关于基于 Ghouila-Houri 与 Thomassen 定理相关度条件的泛圈性证明。
• 刻画尽管满足度条件但泛圈性仍不成立的极值情形。
• 解决关于最小度接近完全且半度平衡的有向图中环谱完整性问题的开放疑问。

提出的方法

• 通过分析有向图中环与路径的结构，重点研究将顶点插入现有路径与环中的方法。
• 应用度和论证与反证法，表明缺失的环长度会导致度违反。
• 运用关于路径扩展（引理 2）与环存在性（引理 1）的引理，推导环谱完整性的必要条件。
• 分析顶点邻域与环及路径上弧的分布，当环长度缺失时推导出矛盾。
• 基于环长度 $ n $、顶点位置 $ s $ 与邻域大小 $ h_1, h_2 $ 进行情形分析，以限制可能的配置。
• 应用组合计数与集合论推理（例如 $ A(x \rightarrow y) $、$ O(x) $、$ I(x) $）以界定度数，并在环集不完整时推导出矛盾。

实验结果

研究问题

• RQ1 在 $ p \geq 10 $ 个顶点的有向图中，何种度条件可使其成为泛圈图？
• RQ2 哪些极值配置即使在最小度为 $ p-1 $ 且半度为 $ p/2 - 1 $ 时仍会阻止泛圈性？
• RQ3 能否利用长度为 3、4、$ p-1 $ 的环以及哈密顿环的存在性来证明完整的泛圈性？
• RQ4 邻域结构与弧分布如何约束此类有向图中中间长度环的存在性？
• RQ5 当有向图满足度条件但缺少某一长度的环时，会涌现出何种结构性质？

主要发现

• 对于 $ p \geq 10 $ 个顶点的有向图，若其最小度 $ \geq p-1 $ 且最小半度 $ \geq p/2 - 1 $，则其为泛圈图，除非其属于一组特定的极值情形。
• 极值情形已被完全刻画，对应于度约束紧致但环谱完整性不成立的配置。
• 证明表明，若某长度 $ n \in [3, p] $ 的环缺失，则顶点度数必低于所需下限，从而导致矛盾。
• 当 $ p = 2m $ 时，在相同条件下有向图为哈密顿图，该结论被用作证明泛圈性的关键步骤。
• 若长度 $ n $ 的环缺失，则弧的存在性存在精确对偶性：在度约束下，$ xx_i \in D $ 当且仅当 $ x_{i+n-2}x \notin D $。
• 分析证明了 $ od(x) = m-1 $、$ id(x_{q+n-1}) = m-1 $，且 $ d(x_{q+n-1}) \leq 2m-2 $，这与最小半度条件矛盾，从而强制环的存在。