[論文レビュー] The Network Improvement Problem for Equilibrium Routing

Umang Bhaskar, Katrina Ligett+1 more|arXiv (Cornell University)|Jul 14, 2013

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

ひとこと要約

本稿は、ルーティングゲームにおけるネットワーク改善問題を研究しており、設計者が予算を配分してエッジの伝送能力を向上させ、均衡遅延を最小化することを目的としている。一般グラフに対しては4/3-近似アルゴリズムを提示し、並列パス構造に対しては最適アルゴリズムを、系列並列グラフに対してはFPTASを提示しており、アフィン遅延関数のもとでタイトな近似保証を確立している。

ABSTRACT

In routing games, agents pick their routes through a network to minimize their own delay. A primary concern for the network designer in routing games is the average agent delay at equilibrium. A number of methods to control this average delay have received substantial attention, including network tolls, Stackelberg routing, and edge removal. A related approach with arguably greater practical relevance is that of making investments in improvements to the edges of the network, so that, for a given investment budget, the average delay at equilibrium in the improved network is minimized. This problem has received considerable attention in the literature on transportation research and a number of different algorithms have been studied. To our knowledge, none of this work gives guarantees on the output quality of any polynomial-time algorithm. We study a model for this problem introduced in transportation research literature, and present both hardness results and algorithms that obtain nearly optimal performance guarantees. - We first show that a simple algorithm obtains good approximation guarantees for the problem. Despite its simplicity, we show that for affine delays the approximation ratio of 4/3 obtained by the algorithm cannot be improved. - To obtain better results, we then consider restricted topologies. For graphs consisting of parallel paths with affine delay functions we give an optimal algorithm. However, for graphs that consist of a series of parallel links, we show the problem is weakly NP-hard. - Finally, we consider the problem in series-parallel graphs, and give an FPTAS for this case. Our work thus formalizes the intuition held by transportation researchers that the network improvement problem is hard, and presents topology-dependent algorithms that have provably tight approximation guarantees.

研究の動機と目的

• アルゴリズム的ゲーム理論におけるネットワーク改善問題を形式化・分析し、固定予算のもとでエッジのアップグレードが均衡遅延を短縮することを目的とする。
• 連続的ネットワーク設計問題（CNDP）に対する、初めての多項式時間アルゴリズムであり、保証された近似比を持つものとして、文献におけるギャップを埋める。
• 一般、並列パス、系列並列グラフを含む、異なるグラフ構造における問題の計算複雑性を調査する。
• 特に系列並列グラフに対してはFPTASを含む、構造に特化したアルゴリズムとタイトな性能保証を開発する。
• 輸送研究における直観である「ネットワーク改善は計算的に困難である」という仮説を検証するとともに、効率的で近似的に最適な解を提供する。

提案手法

• 一般グラフにおけるアフィン遅延関数に対して、均衡制約を緩和する単純なアルゴリズムを提案し、4/3-近似を得る。
• 系列並列グラフの分解木を用いた動的計画法により、離散化されたフローおよび予算空間における最適割り当てを計算する。
• フローと予算の割り当てをそれぞれ $ d\theta $ と $ B\theta $ の倍数としてモデル化するための離散化スキームを適用する。
• 部分グラフ $ H $ に対して、$ k $ 単位の予算と $ l $ 単位のフロー（離散化形）が与えられたもとで、最大パス遅延の最小値を計算する再帰関数 $ D(H,k,l) $ を定義する。
• 最適割り当てが小さい場合に対処するため、スケーリング技術を用い、アンダーフローを回避するとともに近似境界を維持する。
• 最終的な解析において近似比を制限するために、不等式 $ \left(\frac{1+\epsilon}{1-\epsilon}\right)^\nu \leq (1+3\epsilon)^\nu \leq (1+\epsilon') $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 一般グラフにおけるネットワーク改善問題に対して、非自明な近似比を達成できる多項式時間アルゴリズムは存在するか？
• RQ2 一般ネットワークにおけるアフィン遅延関数のもとで、4/3-近似比はタイトか？
• RQ3 並列パスや系列並列グラフなどの制限付き構造に対して、最適アルゴリズムを設計できるか？
• RQ4 系列並列グラフにおいて、アフィン遅延のもとでネットワーク改善問題にFPTASは存在するか？
• RQ5 小さな最適割り当てが、近似アルゴリズムの設計に与える影響は何か？

主な発見

• 単純なアルゴリズムにより、アフィン遅延関数を前提としたネットワーク改善問題に対して4/3-近似比が達成可能であり、この比はタイトである。
• アフィン遅延関数を前提とした並列パスからなるグラフに対しては、最適な多項式時間アルゴリズムが存在する。
• 複数の並列リンクを含む系列並列グラフにおいて、問題は弱いNP困難であることが示され、本質的な計算困難性が裏付けられた。
• 系列並列グラフにおけるネットワーク改善問題に対して、FPTASが開発され、近似比 $ 1 + \rho' $ に対して実行時間は $ O(m^3 \nu^2 / \rho'^2) $ である。
• 最適割り当てが小さい場合でも、アンダーフローを回避するための摂動技術により、割り当てをずらすことでアルゴリズムの有効性が保たれる。
• 最終的な近似比は $ (1 + \rho')^2 $ であり、$ \rho' $ を小さくすることで1に限りなく近づけることができ、近似的に最適性が保証される。