오메가 자동 선호를 이용한 게임 이론의 새로운 접근

초록

이 논문은 플레이어의 선호를 결정론적 파리티 자동기로 정의된 ω‑자동 관계로 모델링한 다인턴턴턴 기반 그래프 게임을 연구한다. 제로섬 상황에서의 임계값 문제와 가치 집합을 교대 파리티 자동기(APW)로 표현함으로써 복잡도 분석을 수행하고, 다인 게임에서 내시 균형과 협력·비협력 합리적 합성 문제의 복잡도를 정확히 규명한다.

상세 분석

본 연구는 기존의 보상 함수 기반 게임 분석을 넘어, 플레이어 선호를 ω‑자동 관계라는 형식 언어로 추상화한다는 점에서 혁신적이다. ω‑자동 관계는 두 무한 경로를 동시 읽어들여 한 경로가 다른 경로보다 선호되는지를 결정하는 결정론적 파리티 자동기(DPW)로 표현되며, 이는 전통적인 총선순위(preorder)나 부분선순위와 달리 순환적·비전형적 선호까지 포괄한다. 논문은 먼저 2인 제로섬 게임을 고려한다. 여기서 플레이어 1은 관계 ⋉를, 플레이어 2는 그 보완 관계를 사용한다. 가치(value) 개념을 “플레이어 1이 보장할 수 있는 경로들의 집합”으로 정의하고, 이 집합이 ω‑정규 언어임을 보인다. 핵심은 가치 집합을 다항식 크기의 교대 파리티 자동기(APW)로 구성하는 정리 5이며, 이는 기존의 스칼라 가치(예: 평균 보상)와 달리 집합 형태의 가치가 자동적으로 인식될 수 있음을 증명한다. 이를 기반으로 임계값 문제(주어진 라소 경로를 초과할 수 있는지 여부), 최적 전략 존재 여부, 주어진 메일리 기계가 최적인지 검증하는 문제들의 복잡도를 각각 PSPACE‑complete 혹은 EXPTIME‑complete 등으로 정확히 규정한다(정리 6‑7). 또한, 두 플레이어의 가치가 서로 보완 관계임을 정리 9를 통해 확인함으로써 제로섬 구조가 자동적으로 유지됨을 보인다.

다인 게임으로 확장하면서 논문은 내시 균형(Nash equilibrium, NE) 결과 집합을 각 플레이어의 반대 연합 가치들의 교집합으로 표현한다. 이 교집합 역시 다항식 크기의 APW로 인식 가능함을 정리 12에서 제시하고, 이를 이용해 NE 존재 여부와 제약이 있는 NE 존재 문제를 PSPACE‑complete으로 정리 13‑14에 명시한다. 이는 기존 연구에서 제시된 2EXPTIME 상한을 크게 낮춘 결과이다.

마지막으로 합리적 합성(rational synthesis) 문제를 다룬다. 협력적 합성에서는 시스템이 환경이 협력적인 NE를 선택한다고 가정하고, 비협력적 합성에서는 모든 NE에 대해 사양을 만족해야 한다. 자동화된 가치와 APW 기반 접근을 통해 협력적 합성은 PSPACE‑complete임을, 비협력적 합성은 라소 경로 제약 하에서 결정 불가능함을 정리 18에 증명한다. 또한, 주어진 메일리 전략이 두 합성 문제를 만족하는지 검증하는 문제 역시 PSPACE‑complete(정리 19)임을 보여, 자동화된 선호 모델이 복잡도 경계에 미치는 영향을 명확히 드러낸다. 전체적으로 자동 이론, 게임 이론, 합성 이론을 통합한 방법론을 제공하며, ω‑자동 선호가 갖는 일반성과 표현력을 활용해 기존의 수치적·논리적 목표를 초월하는 폭넓은 게임 분석을 가능하게 한다.