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

Paweł Prałat, Nicholas Wormald|arXiv (Cornell University)|2015. 10. 11.

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

한 줄 요약

이 논문은 d ≥ 3일 때 랜덤 d-정규 그래프에 대해 Meyniel의 추측—모든 연결된 n-정점 그래프의 코프 수는 O(√n)이다—가 점점 더 높은 확률로 성립함을 증명한다. 확장성 성질과 확률적 방법을 사용하여, 이러한 그래프가 코프 수가 O(√n)로 유계임을 보장하는 데 필요한 구조적 조건을 거의 확실히 만족함을 보여주며, 이는 이전의 이항 랜덤 그래프 결과를 d-정규 모델으로 확장한다.

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 a separate paper, we showed that Meyniel's conjecture holds asymptotically almost surely for the binomial random graph. The result was obtained by showing that the conjecture holds for a general class of graphs with some specific expansion-type properties. In this paper, this deterministic result is used to show that the conjecture holds asymptotically almost surely for random $d$-regular graphs when $d = d(n) \ge 3$.

연구 동기 및 목표

• 임의의 연결된 n-정점 그래프에 대해 코프 수가 O(√n)임을 제안하는 Meyniel의 추측이, d ≥ 3인 랜덤 d-정규 그래프에서 점점 더 높은 확률로 성립함을 입증하는 것.
• 이전의 이항 랜덤 그래프 결과를 d-정규 랜덤 그래프 모델으로 확장하여, 이 모델에서도 추측이 여전히 유효함을 보이는 것.
• d ≥ 3인 랜덤 d-정규 그래프가 거의 확실히 확장성 유형 성질을 지님을 보여주어, 이러한 성질이 추측의 타당성을 암시함을 보여주는 것.
• 확률적 모델과 결정론적 유계 조건 사이의 격차를 메우기 위해, 일반적으로 typical인 랜덤 d-정규 그래프가 Meyniel의 추측을 충족시키기 위한 구조적 조건을 만족함을 보여주는 것.

제안 방법

• 저자는 특정 확장성 유형 성질을 만족하는 그래프가 Meyniel의 추측을 만족함을 보여주는 결정론적 결과를 사용하고, 랜덤 d-정규 그래프가 거의 확실히 이 클래스에 속함을 증명한다.
• 그들은 정점에서의 거리와 이웃 관계를 추적하기 위해 S(v,r)와 N(v,r) 집합을 정의하여 그래프의 구조를 단계별로 분석한다.
• 증명 과정은 선택된 정점에서 시작하는 서로소인 트리를 구성하고, 각 레이어로 확장하여 충분한 성장을 보장하는 방식으로 이루어지며, 초기 그래프 구성에 대한 확률적 조건부를 사용한다.
• 집합 U에 속한 각 정점 w에 대해, 성장률을 통제하는 확장된 트리 T̃(w)를 정의하여, 각 레이어의 정점 수가 d^i와 n/(|U|d^j)에 비례하는 하한을 만족함을 보장한다.
• 초기 트리 구조의 존재를 조건으로 삼고, 이후 확장을 고려할 확률이 높다는 것을 증명하며, 이전의 하위보조정리의 수정된 버전을 사용한다.
• 핵심 기술적 단계는 χ = Σ_j d^{-j}|Ũ_j|로 정의된 매개변수를 사용하여 각 레이어의 정점 수를 유계로 제한함으로써, 필요한 하한과 일치하는 성장률을 확보하는 것.

실험 결과

연구 질문

• RQ1 d ≥ 3일 때 Meyniel의 추측이 랜덤 d-정규 그래프에서 거의 확실히 성립하는가?
• RQ2 일반 그래프에서 Meyniel의 추측을 암시하는 확장성 유형 성질이 랜덤 d-정규 그래프에서도 거의 확실히 성립함을 입증할 수 있는가?
• RQ3 랜덤 d-정규 그래프의 코프 수는 n에 따라 어떻게 변화하며, 점점 더 높은 확률로 O(√n) 유계를 만족하는가?
• RQ4 랜덤 d-정규 그래프의 어떤 구조적 성질이 Meyniel의 추측을 위한 필요한 코프 전략을 지원하는가?

주요 결과

• d ≥ 3일 때 n개의 정점을 가진 랜덤 d-정규 그래프의 코프 수는 거의 확실히 O(√n)이다.
• 이 결과는 랜덤 d-정규 그래프가 거의 확실히 Meyniel의 추측을 암시하는 확장성 유형 성질의 집합을 만족함을 보여줌으로써 확립된다.
• d ≥ log⁴n인 조밀한 d-정규 그래프의 경우, 그래프 구조 내에서 충분한 확장성과 트리 성장 성질로 인해 추측이 거의 확실히 성립한다.
• 증명은 선택된 정점에서 시작하는 서로소 트리를 구성하고, 각 레이어에서의 정점 수가 d^i와 n/(|U|d^j)의 함수로 하한이 보장됨을 보여줌으로써 이루어진다.
• 이러한 트리 확장이 높은 확률로 존재함을 증명함으로써, 코프 배치를 위한 필요한 집합 W(w)가 존재하고, 코프 수가 유계임을 만족하는 조건이 충족됨을 보장한다.
• 분석 결과, d ≥ 3인 희박한 d-정규 그래프에서도 코프 수가 여전히 O(√n)로 유지됨을 확인하였으며, 이는 이전의 이항 랜덤 그래프 모델 결과를 확장한 것이다.