[論文レビュー] 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$ のレインボー・マッチングを保証するために必要なマッチングの最小数は何か？
• RQ2 サイズ $n$ のレインボー・マッチングの存在に関して、$3n-2$ の上限を $3n-3$ に改善できるか？
• RQ3 辺集合にどのような協調的条件が課されれば、サイズ $n$ のレインボー・マッチングが依然として保証されるか？
• RQ4 $t$ 重の和集合条件とレインボー・マッチングの存在の相互作用が、極値境界にどのように影響するか？

主な発見

• 任意のグラフにおいて、サイズ $n$ のレインボー・マッチングが存在するためには、$3n-3$ 個のマッチングで十分であり、これは以前の $3n-2$ の上限を改善したものである。
• $t > 0$ のとき、$3n - 4 + t$ 個の辺集合が、任意の $t$ 個の組み合わせがサイズ $n$ のマッチングを含むならば、サイズ $n$ のレインボー・マッチングが保証される。
• この結果はすべての $n \geq 3$ に対して成り立ち、$3n-4$ 個の集合では一般には十分でないため、境界がタイトである。
• 協調的一般化により、従来の結果が統合され、強化された。