정점 커버 수에 따른 도둑 경찰 게임의 복제수 상한

초록

본 논문은 정점 커버 수 k를 갖는 연결 그래프 G에 대해 복제수 cop(G)를 k/2^{(1‑o(1))√{log k}} 이하로 제한한다는 새로운 하위선형 상한을 제시한다. 이는 기존의 정점 수 n에 대한 상한을 정점 커버 수라는 더 작은 구조적 파라미터에 적용한 최초의 결과이며, Meyniel 추측과 연관된 여러 그래프 클래스(예: 트리폭, 표면)에도 새로운 통찰을 제공한다.

상세 분석

이 논문은 “도둑‑경찰” 게임에서 그래프의 복제수(cop number)를 정점 커버 수(vertex‑cover number)와 연결시키는 중요한 진전을 이룬다. 기존에는 Meyniel 추측이 제시하듯 복제수가 정점 수 n에 대해 O(√n)이라는 상한을 기대했으며, 현재까지는 n/2^{(1‑o(1))√{log n}}라는 하위선형 상한만 알려져 있었다. 저자들은 이 방법을 정점 커버 수 k에 그대로 옮겨, cop(G) ≤ k/2^{(1‑o(1))√{log k}} 를 증명한다.

핵심 아이디어는 두 단계로 나뉜다. 첫 번째는 “보호” 개념을 도입해, 일정한 수의 경찰이 특정 정점 집합 X를 장기적으로 방어할 수 있음을 보인다. 여기서 관찰 3은 “U를 보호하는 k명의 경찰과, G−U의 각 연결 성분 C에서 W∩V(C)를 p명의 경찰이 보호한다면, 전체 W를 k+p명의 경찰이 보호한다”는 합성 원리를 제시한다. 이는 복제수를 전체 그래프에서 부분 그래프로 재귀적으로 감소시키는 데 핵심적인 역할을 한다.

두 번째는 구체적인 보호 전략을 설계한다. Lemma 4는 한 경로(geodesic)를 한 명의 경찰이 완전히 보호할 수 있음을 이용해, 그래프의 지름이 큰 경우 긴 경로를 제거하고 나머지 부분에 대해 귀납적으로 적용한다. Lemma 5는 “반경 s 내에 X에 속한 정점이 K개 이하”라는 밀도 조건이 만족될 때, 2s·K명의 경찰이 해당 구역을 순환 순찰(patrol)하면서 언제든 로버가 침입하면 즉시 잡을 수 있음을 보인다. 이 deterministic patrol은 Lu‑Peng, Scott‑Sudakov의 확률적 방법을 보완하는 역할을 한다.

그 후, Theorem 2에서는 X를 임의의 정점 집합으로 두고, 각 성분 C의 지름과 복제수가 제한된 경우에 대한 일반적인 상한을 제시한다. 여기서 f(k,d)와 같은 복잡한 함수는 확률적 배치 전략을 정량화한 것으로, 로버가 특정 반경 안에 머무를 확률을 억제해 전체 복제수를 위의 하위선형 형태로 끌어낸다.

특히 Theorem 6은 ε>0에 대해 cop(G) ≤ ε·vc(G)+c 를 보이며, ε를 충분히 작게 잡으면 복제수가 vc(G)·polylog(vc(G)) 수준으로 제한됨을 보여준다. 이는 기존에 알려진 cop(G) ≤ vc(G) (단순 상한)보다 훨씬 강력한 결과이며, 정점 커버 수가 작을수록 복제수가 거의 상수에 가깝게 될 수 있음을 시사한다.

이러한 결과는 트리폭(k)이나 표면(genus g)과 같은 다른 파라미터와도 연관된다. 예를 들어, 트리폭 k인 그래프는 vc(G) ≤ k+1이므로, 위의 상한을 적용하면 cop(G) = O(k/2^{(1‑o(1))√{log k}})가 된다. 이는 기존에 알려진 k/2+1보다 훨씬 강한 비선형 감소를 의미한다.

마지막으로, 논문은 현재 증명된 상한이 아직 Meyniel 추측의 O(√n) 수준에 도달하지 못했지만, 정점 커버 수와 같은 구조적 파라미터에 대해 하위선형 상한을 얻은 최초의 사례라는 점에서 이론적·방법론적 의미가 크다. 앞으로는 이 기법을 다른 파라미터(예: 독립집합 크기, 최소 차수)에도 확장하거나, 상한을 더욱 강화해 O(√k) 형태에 근접시키는 연구가 기대된다.