[논문 리뷰] Existence and Complexity of Approximate Equilibria in Weighted Congestion Games

George Christodoulou, Martin Gairing외 3명|arXiv (Cornell University)|2020. 01. 01.

Game Theory and Applications인용 수 2

한 줄 요약

이 논문은 다항식 비용 함수를 갖는 가중치 부여된 혼잡도 게임에서 근사 순수 내쉬 균형(α-PNE)의 존재에 대한 첫 번째 초수렴 하한(lower bound)을 확립한다. degree d인 다항식 비용 함수를 갖는 가중치 부여된 혼잡도 게임에서 α-PNE는 α < Ω(√d / ln d)일 경우 존재하지 않음을 보이며, 이러한 α-PNE의 존재 여부를 결정하는 것은 NP-완전임을 증명한다. 이는 비용 함수의 새로운 회로 기반 가드지(기법)를 통해 회로 만족성 문제에서 혼잡도 게임으로의 축소를 통해 이루어지며, 비존재 결과를 계산 복잡도 결과로 전환한다.

ABSTRACT

We study the existence of approximate pure Nash equilibria (α-PNE) in weighted atomic congestion games with polynomial cost functions of maximum degree d. Previously it was known that d-approximate equilibria always exist, while nonexistence was established only for small constants, namely for 1.153-PNE. We improve significantly upon this gap, proving that such games in general do not have Θ̃(√d)-approximate PNE, which provides the first super-constant lower bound. Furthermore, we provide a black-box gap-introducing method of combining such nonexistence results with a specific circuit gadget, in order to derive NP-completeness of the decision version of the problem. In particular, deploying this technique we are able to show that deciding whether a weighted congestion game has an Õ(√d)-PNE is NP-complete. Previous hardness results were known only for the special case of exact equilibria and arbitrary cost functions. The circuit gadget is of independent interest and it allows us to also prove hardness for a variety of problems related to the complexity of PNE in congestion games. For example, we demonstrate that the question of existence of α-PNE in which a certain set of players plays a specific strategy profile is NP-hard for any α < 3^(d/2), even for unweighted congestion games. Finally, we study the existence of approximate equilibria in weighted congestion games with general (nondecreasing) costs, as a function of the number of players n. We show that n-PNE always exist, matched by an almost tight nonexistence bound of Θ̃(n) which we can again transform into an NP-completeness proof for the decision problem.

연구 동기 및 목표

• 다항식 비용 함수를 갖는 가중치 부여된 혼잡도 게임에서 근사 균형 존재에 대한 알려진 상한과 하한 사이의 격차를 메우기.
• α-Pure Nash Equilibria(α-PNE)가 존재하지 않을 수 있는 근사 인자 α에 대한 첫 번째 초수렴 하한을 확립하기.
• 가중치 부여된 혼잡도 게임에서 α-PNE의 존재 여부를 결정하는 것이 다항식 비용 함수에 대해서도 NP-완전임을 보여주기.
• 비존재 결과를 계산 복잡도 결과로 전환할 수 있는 블랙박스 기법을 개발하기.
• 특정 전략 프로파일이 특정 플레이어에 의해 수행되어야 하는 설정으로까지 경제적 복잡도 결과를 확장하기.

제안 방법

• degree d이고 비음수 계수를 갖는 다항식 비용 함수를 갖는 새로운 가중치 부여된 혼잡도 게임의 가족을 구성하여, α < Ω(√d / ln d)일 경우 α-PNE가 존재하지 않음을 보여주기.
• 황금비 Φ를 기반으로 한 재귀적 구성법을 사용하여, 혼잡도 게임 환경에서 NAND 논리 의미를 강제하는 비용 함수 정의하기.
• Skopalik와 Vöcking의 영감을 얻은 회로 가드지 설계를 통해 부울 만족성 문제를 혼잡도 게임 균형에 인코딩하고, 회로 만족성 문제에서 α-PNE 결정 문제로의 축소를 가능하게 하기.
• 모든 α-PNE에서 출력 플레이어가 원래 회로가 만족 가능할 경우에만 0 전략을 선택함을 증명하여, 게임 균형 존재성과 회로 만족성 문제를 연결하기.
• 무리수 비용 함수 매개변수(예: Φn−1)를 유리수 값으로 근사하여 형식적 정확성을 확보하면서도 α-지배 성질을 유지하기.
• 가드지 구성법을 적용하여 α = ˜O(√d)일 때 α-PNE 결정 문제의 NP-완전성을 보이고, 제약 조건이 있는 전략 프로파일로 결과를 확장하기.

실험 결과

연구 질문

• RQ1 다항식 비용 함수를 갖는 degree d인 가중치 부여된 혼잡도 게임에서 α-Pure Nash Equilibria(α-PNE)가 보장되도록 보장할 수 있는 최선의 근사 인자 α는 무엇인가?
• RQ2 초수렴 α에 대해 α-PNE의 비존재를 확립할 수 있으며, 만약 그렇다면 그 최밀한 하한은 무엇인가?
• RQ3 가중치 부여된 혼잡도 게임에서 α-PNE가 존재하는지 여부를 결정하는 문제는 초수렴 α에 대해 NP-완전한가?
• RQ4 비존재 결과를 α-PNE에 대한 계산 복잡도 결과로 전환할 수 있는 일반적인 방법을 개발할 수 있는가?
• RQ5 α-PNE가 보장될 경우, 그 복잡도는 무엇이며, α에 따라 어떻게 변하는가?

주요 결과

• 논문은 다항식 비용 함수를 갖는 degree d인 가중치 부여된 혼잡도 게임에서 α-Pure Nash Equilibria(α-PNE)의 비존재에 대한 첫 번째 초수렴 하한을 확립하여, α < Ω(√d / ln d)일 경우 α-PNE가 존재하지 않음을 보였다.
• α = ˜O(√d)일 때 다항식 비용 함수를 갖는 가중치 부여된 혼잡도 게임에서 α-PNE가 존재하는지 여부를 결정하는 문제의 NP-완전성을 증명하였으며, 이는 이전의 정확한 균형에 국한된 하드네스 결과를 크게 확장한다.
• 논문은 회로 만족성 문제에서 α-PNE 결정 문제로의 축소를 가능하게 하는 회로 가드지를 구축하여, 비존재 결과를 NP-완전성 결과로 전환할 수 있음을 보였다.
• 일반적인 비감소 비용 함수에 대해 n-Pure Nash Equilibria(n-PNE)는 항상 존재하지만, α < Φn−1 = Θ(n / ln n)일 경우 α-PNE는 존재하지 않으며, 이러한 존재 여부를 결정하는 것은 NP-완전하다고 보여주었다.
• 논문은 특정 플레이어 집합이 주어진 전략 프로파일을 수행해야 하는 경우에 대해서도, 어떤 α < 3d/2에 대해서도 α-PNE의 존재가 NP-난이도임을 보였다. 이는 비가중치 부여된 혼잡도 게임에서도 성립한다.
• 무리수 비용 함수 매개변수(예: Φn−1)를 유리수 값으로 근사하여 형식적 정확성을 확보하였으며, α-지배 성질을 유지함으로써 NP-완전성 증명의 정확성을 보장하였다.