[论文解读] Rainbow matchings and partial transversals of Latin squares

András Gyárfás, Gábor N. Sárközy|arXiv (Cornell University)|Aug 28, 2012

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

一句话总结

本文建立了在恰当边着色图中彩虹匹配的大小以及在拉丁方阵中部分换位的大小的新下界。通过分析颜色不相交的匹配并避免短环，证明了任何顶点数至少为 $4\delta(G) - 3$ 的恰当着色图中均包含大小为 $\delta(G)$ 的彩虹匹配；对于顶点数为 $2\delta(G)$ 的图，保证存在大小至少为 $\delta(G) - 2\delta(G)^{2/3}$ 的彩虹匹配，从而扩展了关于拉丁方阵和换位的渐近结果。

ABSTRACT

In this paper we consider properly edge-colored graphs, i.e. two edges with the same color cannot share an endpoint, so each color class is a matching. A matching is called \it rainbow m if its edges have different colors. The minimum degree of a graph is denoted by $δ(G)$. We show that properly edge colored graphs $G$ with $|V(G)|\ge 4δ(G)-3$ have rainbow matchings of size $δ(G)$, this gives the best known estimate to a recent question of Wang. Since one obviously needs at least $2δ(G)$ vertices to guarantee a rainbow matching of size $δ(G)$, we investigate what happens when $|V(G)|\ge 2δ(G)$. We show that any properly edge colored graph $G$ with $|V(G)|\ge 2δ$ contains a rainbow matching of size at least $δ- 2δ(G)^{2/3}$. This result extends (with a weaker error term) the well-known result that a factorization of the complete bipartite graph $K_{n,n}$ has a rainbow matching of size $n-o(n)$, or equivalently that every Latin square of order $n$ has a partial transversal of size $n-o(n)$ (an asymptotic version of the Ryser - Brualdi conjecture). In this direction we also show that every Latin square of order $n$ has a {\em cycle-free partial transversal} of size $n-o(n)$.

研究动机与目标

• 解决王提出的问题：在恰当边着色图中，保证存在大小为 $\delta(G)$ 的彩虹匹配所需的最小顶点数。
• 改进在 $|V(G)| \geq 2\delta(G)$ 条件下彩虹匹配大小的现有界，尤其在拉丁方阵和换位的背景下。
• 建立拉丁方阵中大且无环的部分换位的存在性，解决超越大小的结构性约束问题。

提出的方法

• 分析每种颜色类均为匹配的恰当边着色图，通过迭代选择边和排除禁止边来构建彩虹匹配。
• 使用顶点集 $A_i$ 和 $B_i$ 的递归构造，以保持线性彩虹子有向图并避免长度 $\leq k$ 的彩虹环。
• 基于长度 $\leq k-1$ 的现有彩虹路径，应用禁止边准则以防止环的形成，确保 $G_i$ 对小环保持无环。
• 采用计数论证以限制每个顶点的禁止边数量，从而得出每新增一个颜色类所移除边数的上界。
• 引入一种移动机制，从 $B_i \setminus B_{i-1}$ 定义新的集合 $A_i \setminus A_{i-1}$，以保持路径结构和不相交性。
• 推导出一个关键不等式 $n - t \leq 6n^{(k-1)/k}$，以建立部分换位大小的下界，其中 $t$ 为换位的大小。

实验结果

研究问题

• RQ1 在恰当边着色图中，保证存在大小为 $\delta(G)$ 的彩虹匹配所需的最小顶点数是多少？
• RQ2 当 $|V(G)| \geq 2\delta(G)$ 时，能否保证存在大小为 $\delta(G) - 2\delta(G)^{2/3}$ 的彩虹匹配？
• RQ3 对于给定的 $k$，拉丁方阵是否允许避开长度 $\leq k$ 的环的大规模部分换位？
• RQ4 通过限制为无环换位，能否改进渐近部分换位界中的误差项？
• RQ5 在任意阶数为 $n$ 的拉丁方阵中，是否可能构造出大小为 $n - 2$ 且不包含任何环的部分换位？

主要发现

• 任何顶点数至少为 $4\delta(G) - 3$ 的恰当边着色图中均包含大小为 $\delta(G)$ 的彩虹匹配，优于先前的界。
• 对于满足 $|V(G)| \geq 2\delta(G)$ 的图，存在大小至少为 $\delta(G) - 2\delta(G)^{2/3}$ 的彩虹匹配，扩展了关于拉丁方阵的渐近结果。
• 每个阶数为 $n$ 的拉丁方阵均存在大小至少为 $n - 6n^{(k-1)/k}$ 的部分换位，且不包含长度 $\leq k$ 的环，其中 $k \geq 2$ 任意。
• 令 $k = \lfloor \log n / (3\log\log n) \rfloor$，本文得到一个大小至少为 $\left(1 - \frac{4\log\log n}{\log n}\right)n$ 的无环部分换位。
• 该结果表明，拉丁方阵存在大小为线性减去次对数误差项且无环的部分换位，支持了 Ryser-Brualdi 猜想的强化版本。
• 本文提供了一套构造框架，通过迭代添加边并避免短彩虹环，以构建大型彩虹匹配和无环换位。