[论文解读] 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

一句话总结

本文證明了梅尼埃爾猜想——即任何連通 n 個頂點圖的警匪數為 O(√n)——在二項式隨機圖 𝒢(n,p) 上，當 p 滿足 (1/2 + ε)log n ≤ d = p(n−1) ≤ log³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)。
• 透過證明當 np = (1/2 + ε)log n 時，猜想在幾乎必然意義下對稀疏隨機圖成立，從而彙整現有結果中的缺口，此一範疇過去結果尚不確定。
• 建立隨機圖在最小度 d ≥ (1/2 + ε)log n 時，幾乎必然滿足擴展性質，此類性質足以將警匪數界為 O(√n)。
• 提供一個適用於其他隨機圖模型（如隨機 d-正則圖）的一般框架，透過識別能讓警匪數有界的結構性質。

提出的方法

• 作者定義圖 Gₙ 中具有高局部擴展性的頂點集合 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) 上幾乎必然成立？
• RQ2 即使在稀疏範疇中，是否可利用隨機圖的擴展性質，將警匪數界為 O(√n)？
• RQ3 隨機圖的哪些結構性質可確保警匪數維持在猜想的 O(√n) 範圍內？
• RQ4 此證明技術是否可延伸至其他隨機圖模型（如 d ≥ 3 的隨機 d-正則圖）？

主要发现

• 當 d ≥ (1/2 + ε)log n 時，𝒢(n,p) 的警匪數幾乎必然被界為 O(√n)，確認此範疇下梅尼埃爾猜想成立。
• 本文建立：幾乎必然地，所有不屬於例外集合 X(Gₙ) 的頂點皆透過長度 O(log n) 的路徑相連，確保巨量成分具有良好的連通性。
• 在擴展性假設下，從任一頂點出發，r = ⌈(2/3)logₐn⌉ 步內可達頂點數幾乎必然為 Ω(k log⁸n)，其中 k 為警匪數。
• 證明依賴集中不等式，顯示鄰域大小以高機率成長為 d|Dᵢ(j−1)|(1 − O(1/log n))，進而實現遞迴控制。
• 作者證明即使圖不連通，只要巨量成分滿足所需擴展性與連通性條件，警匪數仍為 O(√n)。
• 此結果可延伸至 d ≥ 3 的隨機 d-正則圖，因相同基於擴展性的策略適用，暗示此方法具更廣泛的適用性。