[论文解读] Arbitrary Orientations Of Hamilton Cycles In Oriented Graphs

Luke Kelly|ArXiv.org|Jul 20, 2009

Limits and Structures in Graph Theory参考文献 18被引用 4

一句话总结

本文证明了对于任意 α > 0，每个最小入度和出度均至少为 (3/8 + α)n 的足够大的有向图都包含所有可能的哈密顿圈定向。通过使用随机嵌入方法，作者证实了 Häggkvist 和 Thomason 的一个猜想，表明保证存在一个有向哈密顿圈所需的最小度条件，同样可保证所有此类圈的定向，仅存在一个微小的误差项。

ABSTRACT

We use a randomised embedding method to prove that for all α>0 any sufficiently large oriented graph G with minimum in-degree and out-degree δ^+(G),δ^-(G)\geq (3/8+α)|G| contains every possible orientation of a Hamilton cycle. This confirms a conjecture of Häggkvist and Thomason.

研究动机与目标

• 解决 Häggkvist 和 Thomason 关于确保有向图中所有哈密顿圈定向的最小度条件的猜想。
• 建立此前已知可保证单个有向哈密顿圈的 (3/8 + α)n 边界，也足以保证所有定向。
• 将最近关于鲁棒扩张和哈密顿圈嵌入的结果扩展至有向图中任意圈定向。
• 证明最小半度条件 δ⁰(G) ≥ (3/8 + α)n 足够实现对所有哈密顿圈定向的普遍包含，其结果与极值边界仅相差 αn。

提出的方法

• 采用随机嵌入方法，在大型有向图中构造所有可能的哈密顿圈定向。
• 证明利用了鲁棒出扩张的概念，表明给定的度条件可推出该扩张性质。
• 使用图的聚类近似分解，随后通过移位行走技术嵌入路径，同时管理聚类分配中的不平衡。
• 通过修改的行走方式将例外顶点纳入，以保持聚类平衡和嵌入长度。
• 通过行走替换机制校正不平衡的聚类分配，同时保持路径长度和嵌入约束。
• 该方法确保不位于长度 ≥3 的长路径上的边数被限制在 o(m_B) 以内，从而保持嵌入结构的完整性。

实验结果

研究问题

• RQ1 有向图中最小半度为 (3/8 + α)n 是否可保证所有可能的哈密顿圈定向的存在？
• RQ2 随机嵌入方法是否可调整以处理任意圈定向，而不仅限于有向圈？
• RQ3 (3/8 + α)n 边界对于普遍哈密顿圈定向包含是否为紧致的，或可进一步改进？
• RQ4 鲁棒扩张与有向图中所有哈密顿圈定向的嵌入之间有何关系？
• RQ5 为在不破坏路径嵌入的情况下整合例外顶点，需要哪些结构修改？

主要发现

• 对于每个 α > 0，存在 n₀(α)，使得每个在 n ≥ n₀ 个顶点上的有向图 G 满足 δ⁺(G), δ⁻(G) ≥ (3/8 + α)n 时，均包含所有哈密顿圈的定向。
• 该边界 (3/8 + α)n 在 αn 误差项范围内为最优，如通过极值构造（满足 δ⁰(G) = (3n−5)/8）避免哈密顿圈所示。
• 证明表明最小半度 δ⁰(G) ≥ (3/8 + α)n 可推出鲁棒出扩张，从而实现所有圈定向的嵌入。
• 随机嵌入方法通过行走替换和移位行走技术，成功处理了聚类分配的不平衡。
• 不位于长度 ≥3 的长路径上的边数被限制在 o(m_B) 以内，确保了嵌入结构的完整性。
• 结果证实，保证单个有向哈密顿圈存在的相同度阈值，也足以保证所有可能的此类圈定向。