[論文レビュー] 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$ のマッチングを $N(n,k)$ 個集めることでサイズ $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$ のマッチングを含む二部多重グラフにおいて、サイズ $n-k$ のレインボーマッチングを保証するために必要な最小数 $N(n,k)$ を特定すること。
• 既存のレインボーマッチングに関する結果（定理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$ の構造と、$R_1$ における $B$ の頂点から $A$ への隣接関係を表す関数 $f(S)$ を用いて、頂点カバレッジを制御する。

実験結果

リサーチクエスチョン

• RQ1 サイズ $n$ のマッチングを含む二部多重グラフにおいて、サイズ $n-k$ のレインボーマッチングを保証するために必要な最小数 $N(n,k)$ は何か？
• RQ2 $N(n,k) \leq \left\lfloor \frac{k+2}{k+1}n \right\rfloor - (k+1)$ がすべての $0 \leq k < n$ に対して証明可能か？
• 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$ のマッチングで十分であることが示され、既存の境界を改善する。
• 上界はWoolbrightの $n - \sqrt{n}$ 結果を一般の二部多重グラフへ拡張し、$k = \lfloor \sqrt{n} \rfloor$ のとき $n - \sqrt{n}$ のレインボーマッチングサイズが得られることを示す。
• 交互パスと頂点カバレッジの制御に基づく証明技法は、$K_{n,n}$ の場合に限らず、一般に適用可能なフレームワークを提供する。