[論文レビュー] Multi-Source Multi-Sink Nash Flows Over Time

Leon Sering, Martin Skutella|arXiv (Cornell University)|Jan 1, 2018

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

ひとこと要約

本稿は、複数の発地・到着地を有するネットワークにおけるナッシュ流の時間的拡張理論を、複数の出発地・到着地ペアと需要を扱える一般化された「リセット付きスリムフロー」の概念を導入することで拡張する。スーパーサンク構成と流入分布モデリングを用いて、この拡張された設定における動的均衡の存在とアルゴリズム的構築可能性を証明し、複数の入口・出口を有する交通・輸送ネットワークにおける実用的応用を可能にする。

ABSTRACT

Nash flows over time describe the behavior of selfish users eager to reach their destination as early as possible while traveling along the arcs of a network with capacities and transit times. Throughout the past decade, they have been thoroughly studied in single-source single-sink networks for the deterministic queuing model, which is of particular relevance and frequently used in the context of traffic and transport networks. In this setting there exist Nash flows over time that can be described by a sequence of static flows featuring special properties, so-called `thin flows with resetting'. This insight can also be used algorithmically to compute Nash flows over time. We present an extension of these result to networks with multiple sources and sinks which are much more relevant in practical applications. In particular, we come up with a subtle generalization of thin flows with resetting which yields a compact description as well as an algorithmic approach for computing multi-terminal Nash flows over time.

研究の動機と目的

• 現実の交通システムをよりよく反映する単一発地単一到着地から複数発地複数到着地ネットワークへのナッシュ流の時間理論の拡張を目的とする。
• 複数の出発地および到着地を横断する個々のエージェント行動を捉えるために、適切な部分フロー構造と流入分布メカニズムを定義することを目的とする。
• スーパーサンク変換を用いて、複数端末ネットワークにおける動的均衡を構成的に計算する手法を確立することを目的とする。
• リセット付きスリムフローの概念を複数の需要をサポートする形に一般化し、アルゴリズム的扱いやすさを維持することを目的とする。

提案手法

• 各到着地 tj に対して、新しいアーク (tj, t) を追加し、伝送時間 τej = δmax − δj および容量 νej = 1/2 · dj · σ を設定することで、スーパーサンク t を導入する。これにより、これらのアークが最短経路に含まれるよう保証される。
• 確定的キューイングモデルにおけるリセット付きスリムフローに関する既存の結果を活用し、拡張ネットワーク G̅ における単一到着地ナッシュ流の時間的構築を実行する。
• 拡張ネットワークにおいて、小さな容量と適切に選ばれた伝送時間のおかげで、すべての新しいアークがすべての粒子 φ ≥ 0 に対して活性であることを証明する。これにより、キューの蓄積が保証される。
• すべての新しいアークが活性である G̅ の任意のリセット付きスリムフローに対して、静的フロー分解 x′|E = x′¹ + ⋯ + x′ᵐ が存在し、各 x′ʲ が内部ノードでフローを保存し、値が dj に等しいことを示す。
• この分解を用いて、元のネットワーク G における部分フローの時間的分解を誘導し、誘導されたフローが需要を満たすナッシュ流条件を満たすことを証明する。
• 元のエッジに制限された拡張ナッシュ流と、流入分布の組み合わせが、需要 d₁, ..., dₘ を満たす有効なナッシュ流の時間的解を生成することを確立する。

実験結果

リサーチクエスチョン

• RQ1 時間的ルーティングゲームにおけるリセット付きスリムフローの概念を、複数の発地および到着地をサポートする形に一般化できるか？
• RQ2 与えられた需要を持つ複数端末ナッシュ流の時間的解に対して、部分フローの時間的分解をどのように定義できるか？
• RQ3 スーパーサンク変換を用いて、複数発地複数到着地ネットワークにおける動的均衡をアルゴリズム的に構築することは可能か？
• RQ4 新しいアークが活性のまま保たれ、均衡が有効であることを保証するために、拡張ネットワークが満たすべき構造的性質は何か？

主な発見

• 確定的キューイングモデル下で、複数の発地および到着地と与えられた需要を持つナッシュ流の時間的解は、複数端末ネットワークにおいて存在する。
• この存在性は、複数端末問題を単一到着地問題に変換するスーパーサンク構成によって証明され、既存のリセット付きスリムフロー理論の活用が可能になる。
• すべての新しいアーク (tj, t) は、その小さな容量と最短経路に含まれるよう設定された伝送時間のおかげで、すべての粒子 φ ≥ 0 に対して活性である。
• すべての新しいアークが活性である拡張ネットワークの任意のリセット付きスリムフローにおいて、フローは m 個の静的フローに分解可能であり、各フローは内部ノードでフローを保存し、値が dj に等しい。
• 拡張ナッシュ流を元のネットワークに制限することで、需要 d₁, ..., dₘ を満たす有効なナッシュ流の時間的解が得られ、ナッシュ流条件および部分フロー分解を満たすことが保証される。
• 本手法は、単一到着地ナッシュ流の計算に還元することで、複数端末ネットワークにおける動的均衡を構成的に計算するアルゴリズム的アプローチを提供する。