[논문 리뷰] Can Almost Everybody be Almost Happy? PCP for PPAD and the Inapproximability of Nash

Yakov Babichenko, Christos H. Papadimitriou외 1명|arXiv (Cornell University)|2015. 04. 09.

Game Theory and Voting Systems참고 문헌 28인용 수 4

한 줄 요약

이 논문은 PPAD에 대한 PCP 유사 추측을 제안하며, 대부분의 플레이어가 이탈할 유혹이 거의 없는 $(\varepsilon,\delta)$-근사 균형을 찾는 것이 End of the Line 문제를 해결하는 것만큼 어렵다는 것을 주장한다. 생일 반복 감소 기법을 사용하여, 이 추측이 참이라면 2명의 플레이어로 구성된 나시 균형에 대한 $n^{O(\log n)}$ 근사 스킴이 본질적으로 최적임을 보이며, 근사 가능한 나시 균형과 공정한 소득 분배를 가진 경쟁 균형에 대한 오랫동안 남아있던 근사 불가능성 문제를 해결한다.

ABSTRACT

We conjecture that PPAD has a PCP-like complete problem, seeking a near equilibrium in which all but very few players have very little incentive to deviate. We show that, if one assumes that this problem requires exponential time, several open problems in this area are settled. The most important implication, proved via a "birthday repetition" reduction, is that the n^O(log n) approximation scheme of [LMM03] for the Nash equilibrium of two-player games is essentially optimum. Two other open problems in the area are resolved once one assumes this conjecture, establishing that certain approximate equilibria are PPAD-complete: Finding a relative approximation of two-player Nash equilibria (without the well-supported restriction of [Das13]), and an approximate competitive equilibrium with equal incomes [Bud11] with small clearing error and near-optimal Gini coefficient.

연구 동기 및 목표

• 2명의 플레이어로 구성된 나시 균형의 근사 불가능성에 관한 오랫동안 남아있던 열린 문제를 해결하기 위해.
• Lipton 등이 제안한 준다항시간 근사 스킴이 강화된 PPAD에 대한 지수시간 가설의 버전을 가정할 경우 최적이 됨을 입증하기 위해.
• 낮은 시장 청산 오차와 근접한 최적의 지니 계수를 갖는 근사 균형을 찾는 것이 PPAD-완전함을 보여주기 위해.
• PCP 정리의 NP에 대한 유사성으로서, $(\varepsilon,\delta)$-Gcircuit 문제를 통해 PPAD에 대한 새로운 PCP 공식화를 제안하기 위해.

제안 방법

• 모든 제약 조건의 $1-\delta$ 분율 이상이 $\varepsilon$-근사로 만족되도록 요구되는 제약 만족 문제로서 $(\varepsilon,\delta)$-Gcircuit 문제를 도입한다.
• 추측 2: End of the Line 문제에서 $(\varepsilon,\delta)$-Gcircuit 문제로의 준선형 감소를 제안하며, 이는 문제의 해결에 $2^{\tilde{\Omega}(n)}$ 시간이 소요됨을 시사한다.
• 생일 반복 기법을 사용하여 다중행렬 게임을 이중행렬 게임으로 감소시키며, 근사 균형의 구조를 유지한다.
• $(\varepsilon,\delta)$-Gcircuit 문제에서 2명의 플레이어로 구성된 나시 균형 문제로의 감소를 구축하여, 첫 번째 문제에서의 근사 불가능성이 두 번째 문제로 이어짐을 보였다.
• 이 감소 기법을 균형 잡힌 소득에서의 경쟁 균형(CCEI)에 적용하여, 낮은 청산 오차와 근접한 최적의 지니 지수를 갖는 근사 CEEI를 찾는 것이 PPAD-완전함을 보였다.
• 혼합 전략과 지ay의 제약 조건의 연속성을 활용하여, PPAD 문제를 확률적 검증에 적합한 제약 만족 문제로 모델링하였다.

실험 결과

연구 질문

• RQ1 2명의 플레이어로 구성된 나시 균형에 대한 $n^{O(\log n)}$ 근사 스킴이 최적이며, 다항시간 알고리즘으로 개선될 수 있는가?
• RQ2 NP에 대한 PCP 정리와 유사한 방식으로, PPAD에 대한 PCP 유사 공식화를 통해 나시 균형의 근사 불가능성을 증명할 수 있는가?
• RQ3 균형 잡힌 소득과 근접한 최적의 지니 계수를 갖는 근사 경쟁 균형을 찾는 것이 PPAD-완전한가?
• RQ4 $(\varepsilon,\delta)$-Gcircuit 문제가 준선형 감소 하에 PPAD의 완전 문제로 기능할 수 있으며, 이는 지수 시간 난이도를 암시하는가?
• RQ5 End of the Line 문제에서 $(\varepsilon,\delta)$-Gcircuit 문제로의 준선형 감소가 존재하는가? 이를 통해 PPAD에 대한 PCP를 확립할 수 있는가?

주요 결과

• 추측 2를 가정할 경우, 두 명의 플레이어로 구성된 게임에서 $\varepsilon$-2Nash 문제를 해결하는 데 $n^{\tilde{\Omega}(\log n)}$ 시간이 소요되며, 이는 Lipton 등이 제안한 $n^{O(\log n)}$ 근사 스킴이 본질적으로 최적임을 증명한다.
• 생일 반복 기법이 다중행렬 게임을 이중행렬 게임으로 감소시키며 근사 균형의 구조를 유지하는 데 성공하여, 근사 불가능성 결과를 도출하는 데 기여하였다.
• 동일한 가정 하에, 잘 지원되지 않는 제약 조건 없이 두 명의 플레이어로 구성된 나시 균형의 상대적 근사가 PPAD-완전함을 보였다.
• 균형 잡힌 소득과 낮은 청산 오차, 근접한 최적의 지니 계수를 갖는 근사 경쟁 균형은 PPAD-완전함을 보였으며, 공정한 할당 메커니즘 분야의 열린 문제를 해결하였다.
• $(\varepsilon,\delta)$-Gcircuit 문제는 PPAD에 대한 PCP 유사 완전 문제로서의 유력한 후보로 규명되었으며, 이는 PPAD가 확률적 검증 가능 증명을 가질 수 있음을 시사한다.
• End of the Line 문제에 대한 준다항시간 알고리즘이 존재하지 않는 한, $\varepsilon$-Gcircuit 문제에서 2명의 플레이어로 구성된 나시 균형 문제로의 근사 보존 감소가 존재하지 않으며, 이는 추측 1과 모순된다.