[논문 리뷰] A Graph Spectral Approach for Computing Approximate Nash Equilibria

Haralampos Tsaknakis, Paul G. Spirakis|ArXiv.org|2009. 09. 25.

Game Theory and Applications참고 문헌 9인용 수 5

한 줄 요약

이 논문은 두 명의 플레이어로 구성된 게임에서 $\varepsilon$-근사 내쉬 균형을 계산하기 위한 그래프 스펙트럼 방법을 제안한다. 문제는 게임의 유도된 그래프의 대칭 인접행렬의 양의 고유값을 활용하여 단순체 위의 부정적 정수계수 이차형식 프로그램으로 환원된다. 이 방법은 시간 복잡도 $n^{\xi(m)/\varepsilon}$ 내에 $\varepsilon$-근사 내쉬 균형을 도출하며, 여기서 $\xi(m) = \sum_{i=1}^m \lambda_i / n$ 이다. 이에 따라 $\xi(m)$ 가 일정한 클래스의 게임에 대해 다항시간 근사계열(PTAS)을 제공한다.

ABSTRACT

We present a new methodology for computing approximate Nash equilibria for two-person non-cooperative games based upon certain extensions and specializations of an existing optimization approach previously used for the derivation of fixed approximations for this problem. In particular, the general two-person problem is reduced to an indefinite quadratic programming problem of special structure involving the $n imes n$ adjacency matrix of an induced simple graph specified by the input data of the game, where $n$ is the number of players' strategies. Using this methodology and exploiting certain properties of the positive part of the spectrum of the induced graph, we show that for any $\varepsilon > 0$ there is an algorithm to compute an $\varepsilon$-approximate Nash equilibrium in time $n^{ξ(m)/\varepsilon}$, where, $ξ(m) = \sum_{i=1}^m λ_i / n$ and $λ_1, λ_2, >..., λ_m$ are the positive eigenvalues of the adjacency matrix of the graph. For classes of games for which $ξ(m)$ is a constant, there is a PTAS. Based on the best upper bound derived for $ξ(m)$ so far, the worst case complexity of the method is bounded by the subexponential $n^{\sqrt{m}/\varepsilon}$.

연구 동기 및 목표

• 두 명의 플레이어로 구성된 비협력 게임에서 근사 내쉬 균형을 계산하기 위한 새로운 방법론을 개발하는 것.
• 일반적인 이중행렬 게임 문제를 $\{0,1\}$ 인접행렬을 가진 대칭 승패 게임으로 환원하는 것.
• 유도된 그래프의 인접행렬의 스펙트럼 성질을 이용해 복잡도 한계를 도출하는 것.
• 이 방법이 다항시간 근사계열(PTAS)을 제공하는 조건을 설정하는 것.

제안 방법

• 균형의 구조를 유지하는 변환을 사용하여 일반적인 이중행렬 게임을 $\{0,1\}$ 인접행렬을 가진 대칭 승패 게임으로 환원하는 것.
• 유도된 방향 그래프의 인접행렬 $A$ 를 사용하여 $n$ 차원 확률 단체 위의 부정적 정수계수 이차형식 프로그램으로 게임을 표현하는 것.
• 유도된 그래프의 무방향 버전인 $A + A^T$ 를 구성하며, 이의 양의 고유값과 고유벡터는 분석의 핵심이다.
• $\Delta_n$ 단체를 $A + A^T$ 의 양의 고유공간에 사영하여 $P_m(\Delta_n)$ 라고 표기하고 기하학적 구조를 분석하는 것.
• $\xi(m) = \sum_{i=1}^m \lambda_i / n$ 에 비례하는 반경을 가진 공으로 $P_m(\Delta_n)$ 를 덮되, 최대 $n^{1/\varepsilon}$ 개의 점으로 구성된 격자를 사용하는 것.
• 격자 각 점에서 회귀 함수의 정적점을 찾기 위해 내림내림 알고리즘을 적용하여, 그 중 하나가 $\varepsilon$-근사 내쉬 균형을 보장하는 것.

실험 결과

연구 질문

• RQ1 게임의 유도된 그래프 인접행렬의 스펙트럼 성질을 활용하여 근사 내쉬 균형을 위한 효율적인 알고리즘을 설계할 수 있는가?
• RQ2 알고리즘의 실행 시간이 대칭 인접행렬 $A + A^T$ 의 양의 고유값에 어떻게 의존하는가?
• RQ3 그래프 스펙트럼에 어떤 조건이 성립할 경우 이 방법이 다항시간 근사계열(PTAS)을 제공하는가?
• RQ4 양의 고유공간의 기하학적 성질을 활용하여 투영된 단체를 덮는 데 사용되는 격자 크기를 줄일 수 있는가?
• RQ5 $\xi(m) \leq \sqrt{m}$ 이라는 상한이 날카로운가, 아니면 그래프의 연결성 정보를 통합함으로써 개선될 수 있는가?

주요 결과

• 알고리즘은 시간 복잡도 $n^{\xi(m)/\varepsilon}$ 내에 $\varepsilon$-근사 내쉬 균형을 계산하며, 여기서 $\xi(m) = \sum_{i=1}^m \lambda_i / n$ 이고 $\lambda_i$ 는 $A + A^T$ 의 양의 고유값이다.
• $\xi(m)$ 이 일정한 게임 클래스에 대해서는 다항시간 근사계열(PTAS)을 제공한다.
• 최악의 경우 시간 복잡도는 $n^{\sqrt{m}/\varepsilon}$ 으로 유계이며, 이는 초지수적 복잡도를 달성한다.
• $\xi(m) \leq \sqrt{m}$ 이라는 상한은 $\left(\sum_{i=1}^m \lambda_i\right)^2 \leq m \sum_{i=1}^m \lambda_i^2 \leq m n^2$ 의 부등식에서 유도되며, 이는 추적과 스펙트럼 노름 성질에서 유래된다.
• 작은 $\varepsilon$ 와 큰 $n$ 에서 이전의 초지수적 알고리즘보다 향상되었으며, 성능의 트레이드오프가 변화하는 임계점은 $\varepsilon \approx 12 \ln n / \sqrt{n}$ 이다.
• 희박하거나 구조적인 양의 스펙트럼을 가진 게임에 대해 이 방법은 효과적이며, 스펙트럼 그래프 이론이 게임이론 문제의 알고리즘 설계에 기여할 수 있음을 시사한다.