[논문 리뷰] Cops and robbers in random graphs

Béla Bollobás, Gábor Kun외 1명|ArXiv.org|2008. 05. 18.

Artificial Intelligence in Games참고 문헌 10인용 수 7

한 줄 요약

이 논문은 흩어진 무작위 그래프 $ G(n,p) $에서의 경찰 수(cop number)를 조사하며, $ p $가 너무 작지 않은 경우, 경찰 수가 $ \Omega(n^{1/2+o(1)}) $임을 증명한다. 이는 메이니에일의 추측인 $ 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}) $라는 메이니에일의 추측의 타당성을 조사하는 것.
• 특히 $ p $가 너무 작지 않은 경우, 흩어진 무작위 그래프 $ G(n,p) $에서 경찰 수의 渐近적 크기의 순서를 결정하는 것.
• 각 경찰이 수축(retract)을 방어하는 영역 방어 전략의 효율성을 평가하고, 특정 그래프 유형에서의 한계를 보여주는 것.
• 영역 방어 전략이 효과적이지 않은 명시적 예시를 구성하여, 수축이 그래프 크기 대비 작을 수 있음을 보여주는 것.
• 그래프의 구조, 예를 들어 둘레(girth)와 소수 없는 성질(minor-free properties)이 경찰 수를 제한하는 데 미치는 영향을 탐색하고, 금지된 소수(minor)와 표면에 매장된 그래프에 대한 열린 질문을 제기하는 것.

제안 방법

• 경찰에서 도둑까지의 비역행 걷기(non-backtracking walks)의 가중합을 최소화하는 데 기반한 도둑 전략의 수정 버전을 사용하며, 체르노프 불등식을 활용해 확률을 분석한다.
• 이 Lemma 1(체르노프 유형 부등식)을 적용하여 무작위 그래프 환경에서 이항분포의 꼬리 확률를 제한한다.
• 최소 차수 $ \delta(R) \geq d \geq 3 $를 가진 유도된 부분그래프 $ R $를 이용한 경찰 수에 대한 새로운 하한 기법을 도입하며, 어떤 함수 $ M_r $에 대해 $ (d-1)^{-r} M_r(2c(G)) > \frac{1}{r+1} $임을 보여준다.
• 하이퍼큐브에서의 수축의 구조를 분석하고, 작은 수축을 가진 그래프를 구성하여 영역 방어 전략의 비효율성을 입증한다.
• 하이퍼큐브에서 모서리 경계(edge boundaries)에 대한 허퍼의 정리를 활용하여 가능한 수축의 수를 제한하고, 그 크기에 대한 확률적 제약조건을 유도한다.
• 확률적 구성과 체비셰프 부등식을 사용하여 무작위 그래프에서 모서리 수와 정점 수의 편차를 제어하며, 원하는 성질을 가진 그래프의 존재를 보장한다.

실험 결과

연구 질문

• RQ1 무작위 그래프 $ G(n,p) $의 경찰 수가 메이니에일의 추측 $ 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)}) $이며, 이는 메이니에일의 추측이 로그 인자까지 지지됨을 시사한다.
• 각 경찰이 수축을 방어하는 영역 방어 전략은 비효율적임이 입증된다. 즉, 전체 그래프를 제외한 가장 큰 수축의 크기가 그래프 크기의 로그 거듭제곱에 불과한 그래프가 존재한다.
• 논문은 가장 큰 수축(자기 자신을 제외한)의 크기가 $ 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} $ 상한의 필요성을 지지한다.