선형 시간 약한 파리티 게임 해결 알고리즘

초록

본 논문은 그래프 기반 두 플레이어 게임에서 약한 파리티 목표를 해결하기 위한 기존 O(d·m) 알고리즘을 개선하여, 우선순위 수 d가 정점 수 n과 동등하게 커져도 전체 실행 시간을 O(m)으로 보장하는 선형 시간 알고리즘을 제시한다. 핵심은 각 반복 단계에서 사용되는 어트랙터(Attractor) 연산을 전체 간선에 대해 한 번만 처리하고, 우선순위별 정점을 재배열하는 O(n) 전처리를 통해 목표 집합을 상수 시간에 얻는 것이다. 알고리즘은 메모리리스 승리 전략의 존재도 보장한다.

상세 분석

이 논문은 약한 파리티 게임(Weak‑Parity Game)의 구조적 특성을 면밀히 분석한 뒤, 기존 알고리즘의 시간 복잡도 병목을 정확히 짚어낸다. 약한 파리티 목표는 플레이가 무한히 진행되는 동안 무한히 등장하는 우선순위가 아니라, 플레이 전체에 한 번이라도 등장한 최소 우선순위의 짝·홀 여부에 따라 승패가 결정된다. 이러한 정의는 전통적인 파리티 게임보다 단순하지만, 그래프 상에서의 전략 계산은 여전히 복잡할 수 있다.

클래식 알고리즘은 우선순위 0부터 d‑1까지 순차적으로 처리하면서, 각 단계에서 현재 그래프 G_i 에서 우선순위 i에 해당하는 정점 집합 p⁻¹(i)∩S_i 를 목표 집합으로 삼아 해당 플레이어의 어트랙터 Attr_ℓ(p⁻¹(i)∩S_i, G_i)를 계산하고, 이를 승리 집합에 포함시킨 뒤 그래프에서 제거한다. 이 과정은 d번 반복되며, 매 반복마다 전체 간선 집합을 탐색하므로 최악의 경우 O(d·m) 시간이 소요된다.

논문은 두 가지 핵심 아이디어로 이를 O(m)으로 축소한다. 첫 번째는 어트랙터 연산 자체가 서로 다른 반복에서 사용되는 간선 집합이 서로 겹치지 않는다는 사실이다. 각 반복 i에서 실제로 탐색되는 간선은 E_{A_i}=E_i∩(S_i×A_i)이며, A_i는 이전 단계에서 이미 제거된 정점들을 포함하지 않는다. 따라서 모든 반복을 합친 총 탐색 간선 수는 전체 간선 |E|와 동일하고, 각 간선은 한 번만 처리된다. 이는 Lemma 1에 의해 형식적으로 증명된다.

두 번째 아이디어는 목표 집합 p⁻¹(i)∩S_i 를 O(1) 시간에 얻는 전처리이다. 정점들을 우선순위별로 연속된 구간에 배치하는 ‘리네임’ 과정을 O(n) 시간에 수행한다. 구체적으로, 우선순위 카운터 ct