[论文解读] Bipartite Rainbow Numbers of Matchings

Xueliang Li, Jianhua Tu+1 more|ArXiv.org|Oct 30, 2006

Limits and Structures in Graph Theory参考文献 5被引用 4

一句话总结

本文确定了所有 $ m \geq n \geq 1 $ 和 $ k \geq 1 $ 下的精确二分图彩虹数 $ rb(K_{m,n}, kK_2) $，表明当 $ m > k $ 时，保证在 $ K_{m,n} $ 中存在大小为 $ k $ 的彩虹匹配的最小颜色数为 $ m(k-2) + 2 $，否则为 $ k $。该结果通过极值图论与结构化案例分析，将 Schiermeyer 早期关于完全图中彩虹匹配的研究扩展至二分图情形。

ABSTRACT

Given two graphs $G$ and $H$, let $f(G,H)$ denote the maximum number $c$ for which there is a way to color the edges of $G$ with $c$ colors such that every subgraph $H$ of $G$ has at least two edges of the same color. Equivalently, any edge-coloring of $G$ with at least $rb(G,H)=f(G,H)+1$ colors contains a rainbow copy of $H$, where a rainbow subgraph of an edge-colored graph is such that no two edges of it have the same color. The number $rb(G,H)$ is called the {\it rainbow number of $H$ with respect to $G$}, and simply called the {\it bipartite rainbow number of $H$} if $G$ is the complete bipartite graph $K_{m,n}$. Erdős, Simonovits and Sós showed that $rb(K_n,K_3)=n$. In 2004, Schiermeyer determined the rainbow numbers $rb(K_n,K_k)$ for all $n\geq k\geq 4$, and the rainbow numbers $rb(K_n,kK_2)$ for all $k\geq 2$ and $n\geq 3k+3$. In this paper we will determine the rainbow numbers $rb(K_{m,n},kK_2)$ for all $k\geq 1$.

研究动机与目标

• 将 Schiermeyer 关于完全图中匹配的彩虹数结果扩展至二分图情形。
• 确定所有 $ m \geq n \geq 1 $ 和 $ k \geq 1 $ 下的二分图彩虹数 $ rb(K_{m,n}, kK_2) $ 的精确值。
• 刻画在 $ K_{m,n} $ 中避免大小为 $ k $ 的彩虹匹配的极值边着色。
• 通过极值图论与结构化案例分析，对完全二分图中匹配的彩虹数建立完整分类。

提出的方法

• 使用极值图论确定 $ ext(m,n,(k-1)K_2) $，即不含 $ (k-1)K_2 $ 子图的二分图的最大边数。
• 通过引理 2.1 应用 Hall 婚配定理，以给定缺陷约束二分图中最大匹配的大小。
• 基于最大匹配与邻域集的结构进行案例分析，以界定避免彩虹 $ kK_2 $ 的着色中的边数。
• 通过固定关键边的颜色并使用归纳法，分析边着色以强制在极值配置中存在彩虹匹配。
• 考虑特殊图结构，如 $ SG_1 $（一个附着一条悬挂边的 $ K_{m-1,m-1} $）和 $ SG_2 $（一个 $ K_{m-1,m-1} $ 加一个孤立点），作为极值情况。
• 使用反证法：假设不存在彩虹 $ kK_2 $，则导致边数上界，从而强制此类匹配的存在。

实验结果

研究问题

• RQ1 对于所有 $ m \geq n \geq 1 $ 和 $ k \geq 1 $，二分图彩虹数 $ rb(K_{m,n}, kK_2) $ 的精确值是什么？
• RQ2 在 $ K_{m,n} $ 中，匹配的彩虹数如何依赖于参数 $ m $、$ n $ 和 $ k $？
• RQ3 在 $ K_{m,n} $ 中，避免大小为 $ k $ 的彩虹匹配的极值边着色是什么？
• RQ4 在所有 $ m \geq n $ 的情况下，$ K_{m,n} $ 中 $ kK_2 $ 的彩虹数是否可以统一确定，还是取决于其相对大小？

主要发现

• 当 $ m > k $ 时，二分图彩虹数 $ rb(K_{m,n}, kK_2) $ 的精确值为 $ m(k-2) + 2 $。
• 当 $ m = k $ 时，彩虹数为 $ k $，且仅当 $ m = n = k $ 时达到该值。
• 对于 $ m \geq 3 $ 且 $ n \geq 2 $，有 $ rb(K_{m,n}, 2K_2) = 2 $，而 $ rb(K_{2,2}, 2K_2) = 3 $，表明在 $ m=n=2 $ 时存在一个微小例外。
• 实现 $ ext(m,n,(k-1)K_2) $ 的极图是 $ K_{m,k-1} $，该结构在界定彩虹数时至关重要。
• 任何对 $ K_{m,n} $ 的边着色，若使用超过 $ m(k-2) + 2 $ 种颜色，则必然包含一个大小为 $ k $ 的彩虹匹配，且该界是紧的。
• 证明表明，所有导致 $ m(k-2)+2 $ 条边的极值着色均同构于 $ SG_1 $ 或 $ SG_2 $，且在所有此类情况下，彩虹 $ kK_2 $ 都不可避免。