[논문 리뷰] Settling the Complexity of Computing Two-Player Nash Equilibria

Xi Chen, Xiaotie Deng외 1명|ArXiv.org|2007. 04. 12.

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

한 줄 요약

이 논문은 두 명의 플레이어가 있는 게임에서 나시 균형을 계산하는 것이 PPAD-완전하다는 것을 입증하며, 알고리즘 게임 이론 분야에서 오랫동안 남아있던 열린 문제를 해결한다. 저자들은 Bimatrix 문제에 대해 완전 다항 시간 근사 스킴(FPTAS)이 존재하지 않음을 증명하며, PPAD가 P에 포함되지 않는 한, Bimatrix 문제에 대한 FPTAS는 존재하지 않으며, Lemke-Howson 알고리즘의 스무딩 복잡도는 PPAD 문제가 랜덤화된 다항 시간 내에 해결 가능하지 않는 한 다항식이 아님을 보였다.

ABSTRACT

We settle a long-standing open question in algorithmic game theory. We prove that Bimatrix, the problem of finding a Nash equilibrium in a two-player game, is complete for the complexity class PPAD Polynomial Parity Argument, Directed version) introduced by Papadimitriou in 1991. This is the first of a series of results concerning the complexity of Nash equilibria. In particular, we prove the following theorems: Bimatrix does not have a fully polynomial-time approximation scheme unless every problem in PPAD is solvable in polynomial time. The smoothed complexity of the classic Lemke-Howson algorithm and, in fact, of any algorithm for Bimatrix is not polynomial unless every problem in PPAD is solvable in randomized polynomial time. Our results demonstrate that, even in the simplest form of non-cooperative games, equilibrium computation and approximation are polynomial-time equivalent to fixed point computation. Our results also have two broad complexity implications in mathematical economics and operations research: Arrow-Debreu market equilibria are PPAD-hard to compute. The P-Matrix Linear Complementary Problem is computationally harder than convex programming unless every problem in PPAD is solvable in polynomial time.

연구 동기 및 목표

• 두 명의 플레이어가 있는 게임에서 나시 균형을 찾는 문제의 계산 복잡도에 관한 오랫동안 남아있던 열린 문제를 해결하기 위해.
• Bimatrix 문제의 복잡도 클래스 PPAD에 대해 완전함을 입증하기 위해.
• 두 명의 플레이어가 있는 게임에서 나시 균형을 근사하는 것이 PPAD에 속한 어떤 문제를 해결하는 것과도 같은 난이도임을 보여주기 위해.
• Lemke-Howson 알고리즘의 스무딩 복잡도를 분석하고, PPAD 문제가 랜덤화된 다항 시간 내에 해결 가능하지 않는 한 그 복잡도가 다항식이 아니라는 것을 보여주기 위해.
• 수학적 경제학 분야의 더 넓은 문제들, 예를 들어 Arrow-Debreu 시장 균형과 P-행렬 선형 보완 문제에 복잡도 결과를 확장하기 위해.

제안 방법

• 이산 고정점 문제를 통한 브라우어 고정점 정리의 계산 버전으로 Bimatrix 문제를 감소시키기 위해.
• End-of-Line 문제에서 Bimatrix로의 감소를 구성하여 PPAD-완전성을 입증하기 위해.
• PPAD-완전성 프레임워크를 활용하여 Bimatrix 문제를 해결하는 모든 알고리즘이 PPAD에 속한 어떤 문제를 해결하는 것만큼 어려워야 한다는 것을 보여주기 위해.
• Lemke-Howson 알고리즘에 스무딩 분석을 적용하여, 작은 무작위 편향이 가해진 상황에서도 그 평균 실행 시간이 초다항식으로 남아 있음을 보여주기 위해.
• PPAD가 단서 기반 존재 증명을 가진 총계 문제를 포괄한다는 사실을 활용하고, Bimatrix 문제가 이 클래스에 대해 완전함을 보여주기 위해.
• PPAD-완전성은 PPAD ⊆ P가 아닐 경우 완전 다항 시간 근사 스킴(FPTAS)이 존재하지 않음을 암시한다는 사실을 활용하기 위해.

실험 결과

연구 질문

• RQ1 두 명의 플레이어가 있는 게임에서 나시 균형을 계산하는 문제는 복잡도 클래스 PPAD에 대해 완전한가?
• RQ2 Bimatrix에 대해 완전 다항 시간 근사 스킴(FPTAS)이 존재한다면, 이는 PPAD에 속한 모든 문제들이 다항 시간 내에 해결 가능하다는 것을 의미하는가?
• RQ3 Lemke-Howson 알고리즘의 스무딩 복잡도는 다항식인가, 아니면 작은 무작위 편향이 가해진 상황에서 초다항식인가?
• RQ4 Arrow-Debreu 시장 균형은 계산상 PPAD-난이도인가?
• RQ5 PPAD가 P에 포함되지 않는 한, P-행렬 선형 보완 문제의 계산 복잡도는 볼록 프로그래밍보다 더 높은가?

주요 결과

• 두 명의 플레이어가 있는 게임에서 나시 균형을 계산하는 문제(Bimatrix)는 PPAD-완전하다.
• 모든 PPAD 문제들이 다항 시간 내에 해결 가능하지 않는 한, Bimatrix에 대해 완전 다항 시간 근사 스킴(FPTAS)이 존재하지 않는다.
• 모든 PPAD 문제가 랜덤화된 다항 시간 내에 해결 가능하지 않는 한, Lemke-Howson 알고리즘의 스무딩 복잡도는 다항식이 아니다.
• Arrow-Debreu 시장 균형은 계산상 PPAD-난이도이다.
• PPAD가 P에 포함되지 않는 한, P-행렬 선형 보완 문제의 계산 복잡도는 볼록 프로그래밍보다 더 높다.
• r명의 플레이어가 있는 나시 균형을 계산하는 문제의 복잡도는 다항 시간 내에 두 명의 플레이어가 있는 나시 균형을 계산하는 문제로 감소될 수 있으며, 비록 직접적인 감소는 아니지만.