[論文レビュー] Asymptotically tight bounds for inefficiency in risk-averse selfish routing

Thanasis Lianeas, Evdokia Nikolova+1 more|arXiv (Cornell University)|Oct 7, 2015

Transportation Planning and Optimization参考文献 14被引用数 10

ひとこと要約

本稿は、トポロジー的および関数解析的手法を用いて、確率的移動時間を持つ非アトム的自己利益志向ルーティングにおけるリスク回避の価格の漸近的タイトな境界を確立する。平均分散および平均標準偏差モデルにおける一致する下界を示すための帰納的グラフ構築法を導入し、変分不等式に基づく簡略化された証明を用いて関数的上界を導出することで、リスク回避ルーティングネットワークにおける非合理化の分析のための新しい枠組みを提供する。

ABSTRACT

We consider a nonatomic selfish routing model with independent stochastic travel times, represented by mean and variance latency functions for each edge that depend on their flows. In an effort to decouple the effect of risk-averse player preferences from selfish behavior on the degradation of system performance, Nikolova and Stier- Moses [16] defined the concept of the price of risk aversion as the worst-case ratio of the cost of an equilibrium with risk-averse players and that of an equilibrium with risk-neutral users. For risk-averse users who seek to minimize the mean plus variance of travel time on a path, they proved an upper bound on the price of risk aversion, which is independent of the latency functions, and grows linearly with the size of the graph and players' risk-aversion. In this follow-up paper, we provide a matching lower bound for graphs with number of vertices equal to powers of two, via the construction of a graph family inductively generated from the Braess graph. We also provide conceptually different bounds, which we call functional, that depend on the class of mean latency functions and provide characterizations that are independent of the network topology (first derived, in a more complicated way, by Meir and Parkes [10] in a different context with different techniques). We also supplement the upper bound with a new asymptotically-tight lower bound. Our third contribution is a tight bound on the price of risk aversion for a family of graphs that generalize series-parallel graphs which applies to users minimizing the mean plus standard deviation of a path, a much more complex model of risk-aversion due to the cost of a path being non-additive over edge costs. This is a refinement of previous results in [16] that characterized the price of risk-aversion for series-parallel graphs and for the Braess graph.

研究の動機と目的

• 確率的ルーティングゲームにおけるリスク回避と自己利益志向行動の両方が、システムの非合理化に与える影響を分離すること。
• リスク回避ユーザーが経路コストの平均＋分散または平均＋標準偏差を最小化する場合の、リスク回避の価格（PRA）の漸近的タイトな上界および下界を確立すること。
• ネットワークのトポロジーではなく遅延関数クラスに依存する、新しい関数解析フレームワークを導入し、既存のトポロジー的境界を補完すること。
• 系列並列およびブレイスグラフに対するPRAの先行結果を、それらの構造の一般化を含むより広いグラフ族へと拡張すること。
• 特に非加法的リスク選好の下で、一般グラフにおける平均標準偏差モデルのPRAを界磁する際の未解決の課題を特定すること。

提案手法

• ブレイスグラフから帰納的にグラフ族を構築し、PRAにおけるタイトなトポロジー的下界を生成するインスタンスを生成すること。
• 変分不等式技術を用いて、任意の平均遅延関数クラスに適用可能な、簡略化された直接的証明によりPRAの関数的上界を導出すること。
• 同じグラフ構築法を応用し、分散を標準偏差として再解釈し、分散対平均比を変動係数として再解釈することで、関数的下界を導出すること。
• 補題1および補題2（交互パスおよびフローを運ぶ部分パスに関するもの）を適用し、ドミノ・イヤー・マイナーを含まないことはPRAが有界であることを示すこと。
• 平均分散から平均標準偏差モデルへの一般化において、同じ構築法が非加法的経路コストでさえもタイトな境界をもたらすことを示すこと。
• グラフマイナーに基づく背理的証明を用いて、ドミノ・イヤー・グラフがマイナーである場合、PRA > 1+2γκ が成り立つことを示し、境界のタイトさを確立すること。

実験結果

リサーチクエスチョン

• RQ1 確率的移動時間を伴う非アトム的ルーティングゲームにおけるリスク回避の価格（PRA）の、最もタイトな可能な上界および下界は何か？
• RQ2 特定のマイナー（例：ドミノ・イヤー・グラフ）の存在を含む、トポロジー的ネットワーク構造は、リスク回避による最悪の非合理化にどのように影響するか？
• RQ3 ネットワークのトポロジーではなく遅延関数クラスに依存する関数的境界は、トポロジー的境界よりもタイトであるか、より一般的な非合理化の特徴づけを可能にするか？
• RQ4 非加法的であるため、一般グラフにおける平均標準偏差モデルのPRAはどの程度界磁可能か？
• RQ5 変分不等式に基づく解析と、非合理化の境界を界磁するための新しい関数的フレームワークとの関係は何か？

主な発見

• 本稿は、2の累乗個の頂点を持つグラフに対して、ブレイスグラフから帰納的に構築することで、リスク回避の価格（PRA）の一致する下界を確立する。
• 互いに素な前方部分パスが1つまたは2つのみを含む交互パスを許容するグラフでは、上界 PRA ≤ 1+γκ および PRA ≤ 1+2γκ が漸近的にタイトである。
• PRAの関数的上界は、簡略化された変分不等式アプローチにより導出され、従来の手法よりも直接的な証明を提供する。
• 同じグラフ構築法により、平均分散および平均標準偏差モデルの両方に対して漸近的にタイトな下界が得られる。これは、後者のモデルが非加法的経路コストを含むにもかかわらず成り立つ。
• ドミノ・イヤー・グラフがマイナーでない場合、PRA ≤ 1+2γκ が成り立つことが示され、非合理化の有界性のトポロジー的特徴づけが確立される。
• 研究は、遅延関数クラスに依存する関数的境界が、ネットワークのトポロジーに依存しない可能性があることを明らかにし、ルーティングゲームにおける非合理化の分析のための新たな視点を提供する。