[論文レビュー] Computing solutions of the multiclass network equilibrium problem with affine cost functions

Frédéric Meunier, Thomas Pradeau|arXiv (Cornell University)|Dec 19, 2014

Game Theory and Applications参考文献 45被引用数 4

ひとこと要約

本稿では、クラス数と頂点数が固定されている場合に、アフィンコスト関数を伴うマルチクラスネットワーク均衡問題を多項式時間で解くアルゴリズムを提示する。この研究は、レムケのピボット法を発展させ、プレイヤー固有のアフィンコストを扱えるようにし、収束性を証明するとともに、グリッドネットワークにおける計算的妥当性を確認する実用的手法を提供する。

ABSTRACT

We consider a nonatomic congestion game on a graph, with several classes of players. Each player wants to go from its origin vertex to its destination vertex at the minimum cost and all players of a given class share the same characteristics: cost functions on each arc, and origin-destination pair. Under some mild conditions, it is known that a Nash equilibrium exists, but the computation of an equilibrium in the multiclass case is an open problem for general functions. We consider the specific case where the cost functions are affine. We show that this problem is polynomially solvable when the number of vertices and the number of classes are fixed. In particular, it shows that the parallel-link case with a fixed number of classes is polynomially solvable. On a more practical side, we propose an extension of Lemke's algorithm able to solve this problem.

研究の動機と目的

• アフィンコスト関数を伴うマルチクラスノンアトミックコンフリクトゲームにおける均衡を効率的に計算するという未解決問題に取り組む。
• クラス数と頂点数が固定されている場合に、アフィンコスト関数を伴うマルチクラスネットワーク均衡問題が多項式時間で解けることを確立する。
• 非退化性の仮定が成り立たない場合でも適用可能な、レムケ法に基づく実用的なピボットアルゴリズムを開発する。
• グリッドベースの輸送ネットワークを対象とした計算実験を通じて、アルゴリズムの効率性とスケーラビリティを示す。

提案手法

• 著者らは、ネットワークのアークにプレイヤー固有のアフィンコスト関数を設定した数学的計画問題としてマルチクラスネットワーク均衡をモデル化する。
• ハイパープランの配置の性質を活用し、クラス数と頂点数が固定されている場合に問題が多項式時間で解けることを証明する。
• 均衡定式化に由来する補完性条件を扱えるように、レムケのアルゴリズムの修正版を提案する。
• 非退化性仮定が成立しない場合でも収束を保証するため、摂動技術を用いる。
• ピボット処理において行列の逆行列計算を用い、計算的評価のためC++で実装する。
• 異なるクラス数とランダムなコストパラメータを用いた、n×nグリッドグラフにおける計算実験を実施する。

実験結果

リサーチクエスチョン

• RQ1 クラス数と頂点数が固定されている場合に、アフィンコスト関数を伴うマルチクラスネットワーク均衡問題は多項式時間で解けるか？
• RQ2 レムケのアルゴリズムは、プレイヤー固有のアフィンコストを伴うマルチクラス均衡問題を解けるように拡張可能か？
• RQ3 入力パラメータが有理数である場合、アルゴリズムは収束し、有理数のフローを生成するか？
• RQ4 ネットワークサイズとクラス数の増加に伴い、アルゴリズムのスケーリング特性はどうなるか？
• RQ5 ピボット数と解法時間の観点から、アルゴリズムの計算的パフォーマンスはどのようになるか？

主な発見

• クラス数と頂点数が固定されている場合に、アフィンコスト関数を伴うマルチクラスネットワーク均衡問題は多項式時間で解ける。
• 固定クラス数の並列リンクケースについても多項式時間で解けることが示され、これは以前に確立されていなかった結果である。
• 摂動を用いることで、非退化性仮定が成り立たない場合でも、提案されたレムケベースのアルゴリズムは終了し、解を計算できる。
• すべての需要とコスト係数が有理数である場合、各クラスのすべてのアークに有理数のフローが誘導される。
• 計算結果から、ピボット数は大きなインスタンスに対しても管理可能であるが、行列逆行列計算が実行時間の主な要因であることが判明した。
• 50クラスの8×8グリッドでは、主処理に638ピボットと87秒を要し、行列逆行列計算に385秒を要した。