[論文レビュー] Cops and robbers in random graphs

Béla Bollobás, Gábor Kun+1 more|ArXiv.org|May 18, 2008

Artificial Intelligence in Games参考文献 10被引用数 7

ひとこと要約

本稿は、スパースなランダムグラフ $ G(n,p) $ において、$ p $ が小さすぎない場合に、コップ数が $ \Omega(n^{1/2+o(1)}) $ であることを証明し、Meynielの予想（$ c(n) = O(\sqrt{n}) $）を対数要因を除いて支持する。新たな泥棒戦略を導入し、領域防御戦略の限界を分析し、特定のグラフでは非効率であることを示している。

ABSTRACT

We consider the pursuit and evasion game on finite, connected, undirected graphs known as cops and robbers. Meyniel conjectured that for every graph on n vertices a rootish number of cops can win the game. We prove that this holds up to a log(n) factor for random graphs G(n,p) if p is not very small, and this is close to be tight unless the graph is very dense. We analyze the area-defending strategy (used by Aigner in case of planar graphs) and show examples where it can not be too efficient.

研究の動機と目的

• グラフの頂点数が $ n $ のとき、コップ数 $ c(n) = O(\sqrt{n}) $ であるMeynielの予想の妥当性を調査すること。
• 特に $ p $ が小さすぎない場合のスパースなランダムグラフ $ G(n,p) $ におけるコップ数の漸近的オーダーを特定すること。
• 各コップが縮小可能領域（retract）を防御する領域防御戦略の効率を評価し、特定のグラフクラスではその限界を示すこと。
• 領域防御戦略が効果を発揮しない明示的な例を構成し、グラフサイズに比べて縮小可能領域が小さくなる可能性を示すこと。
• グラフの構造的性質（例えば、周長やマイナー自由性）がコップ数をどのように制限するかを検討し、禁止マイナーおよび表面に埋め込まれたグラフに関する未解決の問題を提示すること。

提案手法

• コップから泥棒への非後退的ウォークの重み付き和を最小化する泥棒戦略の変種を用い、確率の分析にチェルノフの不等式を適用する。
• 二項分布の尾確率をバウンドするための補題1（チェルノフ型不等式）を応用し、ランダムグラフの文脈で適用する。
• 最小次数 $ \delta(R) \geq d \geq 3 $ を持つ誘導部分グラフ $ R $ を用いた、コップ数の新たな下界の技法を導入し、ある関数 $ M_r $ に対して $ (d-1)^{-r} M_r(2c(G)) > \frac{1}{r+1} $ を示す。
• ハイパーキューブにおける縮小可能領域の構造を分析し、縮小可能領域が小さいグラフを構成することで、領域防御戦略の非効率性を示す。
• ハイパーキューブにおける辺境界に関するハーパーの定理を用い、可能な縮小可能領域の数をバウンドし、そのサイズに関する確率的バウンドを導出する。
• 確率的構成とチェビシェフの不等式を用い、ランダムグラフにおける辺数および頂点数の逸脱を制御し、所望の性質を持つグラフの存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 ランダムグラフ $ G(n,p) $ のコップ数が、対数要因を除いて Meynielの予想 $ c(n) = O(\sqrt{n}) $ を満たすか。
• RQ2 各コップが縮小可能領域を防御する領域防御戦略は、一般のグラフにおける最適戦略と比較してどの程度効果的か。
• RQ3 特に $ K_k $-マイナー自由グラフにおいて、コップ数は禁止マイナーの観点からどのようにバウンドできるか。また、最良のバウンドは何か。
• RQ4 コップ数 $ c(n) $ の真の漸近的オーダーは何か。また、既知の上界 $ (1+o(1)) \frac{n \log \log n}{\log n} $ よりも改善可能か。
• RQ5 特定のグラフから他のグラフへのホモモーフィズムを妨げる位相的または構造的障害は存在するか。それらはコップ数とどのように関係するか。

主な発見

• $ p $ が小さすぎないランダムグラフ $ G(n,p) $ において、コップ数は $ \Omega(n^{1/2+o(1)}) $ である。これは、Meynielの予想が対数要因を除いて支持されることを示している。
• 各コップが縮小可能領域を防御する領域防御戦略は非効率であることが示された。特定のグラフでは、全グラフを除く最大の縮小可能領域のサイズは、グラフサイズの対数的べき乗にしかならない。
• 本稿では、最大の縮小可能領域（$ G $ 自体を除く）のサイズが $ O(\log^k n) $ 未満であるようなグラフ $ G $ を構成し、このような戦略では強いバウンドを得られないことを示した。
• 確率的技法を用いて、確率 $ \frac{1}{2} $ 以上で、サイズ $ \geq 3(l+2)^2 d^6 $ の縮小可能領域を持たないランダムグラフが存在することを示した。これは、領域防御戦略がこのようなグラフでは失敗することを意味する。
• ランダムグラフにおけるコップ数の上界が $ O(n^{1/2+o(1)}) $ であることが示され、これは予想される $ O(\sqrt{n}) $ に近く、密度の高いランダムグラフに対しても成り立つ。
• 高周長かつ高最小次数のグラフの構成により、$ c(G) \geq \delta $ であることを示し、このようなグラフでは $ \sqrt{n} $ 匹のコップが必要になる可能性があることを示した。これは、$ \sqrt{n} $ のバウンドが必要不可欠であることを支持する。