[논문 리뷰] Complexity Results about Nash Equilibria

Vincent Conitzer, Tüomas Sandholm|ArXiv.org|2002. 05. 28.

Game Theory and Applications참고 문헌 64인용 수 217

한 줄 요약

이 논문은 비협력 게임 이론에서 핵심 문제들에 대한 기본적인 계산 복잡도 결과를 확립한다. 하나의 단일 축약을 통해, 특정 성질을 가진 내쉬 균형의 존재를 판단하는 것은 NP-난해함을 증명하며, 균형을 세는 것은 #P-난해함을, 그리고 확률적 게임에서 순수 전략 균형을 찾는 것은 PSPACE-난해함을 입증한다. 이는 대칭적이고 두 명의 플레이어가 참여하는 설정에서도 성립한다. 이러한 결과는 강력한 제약 조건 하에서도 성립하며, 게임 이론적 시스템에서 균형 계산의 본질적 복잡성을 강조한다.

ABSTRACT

Noncooperative game theory provides a normative framework for analyzing strategic interactions. However, for the toolbox to be operational, the solutions it defines will have to be computed. In this paper, we provide a single reduction that 1) demonstrates NP-hardness of determining whether Nash equilibria with certain natural properties exist, and 2) demonstrates the #P-hardness of counting Nash equilibria (or connected sets of Nash equilibria). We also show that 3) determining whether a pure-strategy Bayes-Nash equilibrium exists is NP-hard, and that 4) determining whether a pure-strategy Nash equilibrium exists in a stochastic (Markov) game is PSPACE-hard even if the game is invisible (this remains NP-hard if the game is finite). All of our hardness results hold even if there are only two players and the game is symmetric. Keywords: Nash equilibrium; game theory; computational complexity; noncooperative game theory; normal form game; stochastic game; Markov game; Bayes-Nash equilibrium; multiagent systems.

연구 동기 및 목표

• 정규형 게임에서 특정 바람직하거나 바람직하지 않은 성질을 가진 내쉬 균형이 존재하는지 여부를 판단하는 계산 복잡도를 규명하는 것.
• 게임에서 내쉬 균형의 수 또는 연결된 균형 집합의 수를 세는 문제의 복잡도를 분석하는 것.
• 베이지안 게임에서 순수 전략 베이즈-내쉬 균형이 존재하는지 여부를 판단하는 문제의 복잡도를 조사하는 것.
• 특히 은폐된 경우 또는 유한한 경우에 대해, 확률적(마르코프) 게임에서 순수 전략 내쉬 균형을 찾는 문제의 복잡도를 검토하는 것.
• 모든 난해성 결과가 강력한 제약 조건, 예를 들어 두 명의 플레이어와 대칭 게임 설정에서도 유지됨을 보여, 복잡도 경계의 강건성을 입증하는 것.

제안 방법

• 다양한 균형 존재 문제에 대한 NP-난해성을 증명하기 위해, 주기적 만족 가능성 문제(주기적 SAT)라는 NP-완전 문제에서의 단일 통합 축약을 사용한다.
• 이 축약은 특정 전략 프로파일을 가진 내쉬 균형이 존재하는지 여부가 주기적 SAT 인스턴스에서 만족 가능한 할당이 존재하는지 여부와 정확히 일치하는 정규형 게임을 구성한다.
• 동일한 구성은 주기적 SAT 공식에서의 만족 가능한 할당 수와 정확히 일치하는 유효한 균형의 수를 보여줌으로써, 균형 수를 세는 문제의 #P-난해성을 증명하는 데 확장된다.
• 확률적 게임의 경우, 축약은 플레이어의 행동이 변수 할당에 대응하고 상태 전이가 절차 조건의 만족도를 표현하는 단계들의 시퀀스로 게임을 모델링한다. 보상은 인centive 호환성을 강제하기 위해 설계된다.
• 은폐된 확률적 게임 설정에서는 플레이어가 현재 상태를 관찰할 수 없지만, 보상의 구조와 할인율의 특성 덕분에 난해성 결과가 여전히 성립함을 보장한다.
• 대칭 게임의 구조와 순수 전략 균형을 활용하여, 제약 조건이 매우 강한 설정에서도 난해성이 유지됨을 입증한다.

실험 결과

연구 질문

• RQ1 정규형 게임에서 특정 전략 프로파일이나 성질을 가진 내쉬 균형이 존재하는지 여부를 판단하는 것은 계산적으로 난이한가?
• RQ2 게임에서 내쉬 균형의 총 수(또는 연결된 균형 집합의 수)를 세는 문제의 계산 복잡도는 무엇인가?
• RQ3 베이지안 게임에서 순수 전략 베이즈-내쉬 균형이 존재하는지 여부를 결정하는 것은 NP-난해한가?
• RQ4 특히 게임이 은폐되어 있거나 유한한 경우에, 확률적(마르코프) 게임에서 순수 전략 내쉬 균형이 존재하는지 여부를 판단하는 문제의 복잡도는 무엇인가?
• RQ5 이러한 난해성 결과는 두 명의 플레이어와 대칭 게임과 같은 강력한 제약 조건 하에서도 유지되는가?

주요 결과

• 두 명의 플레이어가 참여하는 대칭 정규형 게임에서 특정 자연스러운 성질을 가진 내쉬 균형이 존재하는지 여부를 판단하는 것은 NP-난해하다.
• 게임에서 내쉬 균형의 수(또는 연결된 균형 집합의 수)를 세는 것은 #P-난해하다. 이는 대칭적이고 두 명의 플레이어가 참여하는 게임에서도 성립한다.
• 베이지안 게임에서 순수 전략 베이즈-내쉬 균형이 존재하는지 여부를 판단하는 것은 두 명의 플레이어가 있는 경우에도 NP-난해하다.
• 확률적(마르코프) 게임에서 순수 전략 내쉬 균형을 찾는 것은 은폐된 경우에도 PSPACE-난해하며, 게임이 유한한 경우에도 여전히 NP-난해하다.
• 모든 난해성 결과는 대칭적이고 두 명의 플레이어가 참여하는 게임에서도 성립함을 보여, 이 복잡도는 게임의 구조에 기인한 것이 아니라 본질적인 것이며, 내재되어 있음을 입증한다.
• 동일한 축약을 통해 내쉬 균형 존재 문제에 대한 NP-난해성과 균형 수를 세는 문제에 대한 #P-난해성이 동시에 증명되며, 하나의 구성으로 여러 복잡도 결과를 통합한다.