[論文レビュー] On the Constant Price of Anarchy Conjecture

Carme Àlvarez, Arnau Messegué|arXiv (Cornell University)|Sep 21, 2018

Game Theory and Applications参考文献 12被引用数 8

ひとこと要約

本稿では、任意の定数 $\epsilon > 0$ に対して、$\alpha > n(1 + \epsilon)$ のとき、ネットワーク作成ゲームにおける価格の悪化（poA）が定数であることを証明している。その根拠として、直径が定数 $D_\epsilon$ より大きいナッシュ均衡はすべて木構造であることを示している。主な貢献は、二重連結成分の精密な解析と、大径値を持つグラフにおける距離に基づく逸脱の議論を用いて、従来の境界を超えて定数 poA が成り立つ範囲を拡張したことにある。

ABSTRACT

We study Nash equilibria and the price of anarchy in the classic model of Network Creation Games introduced by Fabrikant et al. In this model every agent (node) buys links at a prefixed price $α> 0$ in order to get connected to the network formed by all the $n$ agents. In this setting, the reformulated tree conjecture states that for $α> n$, every Nash equilibrium network is a tree. Moreover, Demaine et al. conjectured that the price of anarchy for this model is constant. Since it was shown that the price of anarchy for trees is constant, if the tree conjecture were true, then the price of anarchy would be constant for $α> n$. Up to now it has been proved that the \PoA is constant $(i)$ in the \emph{lower range}, for $α= O(n^{1-δ})$ with $δ\geq \frac{1}{\log n}$ and $(ii)$ in the \emph{upper range}, for $α> 4n-13$. In contrast, the best upper bound known for the price of anarchy for the remaining range is $2^{O(\sqrt{\log n})}$. In this paper we give new insights into the structure of the Nash equilibria for $α> n$ and we enlarge the range of the parameter $α$ for which the price of anarchy is constant. Specifically, we prove that the price of anarchy is constant for $α> n(1+ε)$ by showing that every equilibrium of diameter greater than some prefixed constant is a tree.

研究の動機と目的

• ネットワーク作成ゲームにおけるより広い範囲の $\alpha$ に対して、定数の価格の悪化の予想を解決すること。
• 従来の結果を超えて、価格の悪化が定数であると知られている $\alpha$ の範囲を拡張すること。
• $\alpha > n(1 + \epsilon)$ のとき、十分に大きな直径を持つ任意のナッシュ均衡は木構造でなければならないことを証明すること。
• 二重連結成分の分析とその次数の上限を用いて、ナッシュ均衡の構造的理解を強化すること。

提案手法

• 非木均衡の直径に対する依存性を持つ境界 $d(\alpha)$ を、距離と接続性の制約から導出する。
• 全距離の合計が最小となるノードを根とするBFS木を用い、余分なエッジを購入する「ショッピング頂点」の数を制限する。
• 直径が $d(\alpha)$ を超える場合に、非自明な二重連結成分 $H$ に対して、$K$ が大きいときの新しい次数上限 $deg^+(H) \leq 1 + \frac{R'-1}{K}$ を適用する。
• この上限と、直径制約から導かれる下限 $deg^+(H) \geq 1 + \frac{1}{221}$ を組み合わせることで、$H$ の存在を仮定した場合に矛盾を導く。
• 度数上限のタイトネスを調整し、直径の閾値 $d(\alpha)$ を制御するために、パラメータ $K = 222(R'-1)$ を用いる。
• 直径閾値 $d(\alpha) = O\left(\left(\frac{\alpha}{\alpha - n}\right)^2 \log\left(\frac{\alpha}{\alpha - n}\right)\right)$ が成り立つことを確立し、$\alpha > n(1 + \epsilon)$ のとき $O(1)$ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ネットワーク作成ゲームにおいて、$\alpha > n(1 + \epsilon)$ のとき、価格の悪化は定数か？
• RQ2 大径値均衡が木構造でなければならないことを示すことで、$\alpha > n(1 + \epsilon)$ に対して木の予想を証明できるか？
• RQ3 グラフの直径が十分に大きいとき、二重連結成分にどのような構造的制約が生じるか？
• RQ4 直径と $K$ を大きくすることで、二重連結成分における有向次数の上限を1に限りなく近づけることができるか？
• RQ5 $\alpha$ が $n$ に近い場合、例えば $\alpha = n/C$（$C > 1$ なる定数）の場合にも、この解析は拡張可能か？

主な発見

• 任意の $\epsilon > 0$ に対して、定数 $D_\epsilon$ が存在し、$\alpha > n(1 + \epsilon)$ のとき、直径が $D_\epsilon$ より大きいすべてのナッシュ均衡は木構造である。
• $\alpha > n(1 + \epsilon)$ のとき、価格の悪化は定数である。なぜなら、すべての均衡が木であり、木の poA は最大5であるから。
• 直径閾値 $d(\alpha)$ は $O\left(\left(\frac{\alpha}{\alpha - n}\right)^2 \log\left(\frac{\alpha}{\alpha - n}\right)\right)$ で抑えられ、$\alpha > n(1 + \epsilon)$ のとき $O(1)$ である。
• 与えられたパrameter設定のもとで、直径が $d(\alpha)$ を超える場合、任意の非自明な二重連結成分 $H$ に対して、有向次数の上限は $deg^+(H) \leq 1 + \frac{1}{222}$ である。
• 非自明な二重連結成分 $H$ の存在を仮定すると、矛盾が導かれるため、大径値均衡にはこのような成分が存在しないことが証明される。
• 解析により、$\alpha = \Omega(n)$ のとき、二重連結成分における有向次数は定数で上界づけられることが示され、他のパラメータ範囲への拡張が可能である可能性が示唆される。