[논문 리뷰] Extensive-Form Perfect Equilibrium Computation in Two-Player Games

Gabriele Farina, Nicola Gatti|arXiv (Cornell University)|2016. 11. 15.

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

한 줄 요약

이 논문은 두 명의 플레이어가 참여하는 게임에서 광범위형 완벽균형(Extensive-Form Perfect Equilibria, EFPE)을 계산하기 위한 경로 추종 알고리즘을 제시한다. 일반합 게임에서 EFPE를 계산하는 것은 PPAD-완전이며, 0-합 게임에서는 FP에 속함을 보이며, 순서 형식(sequence form)에서 기호적 곱셈 편향을 사용하여 불완전한 제어를 다루고 선형 보완 문제를 통한 효율적 계산을 가능하게 한다.

ABSTRACT

We study the problem of computing an Extensive-Form Perfect Equilibrium (EFPE) in 2-player games. This equilibrium concept refines the Nash equilibrium requiring resilience w.r.t. a specific vanishing perturbation (representing mistakes of the players at each decision node). The scientific challenge is intrinsic to the EFPE definition: it requires a perturbation over the agent form, but the agent form is computationally inefficient, due to the presence of highly nonlinear constraints. We show that the sequence form can be exploited in a non-trivial way and that, for general-sum games, finding an EFPE is equivalent to solving a suitably perturbed linear complementarity problem. We prove that Lemke's algorithm can be applied, showing that computing an EFPE is $ extsf{PPAD}$-complete. In the notable case of zero-sum games, the problem is in $ extsf{FP}$ and can be solved by linear programming. Our algorithms also allow one to find a Nash equilibrium when players cannot perfectly control their moves, being subject to a given execution uncertainty, as is the case in most realistic physical settings.

연구 동기 및 목표

• 두 플레이어 게임에서 광범위형 완벽균형(Extensive-Form Perfect Equilibria, EFPE)을 계산하는 데 있어 계산적으로 효율적인 방법을 개발하는 것.
• 에이전트 형식에서의 비선형 제약 조건 문제를 순서 형식과 기호적 편향을 통해 재구성함으로써 해결하는 것.
• 일반합 게임에서 EFPE 계산이 PPAD-완전이며, 0-합 게임에서는 FP에 속함을 보이는 것.
• 실행 불확실성 하에서의 균형 계산을 위한 프레임워크를 제공하여 물리적 에이전트에서의 불완전한 제어를 모델링하는 것.
• 기존의 준완전균형(Quasi-Perfect Equilibria)을 위한 방법을 곱셈 편향 접근법을 사용해 EFPE로 확장하는 것.

제안 방법

• 에이전트 형식의 비선형 제약 조건을 선형 보완 문제(LCP)로 변환하기 위해 EFPE 문제를 순서 형식으로 재구성하는 것.
• 순서 형식 변수의 계수에 기호적 곱셈 편향을 도입하여 경로 추종 방법을 가능하게 하는 것.
• 수치적 편향이 가미된 LCP에 대해 Lemke의 알고리즘을 적용하여 EFPE를 계산하고, 각 반복이 다항 시간 내에 수행됨을 보장하는 것.
• 편향이 유효하며, 편향 파라미터 ε가 0에 수렴할 때 유일한 해로 수렴함을 증명하는 것.
• 0-합 게임에서는 LCP가 선형 프로그래밍(LP)으로 간소화되어 표준 LP 해법기를 통해 다항 시간 내에 해를 구할 수 있음을 보이는 것.
• LCP에서의 기저 계산을 이용하여 편향된 시스템의 해에서 직접 균형 전략을 복원하는 것.

실험 결과

연구 질문

• RQ1 두 플레이어 일반합 게임에서 광범위형 완벽균형(EFPE)을 효율적으로 계산할 수 있는가?
• RQ2 EFPE 계산 문제는 PPAD-완전한가? 그리고 Lemke의 알고리즘이 이를 해결하는 데 적용 가능한가?
• RQ3 플레이어의 불완전한 제어(실행 불확실성으로 모델링됨)는 균형 계산에 어떻게 반영될 수 있는가?
• RQ4 에이전트 형식의 비선형 제약 조건은 순서 형식을 통해 계산적으로 다룰 수 있는 형태로 효과적으로 변환될 수 있는가?
• RQ5 0-합 게임의 구조는 일반합 게임보다 더 효율적인 해법을 가능하게 하는가? 만약 그렇다면, 계산 복잡도는 어떻게 되는가?

주요 결과

• 두 플레이어 일반합 게임에서 EFPE를 계산하는 것은 PPAD-완전함을 보이며, 문제의 계산적 난이도를 입증한다.
• 두 플레이어 0-합 게임에서 EFPE 계산 문제는 다항 시간 내에 해결 가능하며, 이는 FP 복잡도 클래스에 속함을 의미한다.
• 순서 형식 계수에 대한 기호적 곱셈 편향이 경로 추종 알고리즘을 통해 EFPE를 계산할 수 있도록 가능하게 한다.
• Lemke의 알고리즘은 수치적 편향이 가미된 LCP에 적용되어 EFPE를 계산할 수 있으며, 각 반복이 다항 시간 내에 수행됨을 보장한다.
• 이 방법은 로봇이나 물리적 에이전트와 같은 실행 불확실성 하에서의 전략적 행동을 모델링하는 데 일반화될 수 있다.
• 유사한 편향 기법을 사용하여 일반합 게임에서 준완전균형을 계산하는 데 자연스럽게 확장 가능하다.