제약이 있는 확률 게임의 내시 균형을 수학적 프로그램으로 규정하기

초록

본 논문은 두 종류의 제약이 부여된 유한 상태·행동 확률 게임을 다룬다. 첫 번째는 전이 확률을 한 플레이어가 제어하는 두 플레이어 비제로섬 게임이며, 두 번째는 각 플레이어가 독립적인 상태 과정을 갖는 N‑플레이어 게임이다. 두 경우 모두 강한 슬레이터 조건과 비가역성 가정 하에 존재하는 정상적인 내시 균형을 특정 수학 프로그램의 전역 최소점과 일대일 대응시킨다. 특히 제약이 상대 전략에 독립적일 때는 비볼록 이차계획으로 축소되어 기존 알고리즘으로 계산이 가능함을 보인다.

상세 분석

이 연구는 제한된 확률 게임에서 내시 균형을 찾는 문제를 전통적인 고정점 접근법이 아닌, 최적화 이론의 관점에서 재구성한다. 첫 번째 모델은 ‘단일 제어자(single controller)’ 구조를 갖는 두 플레이어 비제로섬 게임으로, 플레이어 1은 구독형(constraint‑type) 제약을, 전이 확률을 제어하는 플레이어 2는 실현형(realization‑type) 제약을 가진다. 여기서 실현형 제약은 플레이어 1의 전략에 의존할 수 있다는 점이 핵심이다. 두 번째 모델은 N 명 플레이어가 각각 독립적인 마코프 체인을 따라 움직이며 평균 비용을 최소화하는 게임이다. 각 플레이어는 자신의 상태와 행동에만 의존하는 제약을 갖는다.

논문은 먼저 각 게임에 대해 ‘정상적인(stationary) 전략’ 공간을 정의하고, 강한 슬레이터 조건(모든 제약이 내부에 존재함)과 마코프 연쇄의 비가역성(모든 상태가 서로 도달 가능)이라는 두 가지 기술적 가정을 도입한다. 이 가정들은 라그랑주 승수와 KKT 조건을 이용해 게임의 균형을 수학 프로그램으로 변환하는 데 필수적이다. 구체적으로, 각 플레이어의 최적화 문제를 라그랑주 함수로 결합하고, 전체 시스템의 라그랑주 승수를 하나의 벡터로 묶어 ‘전체 라그랑주 프로그램’을 만든다. 이 프로그램의 목표 함수는 두 플레이어(또는 N 명)의 비용 가중합에 제약 위반 페널티를 더한 형태이며, 제약식은 선형(확률 분포와 기대 비용)으로 유지된다.

핵심 정리는 ‘정상적인 내시 균형 ↔ 전체 라그랑주 프로그램의 전역 최소점’이라는 일대일 대응이다. 즉, 어떤 전략 프로파일이 내시 균형이면 해당 전략과 라그랑주 승수 쌍이 프로그램을 최소화하고, 반대로 최소점이 존재하면 그에 대응하는 전략이 내시 균형이 된다. 이 결과는 기존의 비선형 방정식 시스템을 푸는 대신 전역 최적화 문제를 푸는 것으로 전환함으로써 계산적 접근성을 크게 향상시킨다.

특히 제약이 상대 전략에 독립적인 특수 경우를 분석한다. 첫 번째 모델에서 플레이어 2의 제약이 플레이어 1의 전략에 영향을 받지 않으면, 전체 라그랑주 프로그램은 비볼록 이차목적함수와 선형 제약을 갖는 ‘비볼록 이차계획(QP)’으로 축소된다. 두 번째 모델에서도 마찬가지로 한 플레이어의 제약이 다른 플레이어와 무관하면 전체 프로그램은 비볼록 QP 형태가 된다. 비볼록 QP는 전역 최적해를 찾기 위한 다양한 휴리스틱 및 분지·한계법(branch‑and‑bound) 알고리즘이 존재하므로, 실제 게임에서 내시 균형을 계산하는 실용적인 절차를 제공한다.

마지막으로 논문은 기존 연구와의 관계를 명확히 한다. 제로섬 단일 제어자 게임에 대한 결과