[논문 리뷰] Inapproximability Results for Approximate Nash Equilibria

Argyrios Deligkas, John Fearnley외 1명|arXiv (Cornell University)|2016. 08. 11.

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

한 줄 요약

이 논문은 이차형 게임에서 제약 조건이 있는 사회적 복지와 함께 근사 나이시 균형을 계산하는 데 있어, 지수 시간 가설(ETH) 하에 조건부 준다항시간 하한을 설정한다. 이는 (1/8 − O(δ))-NE O(δ)-SW 문제를 해결하는 데 n~Ω(log n) 시간이 필요하다는 것을 증명하며, 수익 극대화, 지지 집합 제약, ε < 1/8인 ε-NE에 대한 복지 근사화를 포함한 여러 결정 문제로 경계의 딱지 결과를 확장한다.

ABSTRACT

We study the problem of finding approximate Nash equilibria that satisfy certain conditions, such as providing good social welfare. In particular, we study the problem $ε$-NE $δ$-SW: find an $ε$-approximate Nash equilibrium ($ε$-NE) that is within $δ$ of the best social welfare achievable by an $ε$-NE. Our main result is that, if the exponential-time hypothesis (ETH) is true, then solving $\left(\frac{1}{8} - \mathrm{O}(δ) ight)$-NE $\mathrm{O}(δ)$-SW for an $n imes n$ bimatrix game requires $n^{\mathrm{\widetilde Ω}(\log n)}$ time. Building on this result, we show similar conditional running time lower bounds on a number of decision problems for approximate Nash equilibria that do not involve social welfare, including maximizing or minimizing a certain player's payoff, or finding approximate equilibria contained in a given pair of supports. We show quasi-polynomial lower bounds for these problems assuming that ETH holds, where these lower bounds apply to $ε$-Nash equilibria for all $ε&lt; \frac{1}{8}$. The hardness of these other decision problems has so far only been studied in the context of exact equilibria.

연구 동기 및 목표

• 특정 제약 조건(예: 높은 사회적 복지)을 만족하는 근사 나이시 균형을 찾는 계산의 난이도를 조사하는 것.
• 정확한 균형에서의 근사 불가능성 결과를, 제약된 사회적 복지 편차를 가진 근사 균형으로 확장하는 것.
• 지수 시간 가설(ETH) 하에 근사 균형을 포함한 결정 문제에 대한 조건부 시간 하한을 설정하는 것.
• 조금이라도 바람직한 성질을 가진 근사 균형조차도 계산적으로 어렵다는 것을 보여주는 것. 정확한 균형의 PPAD-완전성 외에도.
• 기존의 근사 불가능성 결과를 ETH와 은밀한 클리크 문제와 연결함으로써 통합하고 강화하는 것.

제안 방법

• 무작위 그래프에서 은밀한 클리크 문제로 (1/8 − O(δ))-NE를 δ 이내로 최적 사회적 복지에 도달하는 문제를 감소시킨다.
• 행 플레이어의 지지 집합에 특정 전략이 존재하는지 여부가 초그래프 F의 최대 독립집합 크기에 따라 달라지는 이차형 게임 G''를 구성한다.
• 지수 시간 가설(ETH)을 사용하여 G(n,1/2)에서 은밀한 클리크 문제를 해결하는 데 n~Ω(log n) 시간이 필요하다고 주장한다.
• 만약 ω(F) = 1(최대 독립집합 크기가 최대일 경우)이면, G''는 목표 전략이 지지 집합에 포함된 ε*-WSNE를 허용하지만, 그렇지 않으면 그렇지 않다.
• Lipton-Markakis-Mehta(LMM) 알고리즘 프레임워크를 사용하여 ε-NE 및 ε-WSNE에서 지지 집합 크기와 수익 한계를 분석한다.
• 은밀한 클리크 문제에서의 감소를 통해, ETH 하에 ε-NE δ-SW 문제를 해결하는 데 준다항시간이 필요하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 제약된 사회적 복지 편차를 가진 근사 나이시 균형을 계산하는 데 있어, ETH 기반의 조건부 시간 하한을 설정할 수 있는가?
• RQ2 ε < 1/8일 때, 최적 사회적 복지에서 δ 이내의 ε-NE를 찾는 문제는 ETH 하에 어려운가?
• RQ3 근사 균형에서 수익 극대화 또는 지지 집합 제약을 포함한 결정 문제들도 준다항시간 난이도를 보이는가?
• RQ4 ETH 하에서 제약 조건이 있는 근사 균형을 찾는 난이도를 은밀한 클리크 문제와 연결할 수 있는가?
• RQ5 근사 균형의 난이도는 정확한 균형의 계산 복잡도와 비교해 어떻게 되는가?

주요 결과

• 지수 시간 가설(ETH) 하에, n×n 이차형 게임에서 (1/8 − O(δ))-NE O(δ)-SW 문제를 해결하는 데 n~Ω(log n) 시간이 필요하다.
• 이 난이도 결과는 ε-NE에서 플레이어의 수익을 극대화하거나 최소화하거나, 주어진 지지 집합 쌍 내에서 ε-NE를 찾는 등의 결정 문제로 확장된다.
• 모든 ε < 1/8에 대해, 이러한 결정 문제들은 ETH 하에 준다항시간이 필요하며, 조건부 하한을 설정한다.
• 감소를 통해, ε-NE δ-SW 문제를 해결하는 것은 G(n,1/2)에서 크기가 O(log n)인 은밀한 클리크를 찾는 것만큼 어렵다는 것을 보여주며, 이 문제는 준다항시간이 필요하다고 가정된다.
• 이 결과는 기존의 근사 불가능성 결과를 ETH와 연결함으로써 강화하였으며, 양호한 복지 성질을 가진 근사 균형조차도 계산하기 어렵다는 것을 보여준다.
• 논문은 LMM 알고리즘의 준다항시간 복잡도가 ETH 하에 ε-NE에 대해 본질적으로 최적임을 설정하였으며, ETH가 성립하지 않는 한 더 빠른 알고리즘이 존재하지 않는다.