계급 1 게임의 지수적 나쉬 균형 수

초록

본 논문은 행렬 A와 B의 합이 계급 1인 bimatrix 게임을 구성하여, 이러한 낮은 계급에도 불구하고 2ⁿ⁻¹개의 서로 다른 나쉬 균형이 존재함을 증명한다. 이는 Kannan‑Theobald가 제기한 “계급 1 게임은 다항식 개수의 균형만 가질까?”라는 질문에 부정적인 답을 제공한다.

상세 분석

논문은 먼저 게임 (A,B)의 계급을 정의한다. 여기서 A는 상삼각 행렬이며, 원소 aᵢⱼ는 i<j일 때 2·p^{i+j}, i=j일 때 p^{2i}, i>j일 때 0으로 설정한다. B는 A의 전치이다. 이때 A+B는 열벡터 α (αᵢ = p^{i})와 β (βⱼ = 2·p^{j})의 외적 형태 αβᵀ가 되므로 계급이 정확히 1임을 확인한다.

다음으로 게임의 비퇴화성(non‑degeneracy)을 증명한다. 임의의 혼합 전략 y에 대해 지원 집합 S={j|yⱼ>0}를 정의하고, 행 i가 S에 포함되지 않을 경우 (Ay)ᵢ가 지원 내 어떤 행 t의 기대값보다 작아 최선 반응이 될 수 없음을 보인다. 이는 A가 상삼각 구조를 갖고 aᵢⱼ가 p^{i+j} 형태로 급격히 증가하기 때문에 가능한데, 특히 최소 j∈T에 대해 aᵢⱼ < a_{t j}가 성립한다. 대칭성으로 인해 열 플레이어도 동일한 논리가 적용되어, 어느 전략도 자신의 지원보다 큰 수의 순수 최선 반응을 가질 수 없으므로 게임은 비퇴화이다.

비퇴화성으로부터 모든 나쉬 균형은 행·열 전략이 동일한 지원 집합 S를 공유한다는 사실을 도출한다. 이제 임의의 비공집합 S⊆{1,…,n}에 대해, 지원이 S인 혼합 전략 y를 구성하면 (y,y)가 균형이 된다. 구체적으로, 지원의 최댓값 s에 대해 (Ay)s = a{ss} y_s = u (u는 임의의 양수, 예: 1) 로 두고 y_s를 정한다. 그 뒤 지원 내의 다른 i에 대해 (Ay)_i = u가 되도록 역으로 y_i를 계산한다. 이 과정은 지원 원소를 큰 순서부터 작은 순서로 진행하면 항상 양의 해를 제공한다. 최종적으로 y를 정규화하면 확률분포가 된다. 지원 집합의 선택이 2ⁿ⁻¹가지(공집합 제외)이므로, 게임은 정확히 2ⁿ⁻¹개의 서로 다른 나쉬 균형을 가진다.

이 결과는 Adsul·Garg·Mehta·Sohoni(2011)의 알고리즘과 연결된다. 그들은 계급 1 게임을 (A,−A+αβᵀ) 형태로 표현하고, 파라미터 λ에 대한 선형계획(LP) 문제를 이진 탐색으로 푸는 방법을 제시했다. 그러나 본 논문의 게임에서는 λ에 해당하는 초평면 xᵀα=λ과 파라미터 LP 해의 경로가 2ⁿ⁻¹번 교차하므로, 경로가 지수적으로 많은 선분을 갖는다. 이는 Murty(1980)의 파라미터 LP 예시와 유사한 구조를 보여준다.

마지막으로, 기존 연구에서 계급이 높은 게임(예: 완전 협조 게임)은 2ⁿ⁻¹개의 균형을 가질 수 있음을 알려왔으며, Quint·Shubik(2002)는 (A,A) 형태의 대칭 게임에서 균형 수가 2ⁿ⁻¹을 초과할 수 없다고 증명했다. 그러나 본 논문은 (A,B) 형태의 비대칭이면서도 A+B가 계급 1인 경우에도 동일한 상한에 도달함을 보여, 계급 1 게임이 반드시 균형 수가 적다는 직관을 깨뜨린다. 또한, 비대칭 게임을 대칭 형태로 확장하면 2·n 차원 게임에서 (2ⁿ)²개의 균형을 만들 수 있음을 언급하며, 계급 1 게임에 대한 균형 수 상한에 대한 열린 질문을 제시한다.