[논문 리뷰] Query Complexity of Approximate Equilibria in Anonymous Games

Paul W. Goldberg, Stefano Turchetta|arXiv (Cornell University)|2014. 12. 19.

Game Theory and Applications참고 문헌 30인용 수 4

한 줄 요약

이 논문은 두 전략을 가진 익명 게임에서 $O(n^{-1/4})$-근사 넷쇼우 균형을 랜덤화된, 쿼리 효율적인 알고리즘으로 계산하는 방법을 제시한다. 이 알고리즘은 $\tilde{O}(n^{3/2})$의 지ay 쿼리와 런타임을 사용하며, 이는 이전 방법보다 향상된 결과를 얻는다. 또한, 랜덤화가 가능하더라도 $\epsilon$-잘 지원된 균형을 찾는 데에는 최소 $\Omega(n\log n)$의 쿼리가 필요하다는 엄밀한 하한을 증명하고, 정확한 균형은 쿼리 효율적으로 계산될 수 없다는 것을 보여준다.

ABSTRACT

We study the computation of equilibria of anonymous games, via algorithms that may proceed via a sequence of adaptive queries to the game's payoff function, assumed to be unknown initially. The general topic we consider is \emph{query complexity}, that is, how many queries are necessary or sufficient to compute an exact or approximate Nash equilibrium. We show that exact equilibria cannot be found via query-efficient algorithms. We also give an example of a 2-strategy, 3-player anonymous game that does not have any exact Nash equilibrium in rational numbers. However, more positive query-complexity bounds are attainable if either further symmetries of the utility functions are assumed or we focus on approximate equilibria. We investigate four sub-classes of anonymous games previously considered by \cite{bfh09, dp14}. Our main result is a new randomized query-efficient algorithm that finds a $O(n^{-1/4})$-approximate Nash equilibrium querying $ ilde{O}(n^{3/2})$ payoffs and runs in time $ ilde{O}(n^{3/2})$. This improves on the running time of pre-existing algorithms for approximate equilibria of anonymous games, and is the first one to obtain an inverse polynomial approximation in poly-time. We also show how this can be utilized as an efficient polynomial-time approximation scheme (PTAS). Furthermore, we prove that $Ω(n \log{n})$ payoffs must be queried in order to find any $ε$-well-supported Nash equilibrium, even by randomized algorithms.

연구 동기 및 목표

• 쿼리 모델을 통해 접근 가능한 적응형 쿼리 방식으로 익명 게임에서 근사 넷쇼우 균형을 계산하는 데 필요한 쿼리 복잡도를 조사하는 것.
• 특히 균형의 표현이 유리수일 수 없기 때문에, 정확한 넷쇼우 균형이 쿼리 모델 하에서 효율적으로 계산될 수 있는지 여부를 판단하는 것.
• 두 전략을 가진 익명 게임에서 근사 및 잘 지원된 균형의 쿼리 복잡도에 대한 엄밀한 경계를 설정하는 것.
• 다항 시간 내에 역수 다항식 근사도를 달성하는 새로운 랜덤화 알고리즘을 개발하는 것. 이 알고리즘은 쿼리 및 런타임 효율성이 향상된다.

제안 방법

• 알고리즘은 랜덤화된 방법을 사용하여 지ay 쿼리를 샘플링하고, 이산화된 전략 공간에서의 이진 탐색을 통해 매끄러운 게임의 고정점을 찾는다.
• 기대 수익을 효율적으로 계산하기 위해 포아송 이항 분포의 구조를 활용한다.
• 플레이어들이 확률 $\zeta/k$ 와 $1 - (k-1)\zeta/k$ 로 두 전략을 랜덤화한다고 가정하며, 계산의 용이성을 위해 $k=2$에 집중한다.
• 핵심 요소는 보정된 게임 근사화에서의 응용으로, 수익 함수를 보간하여 리프시츠 연속성을 확보함으로써 고정점 탐색을 효율적으로 수행할 수 있도록 한다.
• 알고리즘은 모든 플레이어의 이탈 유인도 $O(n^{-1/4})$ 이내로 제한하여 $\epsilon$-NE를 달성하며, 이때 $\epsilon = O(n^{-1/4})$ 가 된다.
• 하한은 게임에 대한 적대적 분포와 최소 최대 원리를 사용하여 유도되며, 문제를 쿼리 응답으로부터 랜덤한 $\log n$-비트 문자열을 학습하는 것으로 환원한다.

실험 결과

연구 질문

• RQ1 정확한 넷쇼우 균형이 조건부로 근사화되더라도, 쿼리 효율적인 알고리즘을 통해 익명 게임에서 계산될 수 있는가?
• RQ2 두 전략을 가진 익명 게임에서 $\epsilon$-잘 지원된 넷쇼우 균형을 계산하기 위해 필요한 최소 지요 쿼리 수는 얼마인가?
• RQ3 역수 다항식 근사도를 가지며 $\epsilon$ 가 $n$ 에 대해 역수 다항식인 $\epsilon$-근사 넷쇼우 균형을 계산하는 데 쿼리 효율적인 알고리즘을 설계할 수 있는가?
• RQ4 쿼리 효율성을 유지하면서도 이 알고리즘 접근법을 $k$-전략 익명 게임으로 일반화할 수 있는가?
• RQ5 $\epsilon$-NE를 찾는 데 필요한 쿼리 복잡도는 $n$ 에 대해 로그 스케일링되는가? 특히 $\epsilon < 1/2$ 일 경우에도 마찬가지인가?

주요 결과

• 논문은 $\tilde{O}(n^{3/2})$ 쿼리와 런타임을 사용하여 $O(n^{-1/4})$-근사 넷쇼우 균형을 계산하는 랜덤화된 알고리즘을 제시한다. 이는 이전 알고리즘보다 향상된 결과이다.
• 알고리즘은 다항 시간 내에 역수 다항식 근사도를 달성하며, 이는 익명 게임에서 처음으로 이루어진 결과이다.
• 모든 랜덤화 알고리즘에 대해 $\epsilon$-잘 지원된 넷쇼우 균형을 계산하기 위해 $\Omega(n\log n)$ 쿼리가 필요하다는 하한이 증명되었다. 이는 $\epsilon < 1$ 일 경우에도 성립한다.
• 유리수로 표현되지 않는 정확한 넷쇼우 균형이 존재하는 2전략 3플레이어 익명 게임을 구성함으로써, 정확한 균형이 항상 유리수로 존재하지는 않음을 보여준다.
• 무리수 균형이 존재할 수 있고 쿼리 모델의 본질적 복잡도 때문에 정확한 균형은 쿼리 효율적인 알고리즘으로 계산될 수 없다는 것이 입증된다.
• $\epsilon$-WSNE의 쿼리 복잡도는 최소 $\Omega(n\log n)$ 이며, 이는 잘 지원된 균형의 경우 로그 스케일링된 쿼리 오버헤드가 피할 수 없다는 것을 시사한다.