[论文解读] On the directed Oberwolfach Problem with equal cycle lengths: the odd case

Andrea C. Burgess, Nevena Francetić+1 more|arXiv (Cornell University)|Jun 20, 2017

graph theory and CDMA systems参考文献 4被引用 5

一句话总结

本文证明了对于所有满足 $5 \leq m \leq 49$ 的奇整数 $m$，完全对称有向图 $K_{2m}^{\bullet}$ 允许分解为可分解的有向 $m$-圈。该结果通过一种通用的组合构造方法结合大多数情况的计算验证得以确立，从而证实了关于有向 Oberwolfach 问题在奇数情形下等长圈的长期猜想。

ABSTRACT

We show that the complete symmetric digraph $K_{2m}^\ast$ admits a resolvable decomposition into directed cycles of length $m$ for all odd $m$, $5 \le m \le 49$. Consequently, $K_{n}^\ast$ admits a resolvable decomposition into directed cycles of length $m$ for all $n \equiv 0 \pmod{2m}$ and odd $m$, $5 \le m \le 49$.

研究动机与目标

• 解决奇数 $m$ 情形下的有向 Oberwolfach 问题，且圈长相同。
• 证明猜想 1.3，即 $K_{2m}^*$ 当且仅当 $m \geq 5$ 且为奇数时，允许存在 $\vec{C}_m$-分解。
• 建立在 $n \equiv 0 \pmod{2m}$ 且 $m$ 为奇数时，完全对称有向图 $K_n^*$ 中可分解有向圈分解存在的充分条件。
• 为 $m \leq 49$ 提供基于组合设计与计算验证的构造性解法。

提出的方法

• 开发了一种通用构造方法，利用有向循环有向图和弧划分，在 $K_{2m}^*$ 中形成有向 $m$-圈的分解类。
• 该方法依赖于将连接集 $S \subseteq \mathbb{Z}_m^*$ 划分为满足 $\gcd(d,m)=1$ 或 $\gcd(d_i,d_j,m)=1$ 的子集，从而通过引理 2.1 实现 $m$-圈分解。
• 对于 $m \not\equiv 0 \pmod{3}$ 的情形，采用基于顶点不相交路径和混合差异数弧的结构化构造方法，形成分解类。
• 对于 $m \equiv 0 \pmod{3}$ 的情形，使用专门设计的路径系统和弧使用模式，完成分解。
• 通过计算验证确认了在 $7 \leq m \leq 49$，$m \neq 11$，$m \not\equiv 0 \pmod{3}$ 范围内，所需弧集和路径系统的存在性。
• 证明结合了理论构造与算法验证，利用合作者开发的代码检查分解条件的可行性。

实验结果

研究问题

• RQ1 完全对称有向图 $K_{2m}^*$ 是否对所有奇数 $m \geq 5$ 允许分解为可分解的有向 $m$-圈？
• RQ2 当 $n = 2m$ 时，对于奇数 $m$，是否可以解决具有统一圈长 $m$ 的有向 Oberwolfach 问题？
• RQ3 连接集 $S \subseteq \mathbb{Z}_m^*$ 的哪些结构和算术条件能确保有向循环图 $\mathrm{Circ}(m;S)$ 分解为 $m$-圈？
• RQ4 如何调整通用构造方法，使其能同时处理 $m \not\equiv 0 \pmod{3}$ 和 $m \equiv 0 \pmod{3}$ 的情形？
• RQ5 计算方法在多大程度上可以验证大奇数 $m$ 情形下分解组件的可行性？

主要发现

• 本文确认了对于所有满足 $5 \leq m \leq 49$ 的奇数 $m$，$K_{2m}^*$ 允许存在可分解的 $\vec{C}_m$-分解，从而在该范围内验证了猜想 1.3。
• 计算验证确认了在所有奇数 $m$ 满足 $7 \leq m \leq 49$，$m \not\equiv 0 \pmod{3}$，$m \neq 11$ 的范围内，所需弧集和路径系统存在，且满足命题 3.4 的条件。
• 对于 $m \equiv 0 \pmod{3}$ 的情形，命题 3.6 的条件通过计算验证，适用于所有奇数 $m$ 满足 $15 \leq m \leq 45$，确保了可分解分解的存在性。
• 最小情形 $m = 5$ 通过计算机搜索得到验证，成功构造出 $K_{10}^*$ 的完整 R$\vec{C}_5$-D，包含六个分解类。
• 通用构造方法通过组合顶点不相交路径与混合差异数弧，成功形成分解类，确保了弧的完全覆盖与圈的形成。
• 该结果表明，对于所有满足 $n \equiv 0 \pmod{2m}$ 且 $5 \leq m \leq 49$ 的奇数 $m$，$K_n^*$ 允许存在可分解的 $\vec{C}_m$-分解，从而完成了该参数范围的完整求解。