オンラインRamseyゲームの退化次数の最適な上限を証明

この論文をやさしく読む

ひとことで言うと

辺を追加する側と色を付ける側の対戦で、グラフを一定の疎さに保ったまま、目標と同じ形の単色部分を必ず作れることを証明します。

何に役立つ？

組合せ論で、色付けに対抗しながら特定の構造を生み出すのに必要なグラフの複雑さを理解する結果です。

この研究の面白いところ

目標グラフの退化次数がdなら、構築するグラフも退化次数d以下で足り、その上限はこれ以上改善できないという一致を示しています。

どこまで分かった？

定理は無限の独立頂点集合上で行うq色のゲームと、d退化グラフを対象にしています。必要な手数や具体的な戦略の計算コストは要旨には示されていません。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

q色のオンラインRamseyゲームでは、BuilderとPainterが無限個の独立な頂点からなる集合上で対戦する。各手番でBuilderが辺を描き、Painterが直ちにその辺へq色のうち1色を割り当てる。Builderの目標は、固定されたグラフHと同型な単色部分グラフの出現を強制することである。本研究では、任意のq ≥ 2とd ≥ 1に対し、Builderは、自ら描くグラフの退化次数を高々dに保ちながら、任意のd退化グラフHと同型な単色部分グラフの出現を強制できることを証明する。この上限dは最良であり、Conlon、Fox、Sudakovの問題に肯定的な解決を与える。

v1の要旨から自動生成。本文の精読・人による確認は未実施。