[论文解读] Rainbow matchings in bipartite multigraphs

János Barát, András Gyárfás+1 more|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|May 7, 2015

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

一句话总结

本文建立了在二分多重图中确保大小为 $n-k$ 的彩虹匹配所需的最小匹配数的上界。通过精细应用Woolbright的交错路径论证方法，证明了 $N(n,k) \leq \left\lfloor \frac{k+2}{k+1}n \right\rfloor - (k+1)$，该结果在渐近意义下解决了问题，并改进了 $k=1$ 时的已有界，确认了迈向Brualdi-Stein猜想的关键一步。

ABSTRACT

Suppose that $k$ is a non-negative integer and a bipartite multigraph $G$ is the union of $$N=\left\lfloor \frac{k+2}{k+1}n ight floor -(k+1)$$ matchings $M_1,\dots,M_N$, each of size $n$. We show that $G$ has a rainbow matching of size $n-k$, i.e. a matching of size $n-k$ with all edges coming from different $M_i$'s. Several choices of parameters relate to known results and conjectures.

研究动机与目标

• 确定在二分多重图中确保大小为 $n-k$ 的彩虹匹配所需的最小匹配数 $N(n,k)$，其中每个匹配的大小为 $n$。
• 统一并推广先前关于彩虹匹配的结果，包括定理1（$N(n,0) = 2n-1$）和猜想1（$N(n,1) = n$）。
• 对 $1$-因子分解和多重图中彩虹匹配大小的已知界提供定量改进。
• 通过一种新颖的匹配构造技术，将Woolbright的 $\sqrt{n}$-误差结果推广至一般二分多重图。
• 解决 $k \geq \lfloor n/2 \rfloor$ 时的极值情况，证明 $N(n,k) = n-k$ 是紧的。

提出的方法

• 定义 $N = \left\lfloor \frac{k+2}{k+1}n \right\rfloor - (k+1)$ 为确保大小为 $n-k$ 的彩虹匹配的候选匹配数。
• 假设反证法下最大彩虹匹配 $R_1$ 的大小为 $t \leq n-k-1$，并定义 $A_0 = A \setminus V(R_1)$，$B_0 = B \setminus V(R_1)$。
• 通过归纳构造，构建一系列大小为 $j(n-t)$ 的匹配 $F_j \subset M_j$，确保 $V(F_j) \cap B_0 = \emptyset$。
• 利用交错路径导出矛盾：若 $F_{i+1}$ 与 $B_0$ 相交，则可构造一条改进 $R_1$ 的交错路径，违反其最大性。
• 推导不等式 $(N-t)(n-t) \leq t$，进而得到 $N \leq \frac{n}{n-t} + t - 1$，代入 $t \leq n-k-1$ 后与 $N$ 的定义矛盾。
• 利用不相交集合 $A_i, B_i$ 的结构以及函数 $f(S)$（将 $B$ 中的顶点映射到其在 $R_1$ 下的邻居）来控制顶点覆盖。

实验结果

研究问题

• RQ1 在二分多重图中，确保大小为 $n-k$ 的彩虹匹配所需的最小匹配数 $N(n,k)$ 是多少？
• RQ2 是否可对所有 $0 \leq k < n$ 证明 $N(n,k) \leq \left\lfloor \frac{k+2}{k+1}n \right\rfloor - (k+1)$？
• RQ3 该界是否优于已知结果，例如当 $k=1$ 时，是否证实了 $n$ 个大小为 $n$ 的匹配足以实现大小为 $n-1$ 的彩虹匹配？
• RQ4 该结果如何将Woolbright对 $K_{n,n}$-因子分解的 $\sqrt{n}$-误差界推广至一般二分多重图？
• RQ5 该界在 $k \geq \lfloor n/2 \rfloor$ 时是否紧致，是否意味着在此范围内 $N(n,k) = n-k$？

主要发现

• 本文证明了 $N(n,k) \leq \left\lfloor \frac{k+2}{k+1}n \right\rfloor - (k+1)$，为确保大小为 $n-k$ 的彩虹匹配所需匹配数提供了统一的上界。
• 当 $k \geq \lfloor n/2 \rfloor$ 时，该界简化为 $N(n,k) = n-k$，该值为最优且与平凡下界一致。
• 当 $k=0$ 时，该界退化为 $N(n,0) \leq 2n-1$，与定理1一致，并证实其紧致性。
• 当 $k=1$ 时，结果表明 $\left\lfloor \frac{3}{2}n \right\rfloor - 2$ 个大小为 $n$ 的匹配足以实现大小为 $n-1$ 的彩虹匹配，优于先前的界。
• 该界将Woolbright的 $n - \sqrt{n}$ 结果推广至一般二分多重图，表明当 $k = \lfloor \sqrt{n} \rfloor$ 时，可实现 $n - \sqrt{n}$ 大小的彩虹匹配。
• 证明方法基于交错路径与顶点覆盖控制，提供了一个可推广至 $K_{n,n}$ 情况之外的通用框架。