[논문 리뷰] Meyniel's conjecture holds for random graphs

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

Limits and Structures in Graph Theory참고 문헌 3인용 수 13

한 줄 요약

이 논문은 평균 차수 d가 (1/2 + ε)log n ≤ d = p(n−1) ≤ log³n 를 만족할 때, 이항 랜덤 그래프 𝒢(n,p)에서 메이니에르 추측 — 즉, 임의의 연결된 n-정점 그래프의 코프 수는 O(√n)이다 — 가 점점 더 거의 확실히(a.a.s.) 성립함을 증명한다. 저자들은 이러한 랜덤 그래프가 코프 전략을 성공적으로 수행할 수 있도록 보장하는 확장성 성질을 갖춘다는 점을 보여줌으로써 이를 입증하며, 이는 확률적 농도 경계와 이웃 집합 성장 분석을 사용한다.

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 인 경우에 추측이 a.a.s. 성립함을 보여줌으로써 기존 결과 간 격차를 메우는 것.
• 최소 차수 d ≥ (1/2 + ε)log n 인 랜덤 그래프가 a.a.s. 코프 수를 O(√n)로 유계로 이끄는 데 충분한 확장성 유형 성질을 만족한다는 것을 입증하는 것.
• 랜덤 d-정규 그래프와 같은 다른 랜덤 그래프 모델에 적용 가능한 일반적 프레임워크를 제공하는 것, 이를 위해 코프 수를 유계로 유지하는 데 기여하는 구조적 성질을 규명하는 것.

제안 방법

• 저자들은 국소적 확장성이 높은 정점의 집합 X(Gₙ)를 정의하며, 이 집합이 확률적 보조정리에 의해 점점 더 거의 확실히 특정 성장 및 독립 조건을 만족함을 보였다.
• 체르노프 불등식과 농도 불등식을 사용하여, r = ⌈(2/3)logₐn⌉ 까지의 이웃 집합 크기를 제어함으로써, 약간의 조건 하에서도 지수적 성장을 보장하였다.
• 핵심 단계로, 양호한 확장성 조건이 성립할 경우, 어떤 정점에서부터 r 단계 이내로 도달 가능한 정점 수가 Ω(k log⁸n)으로 성장함을 증명하였다. 여기서 k는 코프의 수이다.
• 탐색 트리의 세대 크기의 귀납법을 활용하여, 각 세대의 기대 크기가 이전 세대의 d 배임을 보였으며, 이는 농도에 의해 높은 확률로 유지됨을 보였다.
• 일반 정리(정리 4.1)에서 요구하는 세 가지 조건 — 최소 차수, 확장성, 비-X 집합의 연결성 — 이 랜덤 그래프가 점점 더 거의 확실히 만족함을 검증하였다.
• 전략은 거대 컴ponent에 승리적인 코프 배치를 하는 데 기반하며, X(Gₙ) 외부의 모든 정점들이 점점 더 거의 확실히 길이 O(log n) 이내의 경로로 연결되어 있음을 이용한다.

실험 결과

연구 질문

• RQ1 평균 차수 d가 (1/2 + ε)log n ≤ d ≤ log³n 를 만족할 때, 이항 랜덤 그래프 𝒢(n,p)에서 메이니에르 추측이 a.a.s. 성립하는가?
• RQ2 희박한 영역에서도 랜덤 그래프의 확장성 성질을 활용하여 코프 수를 O(√n)로 유계로 유지할 수 있는가?
• RQ3 랜덤 그래프의 어떤 구조적 성질이 코프 수가 추측된 O(√n) 유계 내에 유지되도록 보장하는가?
• RQ4 이 증명 기법은 랜덤 d-정규 그래프와 같이 d ≥ 3 인 다른 랜덤 그래프 모델로도 확장 가능한가?

주요 결과

• d ≥ (1/2 + ε)log n 인 경우, 𝒢(n,p)의 코프 수는 a.a.s. O(√n)로 유계이며, 이는 메이니에르 추측이 이 영역에서 확인됨을 의미한다.
• 논문은 a.a.s. 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-정규 그래프로도 확장되며, 동일한 확장 기반 전략이 적용되므로 이 방법의 광범위한 적용 가능성을 시사한다.