[論文レビュー] On the Number of Rainbow Spanning Trees in Edge-Colored Complete Graphs

Hung‐Lin Fu, Yuan–Hsun Lo+2 more|arXiv (Cornell University)|May 15, 2016

Advanced Graph Theory Research参考文献 7被引用数 6

ひとこと要約

本稿は、任意の適切に (2m−1)-辺彩色された完全グラフ K₂ₘ において、明示的で構成的な手法を用いて少なくとも ⌊√(6m+9)/3⌋ つの互いに辺で disjoint なレインボー全域木を構成する。確率的アプローチとは異なり、本稿はこれらの木の存在を保証するとともに、それぞれの木の構造的性質を特定する。これにより、従来の構成的境界（3本の木しか保証しなかった）を上回る結果が得られる。

ABSTRACT

A spanning tree of a properly edge-colored complete graph, $K_n$, is rainbow provided that each of its edges receives a distinct color. In 1996, Brualdi and Hollingsworth conjectured that if $K_{2m}$ is properly $(2m-1)$-edge-colored, then the edges of $K_{2m}$ can be partitioned into $m$ rainbow spanning trees except when $m=2$. By means of an explicit, constructive approach, in this paper we construct $\lfloor \sqrt{6m+9}/3 floor$ mutually edge-disjoint rainbow spanning trees for any positive value of $m$. Not only are the rainbow trees produced, but also some structure of each rainbow spanning tree is determined in the process. This improves upon best constructive result to date in the literature which produces exactly three rainbow trees.

研究の動機と目的

• BrualdiとHollingsworthの予想1を解決すること。この予想は、任意の適切に (2m−1)-辺彩色された K₂ₘ が、m 個の辺で disjoint なレインボー全域木に分割可能である（ただし m=2 の場合は除く）と述べている。
• 従来の構成的結果（このようなグラフにおいては3本の辺で disjoint なレインボー全域木しか保証しなかった）を改善すること。
• 確率的存在証明に依存するのではなく、明示的でアルゴリズム的な構成によりレインボー全域木を生成すること。
• 各構成されたレインボー全域木の構造的性質（例えば、根の次数や辺の色分布）を体系的に特定すること。

提案手法

• 与えられた k に対して、K₂ₘ に k 個の辺で disjoint なレインボー全域木 T₁ᵏ, T₂ᵏ, ..., Tₖᵏ を構成する再帰的で構成的なアルゴリズムが用いられる。
• 構成は、指定された根 rₖ を中心とする星から始め、T₁ᵏ を形成し、その後、各ステップで辺 rₖwᵢ を削除し、wᵢwᵢ′ の新しい辺を追加することで、サイクルの生成を防ぎつつ木の性質を維持する。
• 色の制約は、R3, R5, R6, R7 のルールの集合によって強制され、構成過程で色の衝突が発生しないようにする。
• アルゴリズムは、各ステップで帰納的検証を実施することで、各木 Tᵢᵏ が全域木（連結かつ無閉路）であることを保証する。
• 最終的な木 Tₖᵏ は、サイクルを避けるために色の一致条件を満たすように、循環的に辺を置き換えることで構築される。
• この方法により、すべての k 個の木が構成上、辺で disjoint かつレインボーであることが保証され、構造的および色の制約を満たす最大の k として ⌊√(6m+9)/3⌋ が選ばれる。

実験結果

リサーチクエスチョン

• RQ1 すべての m ≥ 1 に対して、適切に (2m−1)-辺彩色された K₂ₘ において、3本を上回る辺で disjoint なレインボー全域木を構成的技法で得ることは可能か？
• RQ2 任意のこのような辺彩色完全グラフにおいて、明示的に構成可能な辺で disjoint なレインボー全域木の最大数は何か？
• RQ3 構成過程において、根の次数や辺の分布といった木の構造的性質を体系的に特定することは可能か？
• RQ4 構成過程を通じてサイクルや色の衝突を回避しながら、辺で disjoint かつレインボーである性質を維持することは可能か？
• RQ5 提案手法は、小・中程度の m 値に対して、確率的アプローチよりも優れた境界をもたらすか？

主な発見

• 本稿は、すべての m ≥ 1 に対して、任意の適切に (2m−1)-辺彩色された K₂ₘ において、少なくとも ⌊√(6m+9)/3⌋ つの互いに辺で disjoint なレインボー全域木を構成する。
• 構成は明示的かつ決定的であり、従来の研究で用いられた確率的アプローチとは異なり、構造が明確に特定された実際の木を生成する。
• 最初の木 T₁ の根の次数は (2m−1)−2⌊√(6m+9)/3⌋ であり、構成された木の数に依存する。
• 各構成木 Tᵢᵏ は、指定された根を持つ全域木であり、構成上、すべての木が辺で disjoint である。
• 最終木 Tₖᵏ の無閉路性は、各中間グラフ Tₖᵏ(i) が常に無閉路のままであることを帰納的に証明することで保証される。
• 境界 ⌊√(6m+9)/3⌋ は、すべての m < 5.7×10⁷ に対して、従来の構成的境界（3本）を上回り、中程度の m に対して実用的に優れている。