[논문 리뷰] Computational Complexity of Approximate Nash Equilibrium in Large Games

Aviad Rubinstein|arXiv (Cornell University)|2014. 05. 02.

Game Theory and Applications참고 문헌 12인용 수 6

한 줄 요약

이 논문은 모든 상수 $\epsilon > 0$ 에 대해, 순수 균형이 존재하는 경우조차도, 많은 플레이어를 가진 큰 요약형 게임에서 $\epsilon$-내쉬 균형을 계산하는 것은 $\mathsf{PPAD}$-하드임을 입증한다. 증명은 고정점 근사화 문제로의 축소를 통해 수행되며, 회로 기반 수익 구조와 전략 지지 집합의 확률적 분석을 활용한다.

ABSTRACT

We prove that finding an epsilon-Nash equilibrium in a succinctly representable game with many players is PPAD-hard for constant epsilon. Our proof uses succinct games, i.e. games whose payoff function is represented by a circuit. Our techniques build on a recent query complexity lower bound by Babichenko.

연구 동기 및 목표

• 많은 플레이어를 가진 큰 게임에서 근사 내쉬 균형을 찾는 계산 복잡도를 규명하는 것.
• 내쉬 균형 계산에 대해 다항 시간 근사 스킴(PTAS)이 존재하는지 여부라는 열린 문제를 다루는 것.
• 순수 균형이 존재하는 바늘에도 불구하고, 요약형 게임에서 덧셈적 $\epsilon$-내쉬 균형의 근사 불가능성을 입증하는 것.
• 두 플레이어 게임을 넘어서, 압축 표현을 가진 다수 플레이어 설정으로 하드성 결과를 확장하는 것.

제안 방법

• 단위 입방체 위에서 $M$-립시츠 연속 함수의 고정점 근사화 문제로 $\epsilon$-내쉬 균형을 찾는 문제를 축소한다.
• 두 그룹으로 구성된 게임을 구성한다: 한 그룹은 다른 그룹의 행동을 모방하고, 두 번째 그룹은 첫 번째 그룹의 행동에 함수 $f$ 를 적용한 결과를 모방하려 한다.
• 분산과 기대값의 경계를 사용하여 $\epsilon$-내쉬 균형에서 전략 지지 집합이 $1/k$ 간격 내의 이산 값으로 제약됨을 보인다.
• 함수 $f$ 의 리프시츠 성질을 활용하여, $\epsilon = 3/(4k^2)$ 인 $\epsilon$-내쉬 균형이 존재할 경우, 거리 $\frac{3+M}{k}$ 이내의 $f$ 의 근사 고정점을 제공함을 보인다.
• 질의 복잡도 기법(Babichenko [1])과 브라우어 고정점 계산(Hirsch 등 [12])을 활용하여 하드성 결과를 확립한다.
• 전략 공간이 지수적으로 크지만 작은 회로를 통해 수익이 계산되는 회로 기반 수익 함수를 사용하여 요약형 게임을 모델링한다.

실험 결과

연구 질문

• RQ1 모든 상수 $\epsilon > 0$ 에 대해, 많은 플레이어를 가진 큰 게임에서 $\epsilon$-내쉬 균형을 찾는 것은 $\mathsf{PPAD}$-하드인가?
• RQ2 순수 균형의 존재와 $\mathsf{PPAD}$-하드성의 존재가 내쉬 균형 근사 계산에서 공존할 수 있는가?
• RQ3 요약형 게임에서 $\epsilon$-내쉬 균형을 계산하는 문제는 $\mathsf{PPAD}$ 에 포함되는가, 아니면 더 어렵게 되는가?
• RQ4 근사 내쉬 균형의 복잡도와 연속 함수의 고정점 근사화 복잡도 사이의 관계는 무엇인가?

주요 결과

• 모든 상수 $\epsilon > 0$ 에 대해, $m$ 명의 플레이어와 $k$ 개의 행동을 가진 요약형 게임에서 $\epsilon$-내쉬 균형을 계산하는 것은 $\mathsf{PPAD}$-하드하며, 이는 순수 균형이 존재하는 경우에도 마찬가지다.
• 이 하드성 결과는 모든 지지 행동이 근사 최적 반응이어야 하는 $\epsilon$-강화 내쉬 균형에도 적용된다.
• 축소를 통해, $\epsilon = 3/(4k^2)$ 인 $\epsilon$-내쉬 균형이 존재할 경우, 거리 $\frac{3+M}{k}$ 이내의 리프시츠 함수 $f$ 의 근사 고정점을 제공하는 게임을 구성하였다.
• 이 구성은, 다항 시간으로 계산 가능한 함수이자 $[0,1]^n$ 에 사상하는 함수에 대해서도 $M$-리프시츠 함수의 고정점 근사화 문제가 $\mathsf{PPAD}$-하드임을 보여준다.
• 결과적으로, $\mathsf{PPAD}$-하드성은 순수 균형이 존재하는 게임에서도 발생할 수 있음을 보여주며, 이는 이전에 하드성으로 알려지지 않은 설정이다.
• 논문은 복잡도 분류의 격차를 규명한다: $\epsilon$-내쉬 균형을 계산하는 데 대해 비어 있는 상한이 알려져 있지 않으며, 무작위성을 사용하지 않고 근사 최적 반응을 계산하는 데 어려움이 있어 문제의 $\mathsf{PPAD}$ 에 속하지 않을 수 있다.