[論文レビュー] Achieving Target Equilibria in Network Routing Games without Knowing the Latency Functions

Umang Bhaskar, Katrina Ligett+2 more|arXiv (Cornell University)|Aug 6, 2014

Game Theory and Applications参考文献 16被引用数 6

ひとこと要約

本稿では、遅延関数の事前知識がなくとも、標的となるマルチコンmodityフローを非原子的ネットワークルーティングゲームにおけるナッシュ均衡として誘導する、新しいクエリベースのアプローチを提示する。多項式個のクエリを均衡オラクルに送ることで、著者らは楕円体法に基づく効率的なアルゴリズムを設計し、エッジの通行料を計算することで望ましい均衡を達成する。これは、通行料の上限や通行料をかけないエッジといった制約下でも成立する。

ABSTRACT

The analysis of network routing games typically assumes, right at the onset, precise and detailed information about the latency functions. Such information may, however, be unavailable or difficult to obtain. Moreover, one is often primarily interested in enforcing a desired target flow as the equilibrium by suitably influencing player behavior in the routing game. We ask whether one can achieve target flows as equilibria without knowing the underlying latency functions. Our main result gives a crisp positive answer to this question. We show that, under fairly general settings, one can efficiently compute edge tolls that induce a given target multicommodity flow in a nonatomic routing game using a polynomial number of queries to an oracle that takes candidate tolls as input and returns the resulting equilibrium flow. This result is obtained via a novel application of the ellipsoid method. Our algorithm extends easily to many other settings, such as (i) when certain edges cannot be tolled or there is an upper bound on the total toll paid by a user, and (ii) general nonatomic congestion games. We obtain tighter bounds on the query complexity for series-parallel networks, and single-commodity routing games with linear latency functions, and complement these with a query-complexity lower bound. We also obtain strong positive results for Stackelberg routing to achieve target equilibria in series-parallel graphs. Our results build upon various new techniques that we develop pertaining to the computation of, and connections between, different notions of approximate equilibrium; properties of multicommodity flows and tolls in series-parallel graphs; and sensitivity of equilibrium flow with respect to tolls. Our results demonstrate that one can indeed circumvent the potentially-onerous task of modeling latency functions, and yet obtain meaningful results for the underlying routing game.

研究の動機と目的

• 正確な遅延関数が不明またはモデル化が困難な状況において、ネットワークルーティングゲームにおける望ましい交通均衡を達成する課題に対処すること。
• 均衡フローへのアクセスをオラクルを通じて行うクエリモデルを提案し、遅延関数の明示的知識を回避すること。
• 最小限の仮定の下で、与えられた標的マルチコンmodityフローをナッシュ均衡として誘導するエッジ通行料を計算する効率的なアルゴリズムを開発すること。
• 通行料の上限、通行料をかけないエッジ、一般の非原子的混雑度ゲームといった制約を扱えるフレームワークに拡張すること。
• 特定のネットワーククラス（系列並列グラフ、線形遅延関数など）におけるクエリ複雑度のタイトな境界と難易度結果を確立すること。

提案手法

• システムへの唯一のアクセス手段が、与えられた通行料の下での均衡フローを返すクエリであるブラックボックスオラクルモデルを導入する。
• 均衡条件に基づく分離オラクルを活用して、楕円体法を用いて標的フローを誘導する通行料を効率的に探索する。
• さまざまな近似均衡の概念を関連づけ、通行料の変化に対する均衡フローの感度を分析するための新規技術を開発する。
• 系列並列グラフにおけるマルチコンmodityフローと通行料の構造的性質を証明し、よりタイトなクエリ複雑度境界を可能にする。
• 2-Disjoint Paths（2DDP）問題からの還元を用いて、スタッケルベルクルーティングにおける近似不可能性結果を確立する。
• 頂点に分離したパスの存在が均衡遅延に直接関係することを示すハードネスインスタンスを構築し、近似不可能性の閾値を証明する。

実験結果

リサーチクエスチョン

• RQ1 非原子的ルーティングゲームにおいて、基礎となる遅延関数を知らない状況でも、標的マルチコンmodityフローをナッシュ均衡として誘導することは可能か？
• RQ2 与えられた標的フローを達成する通行料を計算するために、均衡オラクルに必要な最小クエリ数はどの程度か？
• RQ3 通行料の上限や通行料をかけないエッジといった制約下では、クエリ複雑度はどのようにスケーリングされるか？
• RQ4 均衡遅延を最小化するスタッケルベルクルーティング戦略に対して、強い近似不可能性結果を確立できるか？
• RQ5 系列並列グラフのどのような構造的性質が、オラクルモデルにおけるよりタイトなクエリ複雑度境界を可能にするか？

主な発見

• 本稿では、遅延関数の知識を一切必要とせず、均衡オラクルへの多項式個のクエリのみを用いて、標的マルチコンmodityフローをナッシュ均衡として誘導する多項式時間アルゴリズムを提示する。
• このアルゴリズムは、楕円体法の新規応用に基づいており、均衡条件から導かれる分離オラクルを活用することで、通行料計算問題を効率的に解ける。
• 系列並列ネットワークでは、エッジ数とコンmodity数の多項式関数としてクエリ複雑度が有界であり、線形遅延関数の場合にはよりタイトな境界が得られる。
• 本稿では、一般に多項式個のクエリより少ない数で問題が解けないことを示すクエリ複雑度の下界を確立する。
• 系列並列グラフにおけるスタッケルベルクルーティングにおいて、均衡遅延を最小化する問題は、任意の ε > 0 に対して (4/3 − ε)-近似不可能であることが示された。
• このハードネス結果は、2-Disjoint Paths（2DDP）問題からの還元により証明され、頂点に分離したパスの存在が最小達成可能均衡遅延を直接決定することが示された。