[論文レビュー] Selfishness need not be bad

Zijun Wu, H Moehring Rolf+2 more|arXiv (Cornell University)|Dec 20, 2017

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

ひとこと要約

本稿は、総需要Tが大きくなる際の非アトム的混雑ゲームにおける価格の悪さ（PoA）の極限挙動を分析するための新しい解析フレームワークを開発する。PoAが、すべての多項式関数および正規変動関数を含む広範なクラスのコスト関数に対して、Tの成長パターンにかかわらず1に収束することを証明し、さらにBPRコスト関数の場合、PoA = 1 + o(T⁻ᵝ) となることが示され、収束速度が需要成長列に依存することを明らかにした。これは、[18]による普遍的なべき乗則収束に関する仮説を反証するものである。

ABSTRACT

We investigate the price of anarchy (PoA) in non-atomic congestion games when the total demand $T$ gets very large. First results in this direction have recently been obtained by \cite{Colini2016On, Colini2017WINE, Colini2017arxiv} for routing games and show that the PoA converges to 1 when the growth of the total demand $T$ satisfies certain regularity conditions. We extend their results by developing a \Wuuu{new} framework for the limit analysis of \Wuuuu{the PoA that offers strong techniques such as the limit of games and applies to arbitrary growth patterns of $T$.} \Wuuu{We} show that the PoA converges to 1 in the limit game regardless of the type of growth of $T$ for a large class of cost functions that contains all polynomials and all regularly varying functions. % For routing games with BPR \Wuu{cost} functions, we show in addition that socially optimal strategy profiles converge to \Wuu{equilibria} in the limit game, and that PoA$=1+o(T^{-β})$, where $β>0$ is the degree of the \Wuu{BPR} functions. However, the precise convergence rate depends crucially on the the growth of $T$, which shows that a conjecture proposed by \cite{O2016Mechanisms} need not hold.

研究の動機と目的

• 総需要Tが無限大に近づく際の非アトム的混雑ゲームにおける価格の悪さ（PoA）の漸近的挙動を分析すること。
• Tの任意の成長パターンに適用可能な一般化されたフレームワークを構築することで、既存のPoA収束結果を拡張すること。
• 多項式関数および正規変動関数を含む広範なコスト関数クラスに対して、PoAが1に収束するかどうかを検討すること。
• BPRコスト関数を有するルーティングゲームにおけるPoAの収束速度を調査し、[18]が提唱したべき乗則収束の仮説の妥当性を検証すること。
• 北京第二環状道路の実際の交通データを用いて理論的発見を実証的に検証すること。

提案手法

• 大規模な需要下での混雑ゲームの漸近的挙動を分析するために「極限ゲーム」の概念を導入する。
• さまざまな需要成長パターンにわたるPoAの1への収束を特徴付けるために「分解によるスケーラブルゲーム」の概念を構築する。
• 一般的なリソース消費パターンを有する非アトム的混雑ゲームにフレームワークを適用し、標準的なルーティングゲームから一般化する。
• 正規化された移動時間関数と極限比 αₐ = limₓ→∞ τₐ(x)/g(x) を用いて、アークおよびパスを「速い」「遅い」「タイト」に分類する。
• 漸近的分解技術を用いて、極限における均衡と社会的最適の構造を分析する。
• 北京第二環状道路の実際の交通データを用いた実験的検証により、理論的結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 総需要Tが大きくなる際、需要の成長パターンにかかわらず、価格の悪さ（PoA）は1に収束するか？
• RQ2 多項式関数および正規変動関数に対して、PoAが1に収束することは保証されるか？
• RQ3 BPRコスト関数を有するルーティングゲームにおけるPoAの正確な収束速度は何か？ また、[18]が提唱した普遍的なべき乗則収束（O(T⁻²ᵝ)）に従うか？
• RQ4 大規模な混雑ゲームにおいて、社会的最適な戦略プロファイルは漸近的に均衡に近いか？
• RQ5 理論的フレームワークは、実世界の交通データを用いて実証的に検証可能か？

主な発見

• 多項式関数または正規変動関数を有するすべての非アトム的混雑ゲームにおいて、極限ゲームにおける価格の悪さ（PoA）は、総需要Tの成長パターンにかかわらず1に収束する。
• 次数β > 0のBPRコスト関数を有するルーティングゲームにおいて、PoAは1 + o(T⁻ᵝ) の形で1に収束し、収束速度はTの具体的な成長列に依存する。
• [18]が提唱したPoAがO(T⁻²ᵝ) の普遍的なべき乗則に従うという仮説は一般には成り立たない。収束速度は需要成長列の違いにより顕著に変化する。
• BPRに基づくルーティングゲームにおける社会的最適な戦略プロファイルは、十分に小さいε > 0に対してε-近似均衡である。εはTの増加に伴い0に近づく。
• 北京第二環状道路の実際の交通データを用いた実証的分析により、現在の交通状況はすでにPoA ≈ 1に近い状態にあり、自己利益志向ルーティング下でも最小限の非効率が生じていることが確認された。
• タイトなゲームと正規変動関数コストの関係に関する未解決の仮説が同定され、すべての漸近的に適切に設計されたゲームが分解によるスケーラブルゲームであるとは限らないことが示唆された。