[论文解读] Transitive Triangle Tilings in Oriented Graphs

József Balogh, Allan Lo+1 more|arXiv (Cornell University)|Jan 2, 2014

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

一句话总结

本文建立了有向图中完美传递三角形铺砌的严格最小半度条件：对于足够大的 $ n \in 3\mathbb{Z} $，一个有 $ n $ 个顶点的有向图，若其最小半度至少为 $ 7n/18 $，则包含由顶点不相交的传递三角形构成的完美铺砌。该结果是最佳的，通过构造一个半度为 $ \lceil 7n/18 \rceil - 1 $ 但不具有此类铺砌的图来证明，使用了稳定性和吸收技巧。

ABSTRACT

In this paper, we prove an analogue of Corrádi and Hajnal's classical theorem. There exists $n_0$ such that for every $n \in 3\mathbb{Z}$ when $n \ge n_0$ the following holds. If $G$ is an oriented graph on $n$ vertices and every vertex has both indegree and outdegree at least $7n/18$, then $G$ contains a perfect transitive triangle tiling, which is a collection of vertex-disjoint transitive triangles covering every vertex of $G$. This result is best possible, as, for every $n \in 3\mathbb{Z}$, there exists an oriented graph $G$ on $n$ vertices without a perfect transitive triangle tiling in which every vertex has both indegree and outdegree at least $\lceil 7n/18 ceil - 1.$

研究动机与目标

• 建立确保有向图中存在由传递三角形构成的完美铺砌的严格最小半度条件。
• 证明传递三角形铺砌的柯拉迪-哈约什定理在有向图中的类比结果。
• 通过构造半度为 $ \lceil 7n/18 \rceil - 1 $ 且不具有完美铺砌的极值图，证明 bound $ 7n/18 $ 是紧的。
• 通过证明该结果对所有足够大的 $ n $ 成立，从而解决特雷格洛恩对所有 $ n \in 3\mathbb{Z} $ 的猜想。

提出的方法

• 使用稳定性方法对接近极值构造的图进行分类。
• 应用吸收技巧嵌入大量传递三角形匹配，预留一个资源池以供后续调整。
• 相对于一个三部划分，定义 $ \tau $-坏点和 $ \tau $-循环点，以控制邻域扩张。
• 构造三组不相交的传递三角形：一组覆盖 $ Z' \setminus X_1 $，一组覆盖 $ Z' $，一组利用匹配边完成铺砌。
• 使用均衡的三部划分 $ W_1', W_2', W_3' $，并将 $ M $ 或 $ M' $ 中的边与 $ U $ 中的顶点匹配，形成传递三角形。
• 利用涉及邻域大小和 $ \tau $-循环性质的不等式，确保形成三角形所需的顶点充分可用。

实验结果

研究问题

• RQ1 什么是最小半度条件，可确保有向图中存在完美传递三角形铺砌？
• RQ2 该 bound $ 7n/18 $ 对于此类铺砌是否最优？
• RQ3 该结果能否扩展到所有 $ n \in 3\mathbb{Z} $，而不仅限于大 $ n $，正如特雷格洛恩所猜想的？
• RQ4 稳定性与吸收技巧如何被调整以适用于有向图中的铺砌问题？
• RQ5 在半度接近最优的有向图中，哪些结构障碍会阻止完美传递三角形铺砌的出现？

主要发现

• 对于每个满足 $ n \geq n_0 $ 的 $ n \in 3\mathbb{Z} $，最小半度至少为 $ 7n/18 $ 的有向图包含一个完美传递三角形铺砌。
• bound $ 7n/18 $ 是最优的：对每个 $ n \in 3\mathbb{Z} $，均存在一个最小半度为 $ \lceil 7n/18 \rceil - 1 $ 的有向图，其不具有完美传递三角形铺砌。
• 极值构造由三个集合 $ W_1, W_2, W_3 $ 和两个集合 $ U_1, U_2 $ 组成，具有特定的有向边，且 $ G[W_1 \cup W_2 \cup W_3] $ 不包含任何传递三角形。
• 证明使用了稳定性论证和吸收法，其中 $ \tau $-坏点和 $ \tau $-循环点在邻域控制中起关键作用。
• $ U_1 \cup U_2 $ 中的顶点数少于 $ n/3 $，因此不可能存在完美铺砌，从而确认了该构造的极值性。
• 该构造对所有 $ n \mod 18 $ 的情况均与表1中的数值匹配，表明每种情况下均有 $ \delta^0(G) = \lceil 7n/18 \rceil - 1 $。