[논문 리뷰] A new bound for the cops and robbers problem

Alex Scott, Benny Sudakov|arXiv (Cornell University)|2010. 04. 12.

Advanced Graph Theory Research참고 문헌 10인용 수 11

한 줄 요약

이 논문은 연결된 n개 정점 그래프의 코프 수에 대해 새로운 상한을 확립하며, 이는 이전의 상한보다 개선된 $ n2^{-(1+o(1))\sqrt{\log n}} $ 이하임을 증명한다. 증명은 고직경 그래프에 대한 경로 삭제 전략과 확률적 농도 집중을 이용한 난수적 코프 배치 논증을 결합하여, 이전 결과보다 상당한 비다항식 개선을 이룬다.

ABSTRACT

In this short paper we study the game of cops and robbers, which is played on the vertices of some fixed graph $G$. Cops and a robber are allowed to move along the edges of $G$ and the goal of cops is to capture the robber. The cop number $c(G)$ of $G$ is the minimum number of cops required to win the game. Meyniel conjectured a long time ago that $O(\sqrt{n})$ cops are enough for any connected $G$ on $n$ vertices. Improving several previous results, we prove that the cop number of $n$-vertex graph is at most $n 2^{-(1+o(1))\sqrt{\log n}}$.

연구 동기 및 목표

• 연결된 n개 정점 그래프에 대한 코프 수 $ c(G) $ 에 대한 상한을 향상시키기.
• Meyniel의 추측인 $ c(G) = O(\sqrt{n}) $ 를 더 강력한 비다항식 상한을 제공함으로써 다루기.
• 소형 직경을 가진 그래프에 대해 결정론적 경로 제어와 난수적 코프 배치를 조합한 새로운 전략 개발하기.
• 코프 수가 $ n2^{-(1+o(1))\sqrt{\log n}} $ 이하로 유계임을 증명하여 이전의 $ O(n / \log n) $ 상한보다 상당히 향상된 결과 도출하기.

제안 방법

• 결정론적 전략 사용: 가장 긴 최단경로 $ P $ 에 한 명의 코프를 배치하여 도둑의 접근을 차단하고, $ G - P $ 에 대해 재귀적으로 적용하여 문제 크기를 줄이기.
• 직경 $ D \leq 2^{\sqrt{\log n}} / \log^3 n $ 인 그래프에 대해서는 $ t+1 $ 개의 난수 부분집합 $ \mathcal{C}_1, \dots, \mathcal{C}_{t+1} $ 에 대해 난수적 코프 배치를 적용하며, 각 정점은 독립적으로 확률 $ (\log n)^2 2^{-\sqrt{\log n}} $ 로 포함된다.
• Chernoff 유형의 농도 집중 불등식을 활용하여, 고도의 확률로 사용된 총 코프 수가 $ n(\log n)^3 2^{-\sqrt{\log n}} $ 이하임을 보여주기.
• 코프의 이동을 시뮬레이션하기 위해 재귀적 집합 $ A_i, D_i $ 를 정의: $ D_i $ 는 $ A_i $ 에서 $ 2^{i-1} $ 스텝 이내로 도달할 수 있는 정점의 집합이며, 코프는 $ \mathcal{C}_i $ 에 배치되어 $ D_i $ 를 커버한다.
• 핵심 주장 활용: 임의의 작은 집합 $ A $ 에 대해 $ |B(A, 2^i)| \geq 2^{\sqrt{\log n}} |A| $ 이면, 고도의 확률로 $ |B(A, 2^i) \cap \mathcal{C}_j| \geq |A| $ 를 만족하여 커버리지 보장.
• 직경 기반의 경우 분할과 로그 항목의 渐近 분석을 이용하여 귀납법으로 코프 수가 $ f(n) = 2n(\log n)^3 2^{-\sqrt{\log n}} $ 이하로 유계임을 증명한다.

실험 결과

연구 질문

• RQ1 n개 정점 그래프의 코프 수는 $ O(n / \log n) $ 보다 훨씬 작은 함수로 유계로 간주될 수 있는가, 특히 $ O(\sqrt{n}) $ 에 가까운가?
• RQ2 특히 직경이 작은 그래프의 경우, 코프 수에 대한 최선의 가능한 상한은 무엇인가?
• RQ3 난수적 코프 배치 전략이 전체 시야 없이도 유한 직경을 가진 그래프에서 도둑의 이동을 효과적으로 통제할 수 있는가?
• RQ4 경로 삭제 방법과 확률 기법을 어떻게 조합하여 코프 수 상한에 대해 비다항식 개선을 이룰 수 있는가?
• RQ5 도둑이 보이지 않는 경우에도 이 전략이 효과를 유지할 수 있으며, 반복적 추측과 난수 이동을 결합하여 다항식 기대 시간 내에 도둑을 붙잡을 수 있는가?

주요 결과

• 모든 연결된 n개 정점 그래프의 코프 수는 최대 $ n2^{-(1+o(1))\sqrt{\log n}} $ 이며, 이는 이전의 상한보다 상당한 개선을 나타낸다.
• 직경이 $ 2^{\sqrt{\log n}} / \log^3 n $ 이하인 그래프에 대해서는 코프 수가 $ n(\log n)^3 2^{-\sqrt{\log n}} $ 이하이며, 이는 $ t+1 $ 개의 난수 부분집합에 대한 난수적 코프 배치로 도달된다.
• 증명은 재귀 전략을 사용한다: 가장 긴 최단경로에 한 명의 코프를 배치하여 도둑의 접근을 차단하고, 나머지 그래프에 대해 재귀적으로 적용하여 문제 크기를 줄인다.
• 난수적 코프 전략은 고도의 확률로, $ 2^{i-1} $ 스텝 이내의 모든 가능한 도둑 위치를 커버할 수 있음을 보장하며, 이는 농도 부등식을 통해 확보된다.
• 귀납적 유계 $ f(n) = 2n(\log n)^3 2^{-\sqrt{\log n}} $ 는 귀납 단계를 닫는 데에 충분히 날카로워 주요 정리를 증명한다.
• 이 전략은 보이지 않는 도둑에게도 효과적이며, 반복적 추측과 난수 이동을 결합하면 도둑을 붙잡는 데에 다항식 기대 시간 내에 수행 가능하다.