그래프 연산을 이용한 파리티 게임의 다항시간 해결

초록

본 논문은 파리티 게임을 풀 수 있는 다항시간 알고리즘을, 그래프 구조에 대한 세 가지 기본 연산(조인, 정점 붙이기, 정점 추가)을 적용해 확장된 그래프 클래스에 대해 제시한다. 이를 통해 완전 그래프, 완전 이분 그래프, 블록 그래프, 블록‑카쿠스 그래프 등 기존에 효율적 해결이 알려지지 않았던 그래프에서의 해결 가능성을 증명한다. 또한 승리 영역을 인식하는 문제와 실제 승리 영역을 계산하는 문제의 복잡도가 동일함을 보인다.

상세 분석

파리티 게임은 무한 플레이 동안 가장 큰 우선순위가 무한히 등장하는지의 짝수·홀수 여부에 따라 승패가 결정되는 두 명 플레이어 게임으로, 모델 검증 특히 모달 μ-계산법의 모델 체킹과 복합적인 연관성을 가진다. 현재까지 알려진 최선의 알고리즘은 서브지수적이지만, 정확한 복잡도는 미해결 문제이며, 문제는 UP·coUP에 속한다는 점이 알려져 있다. 이 논문은 구조적 그래프 이론의 접근법을 차용해, 특정 그래프 연산을 통해 기존에 다항시간으로 해결 가능한 클래스 C를 확장하는 방법을 제시한다. 구체적으로 세 가지 연산을 정의한다. 첫째, 두 그래프의 조인(join) 연산은 두 그래프의 정점 집합을 합치고, 모든 가능한 교차 간선을 추가하는 방식이다. 둘째, 정점 붙이기(pasting) 연산은 두 그래프를 하나의 공통 정점에 겹쳐 연결하는 것으로, 반복 적용 시 트리 형태의 구조를 형성한다. 셋째, 정점 추가(addition) 연산은 기존 그래프에 새로운 정점을 삽입하고, 그 정점과 기존 정점 사이에 임의의 방향 간선을 연결한다. 논문은 각각의 연산에 대해, 원래 클래스 C에서 파리티 게임을 다항시간에 해결할 수 있다면, 연산 후 생성된 그래프 클래스에서도 동일한 시간 복잡도로 해결 가능함을 증명한다. 증명은 주로 승리 영역을 유지·전파하는 불변식(invariant)과, 연산 전후의 우선순위 매핑이 변하지 않음을 이용한다. 특히 조인 연산의 경우, 두 서브게임의 승리 영역을 독립적으로 계산한 뒤, 새로 추가된 교차 간선이 승리 조건에 미치는 영향을 제한된 경우에만 재검사함으로써 전체 복잡도를 선형에 가깝게 유지한다. 정점 붙이기와 추가 연산도 유사하게, 새로운 정점이나 연결이 기존 게임의 핵심 구조를 크게 바꾸지 않음을 보이며, 재귀적 분할-정복 전략을 적용한다. 이러한 결과는 기존에 다항시간 해결이 알려진 제한된 그래프 클래스(예: 트리폭, DAG‑폭, 클리크‑폭 제한) 외에, 완전 그래프와 완전 이분 그래프와 같은 고밀도 구조에도 적용 가능함을 의미한다. 특히 완전 그래프의 경우, 모든 정점이 서로 연결된 상태에서 조인 연산을 반복 적용하면, 원래의 완전 그래프는 C에 속하므로 전체 그래프도 다항시간에 해결 가능하다. 블록 그래프와 블록‑카쿠스 그래프는 각각 블록(2‑연결 성분)과 사이클이 교차하지 않는 구조를 갖는데, 이들 역시 정점 붙이기와 조인 연산을 통해 구성될 수 있기에 동일한 알고리즘이 적용된다. 마지막으로, 논문은 승리 영역 인식 문제와 실제 승리 영역 계산 문제 사이에 복잡도 차이가 없음을 보인다. 즉, 승리 영역을 “존재한다”는 사실만을 판단하는 것이 전체 영역을 구하는 것보다 더 쉬운 문제가 아니라는 것을, 다항시간 감소를 통한 귀류 증명으로 입증한다. 이 결과는 파리티 게임의 알고리즘적 연구에 있어, 구조적 그래프 연산을 통한 클래스 확장이 실용적인 해결책을 제공할 수 있음을 강조한다.