[논문 리뷰] The Query Complexity of Correlated Equilibria

Sergiu Hart, Noam Nisan|RePEc: Research Papers in Economics|2013. 05. 21.

Game Theory and Applications인용 수 21

한 줄 요약

이 논문은 지ay가 쿼리 복잡도의 기본 하한을 n-플레이어 게임에서 보상 쿼리를 사용하여 상관 균형을 계산하는 데 설정한다. 어떤 효율적인 결정적 알고리즘도 조작 가능한 상관 균형을 계산할 수 없으며, 어떤 효율적인 랜덤 알고리즘도 정확한 상관 균형을 계산할 수 없음을 증명하여, 이 설정에서 효율적 계산을 위해 랜덤화와 근사가 본질적으로 필요하다는 것을 보여준다.

ABSTRACT

We consider the complexity of finding a correlated equilibrium of an $n$-player game in a model that allows the algorithm to make queries on players' payoffs at pure strategy profiles. Randomized regret-based dynamics are known to yield an approximate correlated equilibrium efficiently, namely, in time that is polynomial in the number of players $n$. Here we show that both randomization and approximation are necessary: no efficient deterministic algorithm can reach even an approximate correlated equilibrium, and no efficient randomized algorithm can reach an exact correlated equilibrium. The results are obtained by bounding from below the number of payoff queries that are needed.

연구 동기 및 목표

• n-플레이어 게임에서 상관 균형을 계산하기 위해 필요한 최소 보상 쿼리 수를 결정하기 위해.
• 결정적 또는 정확한 알고리즘이 보상 쿼리를 사용하여 상관 균형을 효율적으로 계산할 수 있는지 조사하기 위해.
• 성과 기반 알고리즘—비록 효율적이고 근사적이지만—무작위화를 제거하거나 정확하게 만들기 위해 지수적 쿼리 비용이 들지 않도록 하기 위해.
• 초입방에서 무작위 경로의 尾를 찾는 것의 난이도를 상관 균형의 쿼리 복잡도의 모델로 형식화하기 위해.

제안 방법

• 저자들은 n차원 초입방에서 길이 L = n·2^{n/3}인 무작위 경로를 기반으로 하드한 상관 균형 문제 인스턴스를 구성한다.
• 알고리즘이 정점에 쿼리를 보내어 아직 드러나지 않은 경로 부분을 찾아야 하는 '경로를 잡아라'(HTP) 문제를 정의한다. 각 쿼리 후에 새로운 경로 세그먼트가 점진적으로 드러난다.
• 초입방에서 무작위 걷기의 빠른 혼합 성질을 사용하여, 어떤 쿼리도 아직 드러나지 않은 정점에 도달할 확률이 극히 낮은 (1+o(1))·2^{-n}임을 보여준다.
• T개의 쿼리와 남은 경로 길이에 대해 유니언 바운드를 적용하여 어떤 알고리즘의 승리 확률을 제한한다.
• 경로의 꼬리는 초입방의 아주 작은 부분이며, 임의의 샘플링이나 효율적인 결정적 전략으로는 찾을 수 없다는 사실을 활용한다.
• HTP 문제를 블랙박스 감소로 사용하여 NPV(비양성 정점) 문제를 해결하는 데 지수적 수의 쿼리가 필요함을 보이며, 이는 상관 균형 계산에 하한을 설정한다.

실험 결과

연구 질문

• RQ1 결정적 알고리즘이 n-플레이어 게임에서 상관 균형의 근사치를 계산하기 위해 지수적 이하의 보상 쿼리를 사용할 수 있는가?
• RQ2 다항식 쿼리 복잡도를 가진 랜덤 알고리즘으로 정확한 상관 균형을 계산할 수 있는가?
• RQ3 성과 기반 동역학은 비록 효율적이고 근사적이지만, 왜 다항식 쿼리로 정확하거나 결정적인 해를 도출하지 못하는가?
• RQ4 게임의 보상 공간의 어떤 구조적 특성이 상관 균형 계산을 쿼리 모델에서 본질적으로 어렵게 만드는가?
• RQ5 상관 균형 계산의 경로 추적 구조를 사용하여 쿼리 복잡도 하한을 증명할 수 있는가?

주요 결과

• 어떤 결정적 알고리즘도 n에 대해 다항식 시간 내에 근사 상관 균형을 계산할 수 없다. 보상 쿼리 접근이 가능하더라도 마찬가지다.
• 어떤 랜덤 알고리즘도 정확한 상관 균형을 계산할 수 없으며, 이는 지수적 정밀도가 요구되기 때문이다.
• 어떤 T-쿼리 알고리즘이 HTP 문제에서 승리할 확률은 최대 (1+o(1))·n·2^{-2n/3}·T이며, 이는 T < 2^{n/3}/n 일 때는 상수 이하이다.
• 초입방의 무작위 경로의 꼬리는 너무 작고 잘 혼합되어 있어, 지수적 수의 쿼리 없이 효율적인 알고리즘이 이를 찾을 수 없다.
• HTP 문제의 난이도는 NPV 문제(비양성 정점 찾기)를 해결하는 데 지수적 수의 쿼리가 필요함을 시사하며, 이는 상관 균형 계산에 하한을 설정한다.
• 결과적으로, 랜덤화와 근사가 실용적 선택이 아니라 이론적으로 상관 균형 계산의 효율적 수행을 위해 필수적임을 보여준다.