[论文解读] Cycles Of Given Length In Oriented Graphs

Luke Kelly, Daniela Kühn+1 more|ArXiv.org|Jun 5, 2008

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

一句话总结

该论文证明，对于所有足够大的有向图，若其最小半度至少为 $\lfloor n/3\rfloor + 1$，则其包含所有长度 $\ell \geq 4$ 且不被 3 整除的 $\ell$-圈，且该界限是紧致的。此外，论文提出了一个猜想：当 $\ell$ 被 3 整除时，阈值由不整除 $\ell$ 的最小整数 $k \geq 3$ 决定，该猜想通过正则性方法和稠密有向图的全圈性结果得到支持。

ABSTRACT

We show that for each \ell\geq 4 every sufficiently large oriented graph G with δ^+(G), δ^-(G) \geq \lfloor |G|/3 floor +1 contains an \ell-cycle. This is best possible for all those \ell\geq 4 which are not divisible by 3. Surprisingly, for some other values of \ell, an \ell-cycle is forced by a much weaker minimum degree condition. We propose and discuss a conjecture regarding the precise minimum degree which forces an \ell-cycle (with \ell \geq 4 divisible by 3) in an oriented graph. We also give an application of our results to pancyclicity and consider \ell-cycles in general digraphs.

研究动机与目标

• 确定迫使有向图中出现 $\ell$-圈（$\ell \geq 4$）的最小半度条件。
• 识别实现最优界限的极值构造，特别是当 $\ell \not\equiv 0 \pmod{3}$ 时的 3-圈的爆破构造。
• 基于不整除 $\ell$ 的最小整数 $k \geq 3$，提出关于 $\ell$-圈的精确最小半度阈值的猜想。
• 建立最小半度超过图阶数 $3/8$ 的有向图的全圈性通用结果。
• 探讨正则性引理与最小度条件在迫使特定有向圈及子图中的作用。

提出的方法

• 使用有向图的正则性引理，推导在最小出度条件下 $\ell$-圈存在的界限。
• 应用贪心嵌入策略，将特定有向迹（如带传递三角形或 4-圈的路径）嵌入，以构建更长的圈。
• 采用概率方法，包括超几何尾部界限，以在随机子集中寻找具有高最小半度的子图。
• 利用极值例子的结构（$k$-圈的爆破）来指导主要猜想的提出。
• 在构建适当的迹结构后，应用引理 22(iv) 完成圈的嵌入。
• 通过迭代应用随机子集选择引理，减小图的规模，同时保持高最小半度，从而实现归纳。

实验结果

研究问题

• RQ1 对于所有 $\ell \geq 4$ 且不被 3 整除的情况，迫使有向图中出现 $\ell$-圈的最小半度条件是什么？
• RQ2 当 $\ell$ 被 3 整除时，$\ell$-圈的阈值 $\lfloor n/3\rfloor + 1$ 是否可以改进？若可改进，最优界限由什么决定？
• RQ3 是否存在一个通用的极值构造（如 $k$-圈的爆破），其决定了迫使 $\ell$-圈的最小半度，其中 $k$ 是不整除 $\ell$ 的最小整数 $\geq 3$？
• RQ4 最小半度超过图阶数的 $3/8$ 是否迫使有向图全圈？
• RQ5 在最小半度条件下证明 $\ell$-圈存在的过程中，能否避免使用正则性引理？

主要发现

• 对于所有 $\ell \geq 4$ 且不被 3 整除的情况，任意顶点数 $n \geq 10^{10}\ell$ 的有向图 $G$，若其最小半度满足 $\delta^0(G) \geq \lfloor n/3\rfloor + 1$，则必包含一个 $\ell$-圈，且该界限是紧致的。
• 实现该界限的极值构造是 3-圈的爆破，该图不含 $\ell$-圈（当 $\ell \not\equiv 0 \pmod{3}$ 时），且其最小半度为 $\lfloor n/3\rfloor$。
• 当 $\ell \equiv 0 \pmod{3}$ 时，条件 $\delta^0(G) \geq \lfloor n/3\rfloor + 1$ 是迫使任意给定顶点位于 $\ell$-圈中的最优条件。
• 论文证明，当 $k \geq 150$ 时，最小出度为 $n/k + 150n/k^2$ 可迫使出现 $\ell$-圈，其中 $k$ 是大于 2 的最小不整除 $\ell$ 的整数，从而支持主要猜想。
• 当 $k=4$ 且 $\ell \geq 42$ 时，对任意 $\varepsilon > 0$，当 $n$ 足够大时，$\delta^0(G) \geq n/k + \varepsilon n$ 可迫使出现 $\ell$-圈，从而在该情况下渐近证实了猜想。
• 最小半度超过图阶数 $3/8$ 的有向图必为全圈图，即其包含所有长度 $\ell$（$3 \leq \ell \leq n$）的有向圈。