[論文レビュー] Efficient Carpooling and Toll Pricing for Autonomous Transportation

Saurabh Amin, Patrick Jaillet+1 more|arXiv (Cornell University)|Feb 18, 2021

Transportation and Mobility Innovations参考文献 21被引用数 4

ひとこと要約

本稿では、自律走行輸送ネットワークにおける効率的なカープールおよび通行料設定のメカニズムを提案し、線形計画法と組み合わせオークション理論を用いて、個々の合理性、財政的均衡、安定性を満たす市場均衡を保証する。ネットワークが系列並列であり、乗客のカープール不満度が均一である場合、社会的最適な均衡が存在し、多項式時間で計算可能であることを証明している。

ABSTRACT

In this paper, we address the existence and computation of competitive equilibrium in the transportation market for autonomous carpooling first proposed by [Ostrovsky and Schwarz, 2019]. At equilibrium, the market organizes carpooled trips over a transportation network in a socially optimal manner and sets the corresponding payments for individual riders and toll prices on edges. The market outcome ensures individual rationality, stability of carpooled trips, budget balance, and market clearing properties under heterogeneous rider preferences. We show that the question of market's existence can be resolved by proving the existence of an integer optimal solution of a linear programming problem. We characterize conditions on the network topology and riders' disutility for carpooling under which a market equilibrium can be computed in polynomial time. This characterization relies on ideas from the theory of combinatorial auctions and minimum cost network flow problem. Finally, we characterize a market equilibrium that achieves strategyproofness and maximizes welfare of individual riders.

研究の動機と目的

• 異なった乗客の好みを持つ自律カープールシステムにおいて、競争的市場均衡が存在する条件を確立すること。
• 線形計画法とネットワークフロー最適化を用いて、そのような均衡を計算的に効率的に計算する方法を開発すること。
• 市場清算と財政的均衡を保証しながら、個々の乗客の効用を最大化する戦略証明可能なメカニズムを設計すること。
• プライマル線形計画問題における整数最適解の存在を、市場均衡の存在と同等であると特徴づけること。
• エッジの容量使用を反映し、社会的最適な経路選択を促進する通行料設定を扱えるようにフレームワークを拡張すること。

提案手法

• カープール問題をプライマル線形計画問題として定式化し、その双対問題を導出し、市場均衡の存在を、緩和されたプライマル問題における整数最適解の存在と関連付ける。
• 組み合わせオークション理論と最小費用ネットワークフロー理論を用いて、容量制約付きの乗客の好みと経路割り当てをモデル化する。
• 系列並列ネットワークトポロジーのもとで、移動時間の短い順に経路を選択する貪欲アルゴリズムを適用し、ネットワーク容量を割り当てて総コストを最小化する。
• 単調性および総称代替条件を満たす拡張された乗車価値関数を導入し、ラティスに基づく均衡解析を可能にする。
• 線形計画法の強い双対性を用いて、最適プライマルおよび双対解から均衡結果を導出する。
• 楕円体法を用いて、実行可能性制約を満たす通行料価格を計算し、各経路あたりO(|M|)時間で解ける多項式時間の分離オракルを活用する。

実験結果

リサーチクエスチョン

• RQ1 自律カープールと通行料設定を伴うネットワークおよび好みの条件下で、競争的市場均衡が存在する条件は何か？
• RQ2 社会的最適かつ安定したカープール結果を多項式時間で効率的に計算できるか？
• RQ3 個々の乗客の効用を最大化しつつ、戦略証明性を保証するメカニズムはどのように設計できるか？
• RQ4 特に系列並列構造であるネットワークトポロジーが、線形計画法の緩和問題における整数解の存在を保証する役割を果たすか？
• RQ5 エッジの容量使用を反映し、効率的な経路および乗車組織を促進するように通行料価格をどのように設定できるか？

主な発見

• 市場均衡が存在するための必要十分条件は、最適な乗車組織問題の線形計画法緩和問題が整数最適解を有することである。
• ネットワークが系列並列であり、乗客のカープール不満度が均一である場合、プライマルLPは整数最適解を保証され、均衡の存在が保証される。
• 移動時間の短い順に経路を選択し、容量をそれに応じて割り当てる貪欲アルゴリズムを用いることで、最適な乗車割り当てを多項式時間で計算可能である。
• 最大ワラス均衡価格ベクトルを選択することで、個々の乗客の効用を最大化する戦略証明均衡が達成され、同時に徴収される総通行料収入も最小化される。
• 楕円体法を用いて、市場清算制約を満たす通行料価格を多項式時間で計算可能であり、各経路あたりの分離オラクルはO(|M|)時間で解ける。
• 均衡結果は、個々の合理性、カープールされた乗車の安定性、財政的均衡、市場清算を保証しており、これらすべての性質は強い双対性および解空間のラティス構造から導出される。