빠른 도둑이 있는 경찰‑도둑 게임의 복잡성 연구

초록

본 논문은 경찰‑도둑 게임에서 도둑이 한 턴에 제한 없이 이동할 수 있는 변형을 다룬다. 구간 그래프에서는 필요한 경찰 수가 정점 수의 제곱근 수준으로 제한됨을 보이고, 3배 근사 알고리즘을 제시한다. 반면, 일부 코드얼 그래프에서는 경찰 수가 정점 수에 비례하지만 로그因子가 붙는 하한을 가진다. 또한 트리폭과 최대 차수를 이용한 일반적인 하한을 도출해, 평면 그래프와 초입방체 그래프에 대한 정확한 상·하한을 얻는다.

상세 분석

이 논문은 기존의 “경찰‑도둑” 게임을 확장하여, 도둑이 자신의 턴에 한 번에 임의의 경로를 따라 이동할 수 있는 모델을 제시한다(속도 무제한). 핵심 파라미터 c₍∞₎(G)는 이러한 변형에서 그래프 G를 완전히 제압하기 위해 필요한 최소 경찰 수를 의미한다. 먼저 구간 그래프에 대해 c₍∞₎(G)=O(√|V|)임을 증명한다. 구간 그래프는 정점들을 실선 구간으로 표현할 수 있기 때문에, 각 구간의 겹침 구조를 이용해 “큰 구간”을 중심으로 경찰을 배치하면 도둑이 큰 구간을 가로질러 이동하는 것을 방지할 수 있다. 이때 필요한 경찰 수는 구간의 최대 중첩 정도와 정점 수의 제곱근 사이에 비례함을 보인다. 또한, 구간 그래프에서 c₍∞₎(G)를 정확히 계산하는 것이 NP‑hard임을 이용해, 3배 근사 알고리즘을 다항시간에 구현한다. 이 알고리즘은 구간을 길이 순으로 정렬한 뒤, 일정 간격마다 경찰을 배치하고 남은 구간에 대해 재귀적으로 처리하는 방식이다.

다음으로 코드얼 그래프에 대한 하한을 제시한다. 임의의 n‑vertex 코드얼 그래프 G에 대해 c₍∞₎(G)=Ω(n/ log n)인 경우가 존재함을 보인다. 이는 코드얼 그래프가 트리폭이 크면서도 클러스터링 계수가 낮은 구조를 가질 수 있음을 이용한다. 구체적으로, 큰 완전 이분 그래프 K_{⌊n/2⌋,⌈n/2⌉}를 포함하는 코드얼 그래프를 구성하고, 도둑이 양쪽 파티션 사이를 자유롭게 오가며 경찰이 차단하기 어려운 상황을 만든다. 이때 경찰이 차단하려면 거의 모든 정점을 차지해야 하므로, 필요 경찰 수는 n/ log n 수준으로 하한이 설정된다.

일반 그래프에 대해서는 트리폭 tw(G)와 최대 차수 Δ(G) 사이의 관계를 이용해 기본적인 하한을 도출한다. 논문은 tw(G)+1 ≤ (Δ(G)+1)·c₍∞₎(G)임을 증명한다. 증명은 트리분해의 정의와, 트리폭이 k인 경우 그래프를 k+1개의 “가상 클러스터”로 나눌 수 있다는 사실을 이용한다. 각 클러스터에 대해 경찰이 최소 한 명씩 배치되지 않으면, 도둑이 해당 클러스터 내부에서 무한히 이동할 수 있음을 보인다. 따라서 트리폭이 크면 그만큼 많은 경찰이 필요함을 정량화한다.

이 하한을 바탕으로 두 가지 중요한 응용을 얻는다. 첫째, 평면 그래프(또는 고정된 에이펙스 마이너를 포함하지 않는 그래프)에서는 트리폭이 O(√n) 수준으로 제한되므로, c₍∞₎(G)=Θ(tw(G))가 된다. 즉, 평면 그래프에서는 트리폭과 경찰 수가 상수 배 차이만큼 차이 난다. 이를 이용해 기존의 트리폭 근사 알고리즘을 적용하면, 평면 그래프에 대해 c₍∞₎(G)를 O(1) 배 정확도로 계산할 수 있다.

둘째, m‑차원 초입방체 Q_m에 대해 상·하한을 정확히 맞춘다. 초입방체는 2^m개의 정점과 m·2^{m‑1}개의 간선으로 구성되며, 최대 차수가 m이다. 논문은 상수 η₁, η₂>0가 존재해
η₁·2^m/(m√m) ≤ c₍∞₎(Q_m) ≤ η₂·2^m/m
임을 증명한다. 하한은 초입방체의 높은 차원성으로 인해, 도둑이 한 번에 많은 정점을 가로질러 이동할 수 있음을 이용한다. 상한은 각 차원마다 일정한 간격으로 경찰을 배치해, 도둑이 특정 차원을 통과하려면 반드시 경찰이 있는 정점에 부딪히게 만드는 전략을 구성함으로써 얻는다.

전체적으로 이 논문은 “무제한 속도 도둑”이라는 새로운 게임 모델을 통해, 그래프 구조와 복잡도 사이의 미묘한 관계를 밝힌다. 구간 그래프와 평면 그래프에서는 다항시간 근사 알고리즘을 제공하고, 코드얼 그래프와 초입방체에서는 강력한 상·하한을 제시함으로써, 다양한 그래프 클래스에서 경찰 수의 성장률을 정확히 파악한다. 또한 트리폭과 최대 차도를 연결한 일반 하한은 향후 다른 그래프 파라미터와의 관계를 탐구하는 데 유용한 도구가 될 것이다.