[논문 리뷰] The complexity of computing a (quasi-)perfect equilibrium for an n-player extensive form game of perfect recall

Kousha Etessami|arXiv (Cornell University)|2014. 08. 06.

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

한 줄 요약

이 논문은 완전 기억을 가진 n인자 광역형 게임에서 나시 균형의 다양한 정교화 — 예를 들어 순차적, 완전성, 준완전성 균형 — 를 계산하거나 근사하는 것은 복잡도 클래스 FIXP_a에 대해 완전함을 입증한다. 또한 δ-almost ε-(준)완전성 균형을 근사하는 것은 PPAD-완전함을 보이며, 이는 정규형 게임에서의 알려진 복잡도 결과를 세 명 이상의 플레이어를 가진 광역형 설정에서 더 풍부한 균형 정교화로 확장한다.

ABSTRACT

We study the complexity of computing or approximating refinements of Nash equilibrium for a given finite n-player extensive form game of perfect recall (EFGPR), where n >= 3. Our results apply to a number of well-studied refinements, including sequential (SE), extensive-form perfect (PE), and quasi-perfect equilibrium (QPE). These refine Nash and subgame-perfect equilibrium. Of these, the most refined notions are PE and QPE. By classic results, all these equilibria exist in any EFGPR. We show that, for all these notions of equilibrium, approximating an equilibrium for a given EFGPR, to within a given desired precision, is FIXP_a-complete. We also consider the complexity of corresponding "almost" equilibrium notions, and show that they are PPAD-complete. In particular, we define "delta-almost epsilon-(quasi-)perfect" equilibrium, and show computing one is PPAD-complete. We show these notions refine "delta-almost subgame-perfect equilibrium" for EFGPRs, which is PPAD-complete. Thus, approximating one such (delta-almost) equilibrium for n-player EFGPRs, n >= 3, is P-time equivalent to approximating a (delta-almost) NE for a normal form game (NFG) with 3 or more players. NFGs are trivially encodable as EFGPRs without blowup in size. Thus our results extend the celebrated complexity results for NFGs to refinements of equilibrium in the more general setting of EFGPRs. For 2-player EFGPRs, analogous complexity results follow from the algorithms of Koller, Megiddo, and von Stengel (1996), von Stengel, van den Elzen, and Talman (2002), and Miltersen and Soerensen (2010). For n-player EFGPRs, an analogous result for Nash and subgame-perfect equilibrium was given by Daskalakis, Fabrikant, and Papadimitriou (2006). However, no analogous results were known for the more refined notions of equilibrium for EFGPRs with 3 or more players.

연구 동기 및 목표

• 완전 기억을 가진 n인자 광역형 게임(EFGPR)에서의 정교화된 균형을 계산하거나 근사하는 데 필요한 계산 복잡도를 규명하는 것, 여기서 n ≥ 3이다.
• 정규형 게임에서의 나시 균형에 대한 알려진 복잡도 결과를 EFGPR에서 더 정교한 균형 개념으로 확장하는 것.
• 순차적, 완전성, 준완전성 균형을 근사하는 것이 FIXP_a-완전임을 입증하고, 그 '거의' 형태는 PPAD-완전임을 밝혀내는 것.
• 대수적 고정점 함수를 통한 경로 추적 알고리즘의 계산 가능성을 탐색하는 것.
• EFGPR에서의 적절한 균형과 준적절한 균형에 대한 열린 질문들을 특정하고, 잠재적인 복잡도 클래스를 규명하는 것.

제안 방법

• 논문은 n인자 EFGPR에서의 균형 조건을 모델링하기 위해 대수적 고정점 공식을 사용하며, FIXP_a 복잡도 클래스의 도구를 활용한다.
• EFGPR에서 (준)완전성 균형을 계산하는 데의 난이도를 입증하기 위해 알려진 FIXP_a-완전 문제로부터의 환원을 구축한다.
• δ-almost ε-(준)완전성 균형을 정의하여 이산 경로 추적 알고리즘을 가능하게 하는 완화된 해법 개념을 도입한다.
• 이 문제를 δ-almost 하위게임 완전성 균형과 연결함으로써 PPAD-완전성 논증을 적용한다. 이는 이미 PPAD-완전함이 알려진 바가 있다.
• 이전의 경로 추적 알고리즘 연구(예: Lemke-Howson, Scarf 유사 방법)를 활용하고, 이를 EFGPR의 대수적 구조에 맞게 적응시킨다.
• 정규형 게임을 EFGPR로 크기 증가 없이 간단히 인코딩할 수 있음을 이용하여, 정규형에서의 복잡도 결과를 광역형으로 이전한다.

실험 결과

연구 질문

• RQ1 n ≥ 3인 n인자 EFGPR에서 (준)완전성 균형을 계산하는 것은 계산적으로 어려운가? 만약 그렇다면 어떤 복잡도 클래스에 속하는가?
• RQ2 δ-almost ε-(준)완전성 균형은 효율적으로 계산할 수 있으며, 그 복잡도 클래스는 무엇인가?
• RQ3 EFGPR에서의 균형 정교화의 복잡도 클래스는 정규형 게임에서의 것과 어떻게 비교되는가?
• RQ4 EFGPR에서의 적절한 균형과 준적절한 균형을 근사하는 데에도 FIXP_a-완전성이 성립하는가?
• RQ5 경로 추적 알고리즘에서 PPAD-완전성을 보장할 수 있는 '거의' 적절한 균형의 올바른 정의는 무엇인가?

주요 결과

• n ≥ 3인 n인자 EFGPR에서 순차적, 광역형 완전성, 또는 준완전성 균형을 계산하거나 근사하는 것은 FIXP_a-완전하다.
• n인자 EFGPR에서 δ-almost ε-(준)완전성 균형을 근사하는 것은 PPAD-완전하다.
• 이러한 정교화된 균형을 근사하는 데의 복잡도는 3인자 정규형 게임에서 δ-almost 나시 균형을 근사하는 것과 P-시간 등가이다.
• 결과는 정규형 게임에서의 나시 균형에 대한 유명한 복잡도 결과를 광역형 게임에서 더 정교한 해법 개념으로 확장한다.
• 논문은 대수적 고정점 함수를 기반으로 한 Scarf 유사 이산 경로 추적 알고리즘이 거의 (준)완전성 균형을 계산하는 데 실용적인 방법을 제공할 수 있음을 제안한다.
• 저자들은 EFGPR에서의 적절한 균형과 준적절한 균형을 근사하는 데에도 FIXP_a-완전성이 성립할 것이라 추측하지만, PPAD에 대해 적합한 완화 정의는 아직 열려있다.