[論文レビュー] Meyniel's conjecture holds for random graphs

Paweł Prałat, Nick Wormald|arXiv (Cornell University)|Jan 14, 2013

Limits and Structures in Graph Theory参考文献 3被引用数 13

ひとこと要約

本稿は、平均次数 d が (1/2 + ε)log n ≤ d ≤ log³n を満たす場合、二項確率グラフ 𝒢(n,p) に対して、Meynielの予想 — 任意の連結な n 頂点グラフのコップ数は O(√n) である — が漸近的にほとんど確実に（a.a.s.）成り立つことを証明する。著者らは、このような確率的グラフが、O(√n) 匹のコップによる勝利戦略を可能にする拡張性の性質をほとんど確実に持つことを示し、確率的集中不等式と近傍成長解析を用いることでこの結果を得た。

ABSTRACT

In the game of cops and robber, the cops try to capture a robber moving on the vertices of the graph. The minimum number of cops required to win on a given graph $G$ is called the cop number of $G$. The biggest open conjecture in this area is the one of Meyniel, which asserts that for some absolute constant $C$, the cop number of every connected graph $G$ is at most $C \sqrt{|V(G)|}$. In this paper, we show that Meyniel's conjecture holds asymptotically almost surely for the binomial random graph. We do this by first showing that the conjecture holds for a general class of graphs with some specific expansion-type properties. This will also be used in a separate paper on random $d$-regular graphs, where we show that the conjecture holds asymptotically almost surely when $d = d(n) \ge 3$.

研究の動機と目的

• すべての連結な n 頂点グラフに対して c(G) = O(√n) であるという Meynielの予想の漸近的妥当性を、確率的グラフの文脈で解明すること。
• 従来の結果では結論が得られなかったスパarsな確率的グラフ、特に np = (1/2 + ε)log n の領域において、予想が a.a.s. 成り立つことを示すことにより、既存の結果のギャップを埋めること。
• 最小次数 d ≥ (1/2 + ε)log n を満たす確率的グラフが、ほとんど確実にコップ数を O(√n) で抑えられるような拡張性タイプの性質を満たすことの特定。
• ランダム d-正則グラフなどの他の確率的グラフモデルに対しても適用可能な一般枠組みを提供すること、特にコップ数が有界であることを可能にする構造的性質の同定。

提案手法

• 著者らは、局所的拡張性が著しく高い頂点の集合 X(Gₙ) を定義し、確率的補題を用いて、ほとんど確実に特定の成長および独立性条件を満たすことを示した。
• チェルノフ不等式と集中不等式を用いて、r = ⌈(2/3)logₐn⌉ までの距離における近傍のサイズを制御し、やや厳しい条件下でも指数的成長を保証した。
• 重要なステップとして、良好な拡張性を仮定したもとで、任意の頂点から r ステップ以内に到達可能な頂点数が Ω(k log⁸n) に成長することを証明した。ここで k はコップの数である。
• 探索木における世代サイズの帰納法を用い、各世代の期待サイズが、濃度の高い確率で直前の世代の d 倍に達することを示した。
• 一般定理（定理 4.1）が要求する三つの条件 — 最小次数、拡張性、非 X 集合の連結性 — が、ほとんど確実に満たされることを検証した。
• 戦略は、巨大成分上にコップを配置するものであり、X(Gₙ) の外側のすべての頂点がほとんど確実に長さ O(log n) のパスで接続されているという事実に依存している。

実験結果

リサーチクエスチョン

• RQ1 平均次数 d が (1/2 + ε)log n ≤ d ≤ log³n を満たす二項確率グラフ 𝒢(n,p) に対して、Meynielの予想が a.a.s. 成り立つか？
• RQ2 スパースな領域においても、確率的グラフの拡張性の性質を活用して、コップ数を O(√n) で抑えられるか？
• RQ3 どのような構造的性質が、コップ数が予想された O(√n) の範囲内に保たれることを保証するか？
• RQ4 この証明技法は、d ≥ 3 を満たすランダム d-正則グラフなどの他の確率的グラフモデルへも拡張可能か？

主な発見

• d ≥ (1/2 + ε)log n の場合、𝒢(n,p) のコップ数は a.a.s. O(√n) で抑えられ、Meynielの予想がこの領域で確認された。
• 本稿は、X(Gₙ) に属さないすべての頂点が、ほとんど確実に長さ O(log n) のパスで接続されていることを示した。これにより、巨大成分が十分に接続されていることが保証された。
• 任意の頂点から r = ⌈(2/3)logₐn⌉ ステップ以内に到達可能な頂点数は、拡張性の仮定のもとで、a.a.s. Ω(k log⁸n) に成長する。ここで k はコップの数である。
• 証明は、濃度の高い確率で近傍サイズが d|Dᵢ(j−1)|(1 − O(1/log n)) のように成長することを示す集中不等式に依存しており、帰納的制御が可能である。
• グラフが非連結であっても、巨大成分が必要な拡張性および連結性条件を満たしていれば、コップ数が O(√n) に保たれることを著者らは示した。
• 結果は、d ≥ 3 を満たすランダム d-正則グラフに対しても拡張可能であり、同じ拡張性に基づく戦略が適用可能であるため、この手法のより広範な適用可能性が示唆された。