Flow-Based Task Assignment for Large-Scale Online Multi-Agent Pickup and Delivery

Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey
採択先: 未取得 ・ 2025-08-07 ・ source: arxiv
新着論文公開日 2025-08-07キーワード一致 2被引用 0関連度 5本文(arXiv)読む価値 4/5
2万エージェント超の超大規模設定で、計算量と割り当て品質を両立した点が極めて強力。フローを用いた経路誘導の統合も実用的で、MAPD研究者には必読。
本文取得済み: 本文(arXiv)を根拠に要約しています。
Multi-Agent Pickup and DeliveryMAPD
一言で: 大規模なオンライン Multi-Agent Pickup and Delivery (MAPD) において、エージェントとタスク間の全ペア距離計算を回避し、環境グラフ上で最小費用流 (minimum-cost flow) としてタスク割り当てを行うフローベースのフレームワークを提案する。本手法は、エージェント数 20,000、タスク数 30,000 という超大規模設定においても 1 秒以内の計画時間を維持し、混雑を考慮したエッジコストモデルを用いることで、既存の Greedy や RMCA などの手法を上回るスループットとスケーラビリティを実現する。

どんなもの?

本研究は、動的に発生するタスクを継続的に処理するオンライン MAPD 問題を対象としている。従来の Token Passing (TP) や TPTS といった手法は、貪欲な割り当てにより計算は高速だが、エージェント数の増加に伴い割り当ての質が低下し、ボトルネックが発生する課題がある。また、既存のオフライン手法は全タスクの事前知識を前提としており、数千規模のエージェントに対するリアルタイムな応答が困難である。本研究では、2D グリッドマップ $\mathcal{G} = (\mathcal{V}, \mathcal{E})$ 上で、エージェントが衝突を避けつつ、ピックアップからデリバリーまでの一連の動作を繰り返す環境において、計算効率と割り当て品質を両立する手法を模索している。

先行研究と比べてどこがすごい?

第一に、エージェントとタスクの全ペア間の距離行列計算を不要とする、マップのトポロジーを直接利用した空間フローベースのタスク割り当てフレームワークを提案した。第二に、プランナーの探索負荷を軽減するために、フロー解からガイドパスを $O(N)$ で抽出する手法を導入し、経路計画との効率的な統合を実現した。第三に、頂点混雑 $C_{vertex}(v)$ や対向流混雑 $C_{contra}(u, v)$、あるいは過去の平均待ち時間を用いた、リアルタイムの交通量予測を組み込んだ 2 種類の混雑考慮型エッジコストモデルを導入した。これにより、大規模環境においても混雑を回避し、エージェントを分散させることでスループットを向上させた。

技術や手法のキモはどこ?

タスク割り当ては、マップの各セルをノードとし、エージェント位置へ接続するソースとタスク位置へ接続するシンクを持つネットワークにおける最小費用流問題として定式化される。従来の線形割り当て法が $O(AT)$ 個のエッジを必要とし計算量が $O(A^3)$ となるのに対し、提案手法はエッジ数をマップ規模 $N$ に基づく $O(N)$ 程度に抑え、計算量を $O(N^2 \log N)$ に削減している。経路計画には Guided PIBT を採用し、フローから得られたガイドパスをヒューリスティックとして利用する。エッジコスト $c(u, v)$ には、将来の交通量予測や、過去の平均待ち時間 $\frac{W_{total}}{C_{total}}$ に減衰因子を適用した動的なコストを組み込むことが可能である。

どうやって有効だと検証した?

C++ および LEMON ライブラリを用いて実装し、Random マップ、Warehouse Small (WS)、Sortation Large (SL) などのマップを用いて評価を行った。実験では、エージェント数を数百から 20,000、タスク数を 30,000 規模まで拡張した。結果として、SL マップのような大規模設定において、従来の Linear Assignment が 10 分以上要するのに対し、提案手法は 1 秒以内の制約下で動作した。スループット評価では、Flow-Traffic や Flow-Avg Waiting モデルが、Greedy や Unit Cost 版、および SOTA である RMCA を上回る性能を示した。また、自由セル数が約 650 万に達する Orz や IH といった超大規模マップにおいても、高いスケーラビリティが確認された。

議論はある?(限界・課題)

本手法は、大規模オンライン MAPD において、計算量と割り当て品質のトレードオフを効果的に解決している。特に、フローネットワークを介してタスク割り当てと経路誘導(ガイドパス生成)を同時に行うアプローチは、プランナーの探索オーバーヘッドを大幅に削減する。限界および今後の課題として、より正確で適応的なエッジコストモデルの設計、フローネットワーク構造自体のさらなる改善、および他の MAPD バリアントへのフレームワークの拡張が挙げられている。

セクション別の詳細要約

Flow-Based Task Assignment for Large-Scale Online Multi-Agent Pickup and Delivery

本研究では、動的に発生するタスクを継続的に処理するオンライン Multi-Agent Pickup and Delivery (MAPD) におけるタスク割り当て問題に対し、環境グラフ上での最小費用流 (minimum-cost flow) として定式化する手法を提案している。この手法は、エージェント間のペアワイズな距離計算を不要とし、エージェントへのタスク割り当てと経路誘導を同時に行うことを可能にするほか、プランナーと統合するための効率的なガイドパス抽出を支援する。さらに、リアルタイムの交通量予測を組み込んだ 2 種類の混雑を考慮したエッジコストモデルを導入することで、解の品質を向上させている。実験の結果、本手法は 20,000 エージェントおよび 30,000 タスクという大規模な設定においても 1 秒以内の計画時間を維持し、計算効率と割り当て品質の両面で既存のベースラインを上回る性能を示した。

Introduction

Multi-Agent Pickup and Delivery (MAPD) は、多数のエージェントが共有環境下で衝突を避けつつ、連続的に発生するタスク(ピックアップからデリバリーまで)をリアルタイムに割り当て・実行する問題である。従来の Token Passing (TP) や TPTS は、貪欲な割り当てにより計算は高速だが、エージェント数が増加すると割り当ての質が低下し、ボトルネックが発生する課題がある。また、既存のオフライン手法は、全タスクが事前に既知であることを前提としており、数千規模のエージェントに対するオンラインでの迅速な応答やスケーラビリティに欠ける。本研究では、全ペア間の距離行列を事前に計算する代わりに、マップ上で直接最小費用流 (minimum-cost flow) として解く新しいフローベースのフレームワークを提案する。この手法により、割り当てを決定すると同時にエージェントのガイドパスを生成でき、これがパスプランニングの探索オーバーヘッドを削減して計算時間を短縮する。さらに、リアルタイムの混雑推定を組み込んだ交通量考慮型エッジコストモデルを導入することで、混雑回避とエージェントの分散を実現している。実験では、20,000件以上のエージェントと30,000件以上のタスクが存在する大規模なシナリオにおいて、既存手法を上回る解の質と実行速度を達成し、高いスケーラビリティを示した。

Problem Setup

本問題は、既知の2Dグリッドマップ $\mathcal{G} = (\mathcal{V}, \mathcal{E})$ 上で動作する、大規模なオンライン Multi-Agent Pickup and Delivery (MAPD) 問題を定義している。各エージェントは、動的に発生するタスク集合 $\mathcal{T}$(各タスクはピックアップ地点とデリバリー地点のペア)に対し、ピックアップ後にデリバリーを行う一連の動作を繰り返し実行する。タスクは事前に判明せず、タスク完了時に新たなタスクがプールに追加されることで、プール内のタスク数 $|\mathcal{T}|$ を一定に保つ、あるいは所定のポリシーに従って管理される。システムは離散時間ステップで進行し、エージェントは衝突回避(同一セルへの同時進入や、エッジの逆方向からの同時通行の禁止)を遵守しつつ、スループット(単位時間あたりのタスク完了数)を最大化するようにタスク割り当てと経路計画を行う。実行モデルは、各ステップでアクションの実行時間に相当する固定の計画時間窓が与えられるオンライン形式を採用しており、制限時間内に解を算出できない場合はエージェントが待機することでタスク完了に遅延が生じる。

Related Work

MAPD(Multi-Agent Pickup and Delivery)は、タスク割り当てと経路計画の2つのサブ問題で構成される。経路計画におけるMAPF(Multi-agent path finding)では、Conflict-Based Search (CBS) などの集中型ソルバーが解の質に優れる一方、エージェント数の増加に対してスケーラビリティに課題がある。オンラインMAPFでは、実行中に計画を更新する手法が提案されており、例えば Chen et al. (2024) は各ステップで次のアクションのみを確定させ、実行中に空間ガイドパスを改善することで10,000エージェント規模へのスケーリングを実現している。タスク割り当てに関しては、ハンガリアン法やネットワークフローを用いた最適化、あるいはMRTAやVRPといった関連分野の研究があるが、これらは移動コストをマンハッタン距離等の簡略化されたモデルで扱うことが多く、MAPDにおいて重要な混雑や経路衝突によるコスト増大を無視する傾向がある。オフラインMAPDの手法(CBS-TAやBCP-MAPDなど)は、組み合わせ爆発により数百エージェントを超える規模への対応が困難である。一方、オンラインMAPDの手法であるTP(Token Passing)やTPTS、あるいはRMCAなどは動的なタスクに対応可能だが、計算複雑性の制約から数百エージェント未満の劣最適解に留まることが多い。

Traffic-Guided Planner for Path Planning

本セクションでは、タスク割り当てと経路計画を分離するフレームワークにおいて、最新のオンラインMAPFプランナーであるGuided PIBTを採用した経路計画手法が述べられている。このプランナーは、将来の混雑を考慮した交通量認識型のコストモデルを用いて、各エージェントに対して時間非依存のガイドパスをFocal Searchにより算出する。エッジ $(u, v)$ のコスト $c(u, v)$ は、頂点 $v$ に進入するエージェント数 $n_v$ に基づく頂点混雑 $C_{vertex}(v) = \sum_{t} \mathbb{1}(\text{agent enters } v \text{ at } t)$ と、逆方向の移動を試みるエージェント数 $n_{v,u}$ に基づく対向流混雑 $C_{contra}(u, v) = \sum_{t} \mathbb{1}(\text{agent traverses } (v, u) \text{ at } t)$ を組み合わせて定義される。算出された初期パスは、更新された混雑推定値に基づいて一部のエージェントを反復的に再計画することで洗練され、最終的にルールベースのソルバーであるPIBTが、これらのガイドパスをヒューリスティックとして利用して衝突を回避しながらエージェントの移動を決定する。

Flow Network for Task Assignment

本セクションでは、大規模なオンラインMAPDにおけるタスク割り当て問題を、二部グラフを用いた線形割り当て問題から、マップのトポロジーを直接利用する空間フローベースの手法へと拡張する提案を行っている。従来の線形割り当て法は、エージェント数 $A$ とタスク数 $T$ に対して $O(AT)$ 個のエッジを必要とし、計算量が $O(A^3)$ に達するため、大規模設定ではスケーラビリティに限界がある。これに対し、提案するフローモデルは、マップの各セルをノードとし、ダミーのソース(エージェント位置へ接続)とシンク(タスク位置へ接続)を持つネットワークを構築することで、エッジ数をマップの規模 $N$ に基づく $O(N)$ 程度に抑えている。エッジコストには、単なる単位コストの他に、プランナーによる将来の交通予測や、過去の平均待ち時間 $\frac{W_{total}}{C_{total}}$ に減衰因子を適用した動的な交通コストを導入可能である。フロー解からは、Algorithm 1 に基づき、各エージェントの割り当てタスクと、交通状況を考慮したガイドパスを $O(N)$ で抽出でき、これをプランナーの初期値として与えることで計算を高速化できる。計算量解析によれば、エージェント数がマップサイズに対して線形に増加する場合、線形割り当て法の最悪計算量は $O(N^3)$ となるが、提案手法は $O(N^2 \log N)$ に留まり、大規模問題において極めて高いスケーラビリティを実現している。

Experiments

本研究では、大規模なオンラインMulti-Agent Pickup and Delivery (MAPD) におけるタスク割り当て手法として、ネットワークフローを用いたフレームワークを提案し、C++およびLEMONライブラリを用いて実装している。実験では、標準的なMAPFベンチマークのRandomマップ、およびLoRRコンペティション由来のWarehouse Small (WS) とSortation Large (SL) の2種類の倉庫型マップを用い、エージェント数を数百から20,000規模まで変化させて評価した。実験結果として、従来のLinear Assignment手法がエージェント数の増加に伴い計算量が $O(n^2)$ で増大し、SLマップの規模では10分以内に計算が完了しないのに対し、提案するFlow手法は極めて低い計算時間を維持し、高いスケーラビリティを示すことが確認された。スループットの評価では、厳格な1秒のリアルタイム制約下において、単なる最短経路に基づくFlow-Unit Costよりも、混雑状況を考慮したFlow-TrafficやFlow-Avg Waiting(コストモデルを $\text{Avg Waiting Time}$ とする)の方が、Greedy手法やUnit Cost版を上回る性能を発揮した。また、既存のSOTA手法であるRMCAと比較して、提案手法はタスク密度が高い条件下でもタイムアウトを回避し、一貫して低いmakespanを達成している。さらに、OrzやIHといった超大規模マップ(自由セル数が約650万に達するケース)においても、マンハッタン距離をヒューリスティックとして用いることで、実行可能な計算時間内でGreedyを上回るスループットを実現している。

Conclusion

本研究では、オンラインMAPDにおけるタスク割り当て問題に対し、マップ上で直接動作し、高コストなペアワイズ距離計算を回避する空間フローベースのタスク割り当てフレームワークを提案している。このモデルはリアルタイム実行、プランナーとの統合、および高いスケーラビリティをサポートしており、さらに交通情報をフローに組み込むための軽量な混雑考慮型エッジコストを2種類導入することで、柔軟な調整が可能であることを示した。実験の結果、特にプランナーのウォームスタートや混雑推定と組み合わせた場合に、大規模な設定においてベースライン手法を上回る性能を示すことが確認された。今後の課題として、より正確で適応的なエッジコストモデルの設計、フローネットワーク構造の改善、および他のMAPDバリアントへのフレームワークの拡張が挙げられている。