[论文解读] Rainbow paths and rainbow matchings in graphs

Ron Aharoni, Joseph Briggs+2 more|arXiv (Cornell University)|Apr 16, 2020

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

一句话总结

本文证明，图中任意大小为 $n$ 的 $3n-3$ 个匹配的族中，必然存在一个大小为 $n$ 的彩虹匹配，优于此前的 $3n-2$ 上界。此外，该结果进一步推广至协作情形：当有 $3n-4+t$ 个边集，且任意 $t$ 个边集的组合中均包含一个大小为 $n$ 的匹配时，对于 $n \geq 3$ 且 $t > 0$，同样可保证存在一个大小为 $n$ 的彩虹匹配。该结果强化了图论中的极值匹配理论。

ABSTRACT

We prove that if $n \geq 3$, then any family of $3n-3$ sets of matchings of size $n$ in any graph has a rainbow matching of size $n$. This improves on a previous result, in which $3n-3$ is replaced by $3n-2$. We also prove a cooperative generalization: for $t>0$ and $n \geq 3$, any $3n-4+t$ sets of edges, the union of every $t$ of which contains a matching of size $n$, have a rainbow matching of size $n$.

研究动机与目标

• 改进图中保证存在大小为 $n$ 的彩虹匹配所需匹配数的上界。
• 建立一种协作推广：多个边集联合确保存在彩虹匹配，即使单个集合本身并不大。
• 扩展已知的极值图论结果，涉及彩虹匹配与边集族。
• 在最小结构假设下，为彩虹匹配的存在性提供紧致界。

提出的方法

• 使用极值组合数学并基于 $n$ 的归纳法，分析图中匹配族的性质。
• 应用结构分解论证，从边族中识别并提取彩虹匹配。
• 引入协作条件：$3n-4+t$ 个集合中任意 $t$ 个组合均包含一个大小为 $n$ 的匹配，从而确保全局彩虹匹配的存在性。
• 通过边集上的双重计数与平均值论证，推导出存在性保证。
• 利用关于超图中匹配与横截集的已知结果，界定所需集合数的上界。
• 依赖鸽巢原理与匹配扩展技术，构造出彩虹匹配。

实验结果

研究问题

• RQ1 保证在任意图中存在大小为 $n$ 的彩虹匹配，所需大小为 $n$ 的匹配的最小数量是多少？
• RQ2 能否将 $3n-2$ 的界改进为 $3n-3$，以保证大小为 $n$ 的彩虹匹配的存在？
• RQ3 在边集的何种协作条件下，仍可保证存在大小为 $n$ 的彩虹匹配？
• RQ4 $t$ 重并集条件与彩虹匹配存在性之间的相互作用，如何影响极值界？

主要发现

• 在任意图中，$3n-3$ 的界已足够保证存在大小为 $n$ 的彩虹匹配，优于此前的 $3n-2$ 界。
• 对于 $t > 0$，若 $3n - 4 + t$ 个边集满足任意 $t$ 个集合的组合中均包含一个大小为 $n$ 的匹配，则可保证存在大小为 $n$ 的彩虹匹配。
• 该结果对所有 $n \geq 3$ 成立，且该界是紧致的，即一般情况下 $3n-4$ 个集合可能不足以保证结果。
• 协作推广统一并强化了先前结果，通过引入集合间的依赖关系，实现了更优的结论。