[论文解读] Vertex-disjoint properly edge-colored cycles in edge-colored complete graphs

Ruonan Li, Hajo Broersma+1 more|arXiv (Cornell University)|Aug 29, 2017

Limits and Structures in Graph Theory参考文献 9被引用 3

一句话总结

该论文证实了关于边着色完全图中顶点不相交的恰当边着色圈的猜想在 k=2 时的结论，证明了若最大单色度 Δ⁰⁰(G) ≤ n−5，则 G 包含 2 个顶点不相交的恰当边着色圈。论文建立了此类圈与多部竞赛图中有向圈之间的结构联系，并利用该联系推导出伯蒙德-汤马松猜想在有向图中不相交圈问题的部分解。

ABSTRACT

It is conjectured that every edge-colored complete graph $G$ on $n$ vertices satisfying $Δ^{mon}(G)\leq n-3k+1$ contains $k$ vertex-disjoint properly edge-colored cycles. We confirm this conjecture for $k=2$, prove several additional weaker results for general $k$, and we establish structural properties of possible minimum counterexamples to the conjecture. We also reveal a close relationship between properly edge-colored cycles in edge-colored complete graphs and directed cycles in multi-partite tournaments. Using this relationship and our results on edge-colored complete graphs, we obtain several partial solutions to a conjecture on disjoint cycles in directed graphs due to Bermond and Thomassen.

研究动机与目标

• 证实一个猜想，即每个边着色完全图 G 满足 Δ⁰⁰(G) ≤ n−3k+1 时，包含 k 个顶点不相交的恰当边着色圈。
• 特别针对 k=2 证明该猜想，表明 Δ⁰⁰(G) ≤ n−5 可保证存在两个顶点不相交的恰当边着色圈。
• 建立一般猜想潜在最小反例的结构性质。
• 揭示边着色完全图中恰当边着色圈与多部竞赛图中有向圈之间的深层联系。
• 利用该联系，获得伯蒙德-汤马松猜想在有向图中不相交圈问题的部分解。

提出的方法

• 证明边着色完全图中存在 k 个顶点不相交的恰当边着色圈，等价于在相关多部竞赛图中存在 k 个顶点不相交的有向圈。
• 从给定的边着色完全图 G 构造一个多部竞赛图 MT，使用颜色度和边着色规则。
• 利用最小出度条件 δ⁺(MT) ≥ f(k) 确保竞赛图的结构丰富性。
• 应用多部竞赛图的已知结果（命题 12），在特定条件下保证存在 k 个不相交的有向圈。
• 通过反证法和结构分解（利用引理 20）分析不属于任何 PC 圈的顶点，并相应地划分顶点集。
• 定义一个修改后的 ℓ 部竞赛图 MT′，以保持最小出度并避免特定长度的有向圈，从而能够应用现有定理。

实验结果

研究问题

• RQ1 每个边着色完全图 G 满足 Δ⁰⁰(G) ≤ n−5 时，是否都包含两个顶点不相交的恰当边着色圈？
• RQ2 一般 k 圈猜想的最小反例必须具备哪些结构性质？
• RQ3 边着色完全图中恰当边着色圈与多部竞赛图中有向圈之间有何关联？
• RQ4 边着色图与有向图之间的联系能否用于推进伯蒙德-汤马松猜想？
• RQ5 在什么条件下，最小出度为 f(k) 的多部竞赛图包含 k 个不相交的有向圈？

主要发现

• 该猜想在 k=2 时得到证实：若 Δ⁰⁰(G) ≤ n−5，则 G 包含两个顶点不相交的恰当边着色圈。
• 论文证明，一般猜想的最小反例必须不包含单色边割，且包含一个颜色度至多为 ℓ 且不属于任何 PC 圈的顶点。
• 通过引理 20 构建了顶点集的结构划分，使得边着色图问题可转化为有向图问题。
• G 中存在 k 个不相交的恰当边着色圈，等价于导出的多部竞赛图 MT 中存在 k 个不相交的有向圈。
• 该构造确保：若竞赛图 MT 的最小出度 ≥ f(k)，且不存在长度属于 I 的有向圈，则 G 中也不存在长度属于 I 的 PC 圈。
• 利用该等价关系，论文推导出：若竞赛图 MT′ 满足 δ⁺(MT′) ≥ f(k) 且不存在长度 i ∈ I 的有向圈，则 MT′ 包含 k 个不相交的有向圈，这些有向圈对应于 G 中的 k 个顶点不相交的 PC 圈。