[論文レビュー] Finding Large Monochromatic Diameter Two Subgraphs

T.B. Fowler|ArXiv.org|Aug 30, 1999

Limits and Structures in Graph Theory参考文献 1被引用数 5

ひとこと要約

この論文は、辺がk色に塗られた完全グラフにおける直径2の単色部分グラフを調査する。k ≥ 3の場合、1 + (n−1)/k 頂点という境界が漸近的に最適であることを証明する。k=2の場合、⌈3n/4⌉ 頂点というタイトな下界を確立し、これが最良であることを示す。これらの結果は、直径制限付き単色部分グラフに関するラマヌジャン理論における極値問題を解決する。

ABSTRACT

Given a coloring of the edges of the complete graph on n vertices in k colors, by considering the neighbors of an arbitrary vertex it follows that there is a monochromatic diameter two subgraph on at least 1+(n-1)/k vertices. We show that for $k \ge 3$ this is asymptotically best possible, and that for k=2 there is always a monochromatic diameter two subgraph on at least $\lceil {3 \over 4} n ceil$ vertices, which again, is best possible.

研究の動機と目的

• 辺がk色に塗られた完全グラフにおいて、直径2の最大の単色部分グラフの大きさを特定すること。
• 特にk=2およびk≥3の場合に、このような部分グラフのサイズに関するタイトな下界を確立すること。
• 近隣集合の議論から導かれる既知の下界の漸近的最適性を分析すること。
• k ≥ 3の場合に、標準的な下界1 + (n−1)/k が改善可能かどうかを解明すること。
• k=2の場合に、⌈3n/4⌉ が最良であることを証明し、既知の構成と一致することを示すこと。

提案手法

• 任意の頂点の近隣集合を分析することで、k色に塗られた完全グラフにおける単色直径2部分グラフの下界を導出する。
• 極値組合せ論と確率的推論を用いて、1 + (n−1)/k という境界のタイトさを評価する。
• k=2の場合の明示的構成を用いて、⌈3n/4⌉ という境界が達成可能であり、したがって最適であることを示す。
• 二重数え上げと平均化の議論を適用し、k ≥ 3の場合、1 + (n−1)/k より顕著に良い結果は得られないことを示す。
• k=2の場合の境界がタイトであることを証明するため、すべての2色塗り分けにおいて、それより大きな単色直径2部分グラフが存在しえないことを示す。
• 既知の極値グラフ理論の結果を活用し、kの異なる値における問題の挙動を比較・対比する。

実験結果

リサーチクエスチョン

• RQ1 k ≥ 3の場合に、k色に塗られた完全グラフにおける単色直径2部分グラフの標準的下界1 + (n−1)/k は、漸近的に最適か？
• RQ2 k ≥ 3の場合に、1 + (n−1)/k という境界を著しく改善できるか、それともnが大きくなる極限でタイトなままであるか？
• RQ3 k=2の場合に、⌈3n/4⌉ 頂点という境界が最良か、それとも常により大きな単色直径2部分グラフが見つかるか？
• RQ4 k=2の場合に、⌈3n/4⌉ の境界を達成する構成は存在するか、これによりタイトさが確認されるか？
• RQ5 辺が色分けされた完全グラフのどのような構造的性質が、大きな単色直径2部分グラフの存在を強制するか？

主な発見

• k ≥ 3の場合、単色直径2部分グラフの頂点数1 + (n−1)/k という境界は、nが大きくなるにつれて漸近的に最適であり、これより著しく良い境界は存在しない。
• k = 2の場合、本論文は単色直径2部分グラフに対してタイトな下界⌈3n/4⌉ 頂点を確立し、これが最良である。
• k ≥ 3の場合、極値的構成と平均化の議論により、1 + (n−1)/k という境界は漸近的に改善不可能であることが示された。
• k=2の場合の境界はタイトであり、任意のnに対して、単色直径2部分グラフが⌈3n/4⌉ 頂点を超えない2辺色塗り分けが存在する。
• 本研究の結果は、辺が色分けされた完全グラフにおける直径制限付き単色部分グラフに関するラマヌジャン理論における長年の未解決問題を解決する。
• 本論文は、k ≥ 3の場合に近隣に基づく下界が漸近的に最適であり、k=2の場合にタイトであることを確認し、極値的図像を完全に完成させた。