[論文レビュー] An Improved Algorithm for Computing Approximate Equilibria in Weighted Congestion Games

Yiannis Giannakopoulos, Georgy Noarov+1 more|arXiv (Cornell University)|Oct 30, 2018

Sports Analytics and Performance被引用数 2

ひとこと要約

本稿では、次数が最大 $d$ の多項式コスト関数を有する重み付きコンフリクトゲームにおいて、$d^{d+o(d)}$-近似純ナッシュ均衡を決定的多項式時間で計算するアルゴリズムを提示する。これは先行研究に比べて指数的改善を達成する。本手法はゲーム変換を回避するため、元のゲームにおける最良改善ステップと近似ポテンシャル関数のみを用い、$\rho$-近似均衡における新たな価格の悪化（Price of Anarchy）の上限 $\Phi_{d, \rho}^{d+1}$ を確立する。

ABSTRACT

We present a deterministic polynomial-time algorithm for computing $d^{d+o(d)}$-approximate (pure) Nash equilibria in weighted congestion games with polynomial cost functions of degree at most $d$. This is an exponential improvement of the approximation factor with respect to the previously best algorithm. An appealing additional feature of our algorithm is that it uses only best-improvement steps in the actual game, as opposed to earlier approaches that first had to transform the game itself. Our algorithm is an adaptation of the seminal algorithm by Caragiannis et al. [FOCS'11, TEAC 2015], but we utilize an approximate potential function directly on the original game instead of an exact one on a modified game. A critical component of our analysis, which is of independent interest, is the derivation of a novel bound of $[d/\mathcal{W}(d/ ho)]^{d+1}$ for the Price of Anarchy (PoA) of $ ho$-approximate equilibria in weighted congestion games, where $\mathcal{W}$ is the Lambert-W function. More specifically, we show that this PoA is exactly equal to $\Phi_{d, ho}^{d+1}$, where $\Phi_{d, ho}$ is the unique positive solution of the equation $ ho (x+1)^d=x^{d+1}$. Our upper bound is derived via a smoothness-like argument, and thus holds even for mixed Nash and correlated equilibria, while our lower bound is simple enough to apply even to singleton congestion games.

研究の動機と目的

• 多項式コスト関数を有する重み付きコンフリクトゲームにおける近似均衡をより効率的に計算するアルゴリズムの開発。
• 従来の手法が要請していたゲーム変換の必要性を排除すること。
• 既存のアルゴリズムと比較して顕著に改善された近似要因を達成すること。
• このようなゲームにおける $\rho$-近似均衡の価格の悪化（Price of Anarchy）のタイトな境界を導出すること。
• 混合均衡および相関均衡に対しても適用可能な、スムーズ性に基づく価格の悪化の上界を確立すること。

提案手法

• ゲーム変換を回避するため、元の重み付きコンフリクトゲームに直接近似ポテンシャル関数を適用する。
• 実際のゲームにおける最良改善ステップのみを用いることで、実用的で直感的な収束を保証する。
• 分析において、$\rho$-近似均衡の価格の悪化を束縛する、新規なスムーズ性に類似した議論を導入する。
• 価格の悪化が正確に $\Phi_{d, \rho}^{d+1}$ に等しいことが示され、ここで $\Phi_{d, \rho}$ は方程式 $\rho (x+1)^d = x^{d+1}$ の唯一の正の解である。
• ラムベルト・ワイ関数を用いて、$[d / \mathcal{W}(d/\rho)]^{d+1}$ という明示的表現が得られる。
• スムーズ性の議論により、この境界は純粋均衡に限らず、混合均衡（含む相関均衡）に対しても成立する。

実験結果

リサーチクエスチョン

• RQ1 多項式コスト関数を有する重み付きコンフリクトゲームにおいて、これまでに知られていたものよりも著しく良い近似要因で近似均衡を計算することは可能か？
• RQ2 強力な近似保証を達成しつつも、ゲーム変換を回避することは可能か？
• RQ3 多項式コスト関数を有する重み付きコンフリクトゲームにおける $\rho$-近似均衡の、最もタイトな価格の悪化（Price of Anarchy）の境界は何か？
• RQ4 スムーズ性に基づく議論を用いて、異なる均衡タイプにわたって成立するような境界を導出できるか？
• RQ5 $\rho$-近似均衡の価格の悪化にラムベルト・ワイ関数を含む閉形式表現が存在するか？

主な発見

• アルゴリズムは、多項式時間で $d^{d+o(d)}$-近似純ナッシュ均衡を計算でき、これは従来の近似要因に比べて指数的改善を示す。
• $\rho$-近似均衡の価格の悪化は正確に $\Phi_{d, \rho}^{d+1}$ に等しく、ここで $\Phi_{d, \rho}$ は方程式 $\rho (x+1)^d = x^{d+1}$ の唯一の正の解である。
• 境界 $[d / \mathcal{W}(d/\rho)]^{d+1}$ は、ラムベルト・ワイ関数を活用して価格の悪化の明示的表現を提供する。
• スムーズ性に基づく議論により、この境界は純粋均衡に限らず、混合均衡および相関均衡に対しても成立する。
• アルゴリズムが元のゲームにおける最良改善ステップのみを用いることで、ゲーム変換の必要性が排除され、実用性と概念的明確性が向上する。
• 下界構築は単一集合コンフリクトゲームに対しても適用可能であり、導出された境界が最小限の設定でもタイトであることを示している。