[논문 리뷰] On the Computation of Strategically Equivalent Rank-0 Games

Joseph L. Heyman, Abhishek Gupta|arXiv (Cornell University)|2019. 03. 31.

Game Theory and Applications인용 수 3

한 줄 요약

이 논문은 이중행렬 게임이 영합계수 게임과 전략적으로 동치인지 여부를 선형 시간 내에 판별하는 알고리즘을 제시한다. 만약 동치일 경우, 해당 영합계수 게임을 계산한다. 전략적 동치성과 행렬 질서 성질을 활용함으로써, 질서 0 게임에서 나시 균형을 더 빠르게 계산할 수 있게 되어, 이 클래스의 게임에 대해 알고리즘적 효율성이 크게 향상된다.

ABSTRACT

It has been well established that in a bimatrix game, the rank of the matrix formed by summing the payoff (or cost) matrices of the players has an impact on the runtime of the algorithms that converge to a Nash equilibrium of the game. In this paper, we devise a fast linear time algorithm that exploits strategic equivalence between bimatrix games to identify whether or not a given bimatrix game is strategically equivalent to a zero-sum game, and if it is, then we present an algorithm that computes a strategically equivalent zero-sum game.

연구 동기 및 목표

• 낮은 랭크 지ay행렬을 가진 이중행렬 게임에서 나시 균형을 찾는 계산적 과제를 해결하기 위해.
• 주어진 이중행렬 게임이 영합계수 게임과 전략적으로 동치인지 조사하기 위해.
• 해당 동치성이 존재할 경우, 전략적으로 동치인 영합계수 게임을 계산하는 효율적인 알고리즘을 개발하기 위해.
• 질서 0 게임의 구조적 성질을 활용하여 균형 계산의 실행 시간을 줄이기 위해.

제안 방법

• 두 플레이어의 지급행렬 합을 분석하여 게임의 랭크를 결정한다.
• 랭크가 0일 경우 전략적 동치성을 활용해 원래 게임을 영합계수 게임으로 변환한다.
• 행렬 분해와 랭크 분석을 활용함으로써 선형 시간 내에 작동하는 방법이다.
• 나시 균형을 유지하면서 게임을 영합계수 형태로 변환할 수 있는 변환의 존재 여부를 검사한다.
• 특정 선형 종속성이 지급행렬에 존재할 경우, 영합계수 게임과의 전략적 동치성을 나타내므로 이를 식별한다.
• 기존 게임과 전략적으로 동치이면서 영합계수인 변환된 게임을 출력한다.

실험 결과

연구 질문

• RQ1 주어진 이중행렬 게임을 전략적으로 동치인 영합계수 게임으로 변환할 수 있는가?
• RQ2 지급행렬에 대한 어떤 조건이 이러한 전략적 동치성을 결정하는가?
• RQ3 해당 동치인 영합계수 게임을 탐지하고 계산하는 선형 시간 알고리즘이 존재하는가?
• RQ4 지급행렬 합의 랭크가 이러한 동치성의 존재에 어떤 영향을 미치는가?
• RQ5 나시 균형 계산에서 이러한 동치성을 활용할 경우 어떤 계산적 이점이 있는가?

주요 결과

• 알고리즘은 이중행렬 게임이 영합계수 게임과 전략적으로 동치인지 여부를 선형 시간 내에 판별할 수 있다.
• 동치성이 존재할 경우, 효율적으로 전략적으로 동치인 영합계수 게임을 계산할 수 있다.
• 지급행렬 합의 질서 0 성질을 활용하여 신속한 탐지 및 변환을 가능하게 한다.
• 변환 과정에서 원래 게임의 모든 나시 균형을 유지한다.
• 질서 0 게임에서 균형 계산의 계산 오버헤드를 크게 줄일 수 있다.
• 결과적으로 전략적 동치성이 영합계수 게임으로서 활용될 수 있음을 보여주며, 나시 균형 계산을 가속화할 수 있다.