[논문 리뷰] Rank-1 Games With Exponentially Many Nash Equilibria

Bernhard von Stengel|arXiv (Cornell University)|2012. 11. 11.

Game Theory and Applications참고 문헌 9인용 수 6

한 줄 요약

이 논문은 랭크-1 지급 행렬을 가진 비퇴화적인 $n \times n$ 이분법 게임의 가족을 구성하여 정확히 $2^n - 1$ 개의 내쉬 균형을 가짐을 보이며, 이는 랭크-1 게임이 지수적으로 많은 균형을 가질 수 있음을 시사한다. 구성은 지급 행렬 $A$ 와 $B = A^T$ 가 상삼각행렬이며 지수적으로 증가하는 요소를 가지며, $A+B$ 가 랭크 1이 되도록 하여, 지지기반 혼합 전략을 통한 재귀적 전략 구성이 가능하게 하며, 이로 인해 지수적으로 많은 균형이 유도된다.

ABSTRACT

The rank of a bimatrix game (A,B) is the rank of the matrix A+B. We give a construction of rank-1 games with exponentially many equilibria, which answers an open problem by Kannan and Theobald (2010).

연구 동기 및 목표

• 칸난과 테오발드(2010)가 제기한 열린 문제를 해결하기 위해, 랭크-1 게임이 지수적으로 많은 내쉬 균형을 가질 수 있는지 여부를 밝히는 것.
• 랭크-1 지급 행렬을 가진 비퇴화적인 이분법 게임의 명시적 예를 구성하여 지수적인 수의 내쉬 균형을 보이는 것.
• 랭크-1 게임에서 균형의 수가 $2^n - 1$ 만큼 증가할 수 있음을 보이며, 이는 비퇴화 게임에서 알려진 최대값과 일치함을 보여주는 것.
• 랭크-1 게임의 매개변수 선형계획법 알고리즘에서 해의 경로가 지수적으로 길어질 수 있음을 보이며, 이는 지수적인 수의 균형 존재 때문임을 밝히는 것.

제안 방법

• 지급 행렬 $A$ 와 $B = A^T$ 를 가진 $n \times n$ 이분법 게임을 정의하며, $A$ 는 상삼각행렬이며 $j > i$ 일 때 $a_{ij} = 2p^{i+j}$, $a_{ii} = p^{2i}$, $j < i$ 일 때 $a_{ij} = 0$ 이다.
• $A + B = \alpha \beta^T$ 를 증명하며, $\alpha_i = p^i$, $\beta_j = 2p^j$ 이므로 $A + B$ 는 랭크 1을 가짐을 보인다.
• 지지집합 $S \subseteq \{1, \dots, n\}$ 을 가진 혼합 전략 $y$ 를 구성하며, 가장 큰 색인 $s = \max S$ 로 시작하여 재귀적으로 $(Ay)_i = u$ 를 $i \in S$ 에 대해 풀어 $y_i$ 를 결정한다.
• 모든 $i \in S$ 에 대해 $y_i > 0$ 이고, 그 외에는 $y_i = 0$ 이며, 이를 정규화하여 유효한 혼합 전략 $y$ 를 확보한다.
• 지지집합 내에서 기대 지급이 동일하고 외부에서는 낮은 지급을 받기 때문에, 각 비어있지 않은 $S$ 에 대해 $(y, y)$ 가 내쉬 균형임을 검증한다.
• 게임의 대칭성과 비퇴화성 덕분에 각 지지집합 $S$ 가 정확히 하나의 대칭 균형을 유도함을 보인다.

실험 결과

연구 질문

• RQ1 랭크-1 이분법 게임이 지수적으로 많은 내쉬 균형을 가질 수 있는가?
• RQ2 랭크-1 게임에서 내쉬 균형의 수는 $n$ 에 대해 다항식으로 제한되는가?
• RQ3 지수적으로 많은 균형이 존재한다는 것은 매개변수 선형계획법 알고리즘에서 랭크-1 게임의 해의 경로가 지수적으로 길어짐을 의미하는가?
• RQ4 많은 균형을 가진 게임의 구성은 알려진 매개변수 선형계획법 예제들로부터 체계적으로 유도될 수 있는가?

주요 결과

• 구성된 $n \times n$ 이분법 게임은 순수 전략 집합의 비어있지 않은 모든 부분집합에 대해 정확히 $2^n - 1$ 개의 내쉬 균형을 가진다.
• 게임은 비퇴화적이며, 이는 어떤 혼합 전략도 그 지지집합의 크기보다 더 많은 순수 최적 반응을 가지지 않음을 의미하며, 이로 인해 모든 균형이 고립되어 있음을 보장한다.
• $A + B$ 는 랭크 1을 가지며, 문제의 요구 조건인 랭크-1 게임임을 확인한다.
• 균형의 수는 동일한 지급 행렬을 가진 대칭 게임의 이론적 상한과 일치하지만, $n \geq 6$ 일 때 일반적인 비퇴화 게임의 균형 수를 초과한다.
• Adsul 등(2011)에서 사용된 매개변수 선형계획법의 해의 경로는 지수적인 수의 균형이 존재하므로 $2^n$ 개의 구간을 가져야 하며, 이는 머티의(1980) 지수적 경로 예제와 일치한다.