비용 파리티·스트리트 게임의 전략과 복잡도

초록

본 논문은 유한 그래프 위에서 간선에 비용을 부여한 두 명의 플레이어 게임을 연구한다. 요청과 응답 사이의 비용이 제한되는 cost‑parity와 cost‑Streett 승리 조건을 정의하고, 각각에 대해 첫 번째 플레이어의 전략 존재성 및 복잡도 결과를 제시한다. 파리티 게임에서는 위치 전략이 충분하고 승자 판정이 NP∩coNP에 속한다. 스트리트 게임에서는 유한 상태 전략이 필요하고 승자 판정이 EXPTIME‑complete임을 보인다. 두 경우 모두 고전적인 파리티·스트리트 게임을 선형 개수만큼 호출해 해결할 수 있다.

상세 요약

논문은 먼저 비용이 할당된 유한 그래프 G=(V,E,c) 위에서 두 종류의 승리 조건을 정의한다. cost‑parity는 전통적인 parity 조건에 “요청(odd 색)과 그에 대응하는 응답(더 큰 짝수 색) 사이의 누적 비용이 유한한 상한값 이하”라는 제약을 추가한다. 이는 기존의 ω‑regular parity와 finitary parity를 동시에 일반화한다. cost‑Streett는 Streett 쌍 (R_i,S_i) 각각에 대해 요청 집합 R_i가 무한히 발생하면, 대응하는 응답 집합 S_i가 일정 비용 이내에 나타나야 한다는 요구를 포함한다. 이러한 정의는 비용 제한이 없는 고전적 Streett와 finitary Streett를 모두 포괄한다.

파리티 게임에 대해 저자는 첫 번째 플레이어가 위치 전략(메모리 없이 현재 정점만으로 결정)으로 승리할 수 있음을 증명한다. 핵심 아이디어는 비용 제한을 고려한 “우선순위 감소” 메커니즘을 이용해, 무한히 반복되는 사이클에서 가장 높은 우선순위가 짝수이며 그 사이클의 총 비용이 제한을 초과하지 않으면 승리한다는 점이다. 이를 통해 승자 판정 문제를 기존 parity 게임의 결정 절차에 비용 검증 단계만 추가하는 형태로 변환한다. 복잡도 측면에서는 비용 검증이 다항식 시간에 가능하므로, 전체 알고리즘이 NP와 coNP에 동시에 속함을 보인다.

스트리트 게임에서는 상황이 더 복잡해진다. cost‑Streett 조건은 여러 요청‑응답 쌍을 동시에 만족시켜야 하므로, 단순 위치 전략은 충분하지 않다. 저자는 유한 상태 자동자를 이용해 각 요청‑응답 쌍에 대한 비용 카운터를 관리하는 전략을 구성한다. 이 자동자는 요청이 발생하면 해당 카운터를 초기화하고, 응답이 나타날 때까지 누적 비용을 추적한다. 모든 카운터가 유한한 상한 내에서 응답을 받으면 승리한다. 따라서 첫 번째 플레이어는 유한 메모리를 필요로 하지만, 무한 메모리는 필요하지 않다.

복잡도 분석에서는 cost‑Streett 게임을 고전적인 Streett 게임의 인스턴스로 변환하는 방법을 제시한다. 각 비용 제한을 만족하도록 그래프를 복제하고, 비용 초과 시 패배 상태로 전이시키는 구조를 만든다. 이렇게 변환된 게임은 기존 Streett 게임 해결 알고리즘을 적용하면 되며, 변환 과정이 선형적으로 늘어나므로 전체 복잡도는 EXPTIME에 머문다. 또한, EXPTIME‑hardness는 고전적인 Streett 게임의 복잡도와 동일하게 증명한다.

마지막으로, 두 게임 모두 상대 플레이어(두 번째 플레이어)는 무한 메모리가 필요할 수 있음을 보인다. 이는 비용 제한이 없는 경우와 달리, 상대가 비용 초과를 강제하기 위해 무한히 늘어나는 카운터를 활용할 수 있기 때문이다. 이러한 메모리 요구 차이는 게임 이론에서 전략 복잡도 구분에 중요한 의미를 가진다.