혁명가와 스파이의 대결: 그래프 위의 전략적 추격전

초록

이 논문은 그래프 G 위에서 r명의 혁명가와 s명의 스파이가 번갈아 움직이며, m명 이상의 혁명가가 스파이 없이 같은 정점에 모이면 혁명가가 승리하는 게임을 연구한다. 최소 스파이 수 σ(G,m,r)를 정의하고, 트리 구조, 지배수, 무작위 그래프, 초큐브, 완전 k-분할 그래프 등에 대해 상하한을 정확히 구한다. 특히 트리와 지배수와의 관계, 무작위 그래프에서 로그 규모 전이, 초큐브에서의 강한 하한, 그리고 완전 k-분할 그래프에서의 근사식 등을 제시한다.

상세 분석

논문은 먼저 게임의 규칙을 명확히 정의한다. 매 라운드에서 혁명가는 인접 정점으로 이동하거나 머무를 수 있고, 그 뒤에 스파이도 동일한 선택을 한다. 혁명가가 m명 이상이 스파이 없이 같은 정점에 모이면 즉시 승리하고, 스파이는 이를 영원히 방지해야 한다. 여기서 σ(G,m,r)는 스파이가 승리하기 위해 필요한 최소 인원 수이다. 기본적인 상한은 r‑m+1, 하한은 ⌊r/m⌋이며, 이는 그래프의 크기 조건 |V(G)|≥r‑m+1≥⌊r/m⌋≥1 하에서 성립한다.

첫 번째 주요 결과는 특정 트리 구조를 가진 그래프에서 하한이 정확히 달성된다는 것이다. 구체적으로, G가 루트가 있는 스패닝 트리 T를 가지고, T에 속하지 않는 모든 간선이 같은 부모를 공유하는 두 정점을 연결한다면 σ(G,m,r)=⌊r/m⌋가 된다. 이는 트리의 계층 구조가 스파이의 방어를 효율적으로 배치할 수 있게 함을 의미한다.

이 결과를 이용해 지배수 γ(G)와의 관계를 도출한다. 위와 같은 트리 조건을 만족하는 그래프는 언제든지 γ(G)개의 정점으로 전체를 지배할 수 있으므로 σ(G,m,r)≤γ(G)·⌊r/m⌋가 된다. 특히 γ(G)≤m인 경우, 이 상한은 거의 최적임을 보인다.

무작위 그래프 G(n,p) (p는 상수) 에 대해서는 두 개의 임계값 c와 c′를 찾는다. r<c·ln n이면 σ는 거의 상한 r‑m+1에 가깝고, r>c′·ln n이면 σ는 하한 ⌊r/m⌋에 상수 배만큼 큰 값으로 제한된다. 이는 로그 규모의 혁명가 수가 스파이의 방어 능력을 급격히 변화시킨다는 중요한 통찰을 제공한다.

초큐브 Q_d (d≥r) 에서는 m=2일 때 σ=r‑m+1가 정확히 성립하고, m≥3일 경우 최소 r‑39m명의 스파이가 필요함을 증명한다. 이는 고차원 하이퍼큐브가 매우 높은 연결성을 가지고 있어 스파이가 혁명가의 집결을 막기 위해 많은 인원이 필요함을 보여준다.

완전 k-분할 그래프(K_{n,…,n})에 대해서는 파트 크기가 최소 2r일 때, k≥m이면 σ≈(k/(k‑1))·(r/m)라는 근사식을 얻는다. 특히 이분 그래프(k=2)에서는 σ(G,2,r)=⌈(⌊7r/2⌋‑3)/5⌉, σ(G,3,r)=⌊r/2⌋라는 정확한 식을 제시하고, 일반 m에 대해서는 (3r)/(2m)‑3 ≤ σ ≤ ((1+1/√3)r)/m 라는 상하한을 제공한다.

전체적으로 논문은 그래프 구조별로 스파이의 최소 필요 인원을 정확히 추정하거나 근사화함으로써, 그래프 이론과 추격 게임 이론을 깊이 연결한다. 트리와 지배수, 무작위성, 고차원 구조, 그리고 파티션 형태마다 서로 다른 전략적 특성이 드러나며, 이는 네트워크 보안, 정보 전파 차단, 그리고 군사 작전 시뮬레이션 등 실제 응용에도 의미 있는 통찰을 제공한다.