강력 내시 균형 검증과 탐색: 다중 협력 게임의 새로운 알고리즘

초록

이 논문은 강력 내시 균형(SNE)의 검증 문제를 다항시간(P) 안에 해결할 수 있음을 보이고, 두 명의 플레이어 게임을 대상으로 한 공간 분할(branch‑and‑bound) 알고리즘을 설계·실험한다. 또한 혼합 전략 다중 편차가 필요함을 논증하고, 기존 NE 검증과 차별되는 복잡도 구조를 제시한다.

상세 분석

본 연구는 먼저 SNE 검증 문제를 ‘전략 프로필이 약한 파레토 효율성을 만족하는가’를 확인하는 문제로 환원한다. 저자들은 이를 다중 에이전트 미니맥스 형태로 변형하고, 해당 미니맥스 문제의 행동 수가 고정된 경우(즉, 플레이어 수 n이 상수) 다항시간 알고리즘이 존재함을 기존 문헌