[論文レビュー] A note on rainbow matchings in properly edge-coloured graphs

Allan Lo|arXiv (Cornell University)|Aug 26, 2011

Advanced Graph Theory Research参考文献 2被引用数 5

ひとこと要約

本稿は、適切に辺彩色されたグラフにおける最小次数に等しいサイズのレインボーマッチングを保証するための最小順序条件を改善する。構造的解析と辺彩色の制約を精緻化することで、任意のこのようなグラフが少なくとも (9δ−5)/2 個の頂点を持つ場合、サイズ δ のレインボーマッチングを含むことを証明する。これは、以前の上限 ⌊13δ/2−23/2+41/(8δ)⌋+1 よりも改善されており、特に δ≥5 の場合によりタイトな閾値を確立する。

ABSTRACT

A rainbow matching in an edge-coloured graph is a matching such that its edges have distinct colours. We show that every properly edge-coloured graph $G$ with $|G| \ge (9δ(G) -5)/2$ has a rainbow matching of size $δ(G)$, improving a result of Diemunsch et al.

研究の動機と目的

• 適切に辺彩色されたグラフにおけるサイズ δ のレインボーマッチングの存在を保証する関数 f(δ) の存在に関する Wang の問いを解決すること。
• 最小次数 δ を持つグラフにおける f(δ) の既知の上界を改善すること。
• 特に δ≥5 の場合に、以前の結果よりもよりタイトな閾値を確立すること。
• 適切に辺彩色されたグラフにおいて、サイズ δ のレインボーマッチングが存在するための十分条件として (9δ−5)/2 頂点が十分であることを証明すること。

提案手法

• サイズ δ のレインボーマッチングが存在しないと仮定した最小反例の議論を用いる。
• 構造的制約を適用：最大次数 ≤3(δ−1) であり、サイズ a の単色マッチングを分析する。
• 色が {1,…,δ−1} の外にあること、および M（サイズ δ−1 のレインボーマッチング）の頂点でない方の端点を持つ辺を「良い辺」と定義する。
• M に属する頂点のうち、7本以上の良い辺を持つものを「良い頂点」と呼び、色の制約を追跡するため W′ = W ∪ {y₁,…,yᵣ} を定義する。
• G[W′] における色の分布に関する場合分けを行い、V\W′ への「良い辺」（異なる色を持つ辺）の数の上限を求める。
• 不等式を用いて良い辺の数を上界と下界から抑え、δ, r, s, t, a を含む不等式を導出し、最終的に n < (9δ−5)/2 を得る。これは仮定に反する。

実験結果

リサーチクエスチョン

• RQ1 最小関数 f(δ) は何か？ すなわち、|G|≥f(δ) を満たす適切に辺彩色されたグラフはすべてサイズ δ のレインボーマッチングを含むか？
• RQ2 δ≥5 の場合に、f(δ) = ⌊13δ/2−23/2+41/(8δ)⌋+1 という境界を改善できるか？
• RQ3 (9δ−5)/2 は、適切に辺彩色されたグラフにおいてサイズ δ のレインボーマッチングの存在を保証する十分条件か？
• RQ4 最小次数が高くてもサイズ δ のレインボーマッチングを含まないグラフにおいて、どのような構造的制約が生じるか？

主な発見

• 本稿は、適切に辺彩色されたグラフが少なくとも (9δ−5)/2 個の頂点を持つ場合、サイズ δ のレインボーマッチングを含むことを確立する。
• この境界は、Diemunsch らの以前の結果（f(δ) = ⌊13δ/2−23/2+41/(8δ)⌋+1）よりも改善されている。
• δ≥5 の場合、新しい境界 (9δ−5)/2 は以前の境界よりも厳密に小さいため、顕著な改善である。
• 証明は最小反例の仮定に基づく背理法であり、良い辺と色の分布に関するタイトな境界に依存する。
• 頂点数が (9δ−5)/2 以上であれば、サイズ δ のレインボーマッチングの存在は避けられないことが示された。
• この結果はすべての δ≥1 に対して成り立ち、δ=1 の場合は自明であり、既知のラテン平方の反例により、偶数 δ に対して f(δ) > 2δ となることから、境界がタイトであるとされる。