[论文解读] Large rainbow matchings in large graphs

Alexandr Kostochka, Florian Pfender+1 more|arXiv (Cornell University)|Apr 14, 2012

Limits and Structures in Graph Theory参考文献 16被引用 7

一句话总结

本文证明了，对于任意边染色图，若其最小色度为 $k$ 且顶点数 $n$ 超过 $4.25k^2$，则必然存在大小至少为 $k$ 的彩虹匹配。证明方法结合了贪心匹配算法与加权顶点和边分析，表明在此条件下，大小为 $k$ 的彩虹匹配必定存在，从而将先前针对正常边染色图的结果推广至一般边染色情形，且对顶点数的要求显著减弱。

ABSTRACT

A extit{rainbow subgraph} of an edge-colored graph is a subgraph whose edges have distinct colors. The extit{color degree} of a vertex $v$ is the number of different colors on edges incident to $v$. We show that if $n$ is large enough (namely, $n\geq 4.25k^2$), then each $n$-vertex graph $G$ with minimum color degree at least $k$ contains a rainbow matching of size at least $k$.

研究动机与目标

• 建立边染色图中顶点数的充分条件，以确保其存在大小等于最小色度 $k$ 的彩虹匹配。
• 将先前关于正常边染色图中彩虹匹配的研究结果推广至一般边染色情形，不再要求边染色为正常染色。
• 与以往工作相比，显著降低了对顶点数的要求，同时覆盖更广泛的染色类别。
• 通过证明 $f(k) = 4.25k^2$ 足够，从而解决关于函数 $f(k)$ 的一个猜想：当 $|V(G)| \geq f(k)$ 时，最小色度为 $k$ 的图必存在大小为 $k$ 的彩虹匹配。

提出的方法

• 采用极小反例论证：假设存在一个顶点数 $n > 4.25k^2$ 且最小色度为 $k$ 的图，但不包含大小为 $k$ 的彩虹匹配，进而导出矛盾。
• 将色类定义为星森林，并将边划分为最大单色星 $\mathcal{S}$、单边连通分量 $E_0$，以及不在匹配中的顶点集合 $L$。
• 引入边上的权重函数 $w_2(e)$ 和顶点上的权重函数 $w_2(v)$，以追踪部分彩虹匹配可能的扩展。
• 应用贪心算法：在每一步选择当前 $w_2$-权重最小的色类中的边，删除所有关联边及同色边。
• 在最终情形中引入顶点权重 $w_3(v)$，证明存在一个顶点 $v$ 满足 $w_3(v) < 1$，从而可从 $v$ 关联的 $k$ 个不同星中构造出 $k$ 条不相交的彩虹边。
• 基于匹配集 $C$、星集 $\mathcal{S}^*$ 和 $E_0^*$ 的大小进行情形分析，表明至少一种情形必然成立，若不存在大小为 $k$ 的彩虹匹配，则导致矛盾。

实验结果

研究问题

• RQ1 是否存在一个函数 $f(k)$，使得任意 $n$-顶点图在满足 $n \geq f(k)$ 且最小色度为 $k$ 的条件下，无论采用何种边染色，均包含大小为 $k$ 的彩虹匹配？
• RQ2 当从正常边染色放宽至任意边染色时，能否将保证存在大小为 $k$ 的彩虹匹配所需的顶点数要求降低至低于以往的 $6.5k$ 或 $4.5k$？
• RQ3 边染色图的何种结构特性可确保存在较大的彩虹匹配，特别是在色度有界的情况下？
• RQ4 如何利用边和顶点上的权重函数来分析并构造一般边染色图中的大彩虹匹配？

主要发现

• 对于任意边染色图 $G$，若其顶点数 $n > 4.25k^2$ 且最小色度为 $k$，则存在大小至少为 $k$ 的彩虹匹配。
• 该界 $n > 4.25k^2$ 足够保证在任意边染色下存在大小为 $k$ 的彩虹匹配，不仅限于正常边染色。
• 证明表明，极小反例必须具有每个色类均为星森林的结构，并通过带权重的贪心算法选择边，最终导出矛盾。
• 分析表明，若在 $r < k$ 步后匹配构造失败，则必存在一个顶点 $v$ 满足 $w_3(v) < 1$，从而可从 $v$ 关联的 $k$ 个不同星中构造出 $k$ 条不相交的彩虹边。
• 关键集合 $C$、$\mathcal{S}^*$ 和 $E_0^*$ 中的顶点总数不超过 $1.75k^2$，剩余至少 $2.5k^2$ 个顶点属于 $L$，从而触发最终情形，确保存在大小为 $k$ 的彩虹匹配。
• 本结果在一般边染色情形下显著优于以往结果，大幅降低了对顶点数的要求，相比以往要求 $f(k) \leq 6.5k$ 或 $4.5k$ 的研究，覆盖了更广泛的染色类别。