Extensive‑Form 게임과 폴리토프 게임에서 Proper Equilibrium의 복잡도

초록

본 논문은 Myerson이 정의한 Proper Equilibrium을 확장형 게임(EFG)과 폴리토프 게임에 적용했을 때의 계산 복잡도를 규명한다. 두 명 플레이어 EFG에서는 PPAD‑complete, 다인 플레이어 EFG에서는 FIXPₐ‑complete임을 보이며, 반면 폴리토프 게임에서는 NP‑hard임을 증명한다. 핵심은 전통적인 permutahedron 기반 교란을 회피하고, EFG에서 효율적인 교란 최적응답을 구성하는 새로운 기법이다.

상세 분석

본 연구는 Proper Equilibrium이라는 고전적 정제 개념을 두 가지 새로운 게임 모델에 적용함으로써 복잡도 이론에 중요한 공백을 메운다. 먼저, 기존에 정상형 게임에 한정됐던 PPAD와 FIXPₐ 복잡도 결과를 확장형 게임(EFG)으로 일반화한다. 저자들은 Kohlberg‑Mertens가 제시한 permutahedron 기반 교란이 전략 수가 지수적으로 늘어나는 EFG에서는 실용적이지 않음을 증명하고, 대신 “좌표 수준”에서의 교란 조건 u