[論文レビュー] 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

ひとこと要約

本稿は、頂点数 $n$ が $4.25k^2$ を超える任意の大きな辺彩色グラフが、最小色次数 $k$ を満たす場合、サイズ $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$ に等しいサイズのレインボーマッチングが保証されることを示すこと。
• 従来の適切な辺彩色グラフにおけるレインボーマッチングに関する結果を、適切な彩色を要しない一般の辺彩色へと拡張すること。
• 従来の研究と比較して、顕著に弱い頂点数の境界を提示しながら、より広範な彩色のクラスをカバーすること。
• 最小色次数 $k$ の下で $|V(G)| \geq f(k)$ がサイズ $k$ のレインボーマッチングを保証する関数 $f(k)$ の存在を解決し、$f(k) = 4.25k^2$ が十分であることを示すこと。

提案手法

• 最小反例の議論を用いる：$n > 4.25k^2$ かつ最小色次数 $k$ を満たすが、サイズ $k$ のレインボーマッチングを含まないグラフが存在すると仮定し、矛盾を導く。
• 色クラスをスターフォレストとして定義し、辺を最大の単色スターフォレスト $\mathcal{S}$、単一辺成分 $E_0$、マッチングに含まれない頂点集合 $L$ に分割する。
• 部分レインボーマッチングの拡張を追跡するための重み関数 $w_2(e)$（辺）および $w_2(v)$（頂点）を導入する。
• 各ステップで現在の $w_2$-重みが最小の色の辺を選択する貪欲なアルゴリズムを適用し、その辺に隣接するすべての辺および同色の辺を削除する。
• 最終ケースでは頂点重み $w_3(v)$ を用いて、$w_3(v) < 1$ を満たす頂点 $v$ が存在することを示し、$v$ に接続する $k$ 個の異なるスターフォレストから $k$ 個の互いに素なレインボーエッジを構成可能であることを示す。
• マッチング集合 $C$、スターフォレスト集合 $\mathcal{S}^*$、および $E_0^*$ のサイズに基づくケース解析を用い、サイズ $k$ のレインボーマッチングが存在しないと仮定した場合、少なくとも一つのケースが成立し、矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 任意の辺彩色グラフについて、$n \geq f(k)$ かつ最小色次数 $k$ を満たす $n$ 頂点グラフが、サイズ $k$ のレインボーマッチングを含むような関数 $f(k)$ が存在するか？
• RQ2 適切な彩色から一般の辺彩色に緩和した場合、サイズ $k$ のレインボーマッチングを保証するための頂点数要件を、$6.5k$ や $4.5k$ のような従来の境界以下に低下させることは可能か？
• RQ3 辺彩色グラフのどのような構造的性質が、特に色次数が有界である場合に大きなレインボーマッチングの存在を保証するか？
• RQ4 辺および頂点に重み関数を導入することで、一般の辺彩色グラフにおける大規模なレインボーマッチングの分析および構成はどのように可能か？

主な発見

• 任意の辺彩色グラフ $G$ について、$n > 4.25k^2$ かつ最小色次数 $k$ を満たす場合、サイズ $k$ 以上のレインボーマッチングが存在する。
• $n > 4.25k^2$ という境界は、適切な彩色に限らず、一般の辺彩色に対してもサイズ $k$ のレインボーマッチングを保証するのに十分である。
• 証明は、最小反例が各色クラスがスターフォレストを形成する構造を持つ必要があることを示し、重み付きエッジ選択を伴う貪欲なアルゴリズムを用いて矛盾を導く。
• マッチング構成が $r < k$ ステップで失敗する場合、$w_3(v) < 1$ を満たす頂点 $v$ が存在し、$v$ に接続する $k$ 個の異なるスターフォレストから $k$ 個の互いに素なレインボーエッジを構成可能であることが示された。
• 臨界集合 $C$、$\mathcal{S}^*$、$E_0^*$ の頂点総数は $1.75k^2$ 以下に抑えられ、$L$ には少なくとも $2.5k^2$ 個の頂点が残り、これが最終ケースを誘発し、サイズ $k$ のレインボーマッチングの存在を保証する。
• 本結果は、従来の $f(k) \leq 6.5k$ や $4.5k$ の境界に比べ、顕著に少ない頂点数で一般の辺彩色に対して成立し、カバーする彩色のクラスも広がっている。