Lifelong LaCAM with Local Guidance for Lifelong MAPF

Tomoki Arita, Keisuke Okumura
採択先: 未取得 ・ 2026-05-16 ・ source: arxiv
補充候補公開日 2026-05-16キーワード一致 1被引用 0関連度 4本文(arXiv)読む価値 4/5
LaCAMに局所ガイダンスとウォームスタートを導入し、LMAPFの計算量とスループットのトレードオフを劇的に改善しており、実用性が極めて高い。
本文取得済み: 本文(arXiv)を根拠に要約しています。
MAPF
一言で: Lifelong Multi-Agent Pathfinding (LMAPF) において、構成ベースのソルバー LaCAM に局所的なガイダンス(Local Guidance)を導入し、再帰的ホライゾン(receding-horizon)フレームワークへと拡張した手法 LLLG を提案する。本手法は、前回の計画結果をウォームスタートとして利用することで、高密度な環境下での混雑緩和とスループットの向上を、リアルタイムな計算コストを維持しつつ実現する。

どんなもの?

本研究は、エージェントがタスク完了後に新たな目標を継続的に受け取る Lifelong MAPF (LMAPF) 設定における、リアルタイムかつ高スループットな経路計画問題を対象としている。既存の RHCR フレームワークは、CBS/PBS スタイルの高レベルな分岐と再計画に依存するため、高密度な環境では計算コストが累積し性能が低下する課題がある。一方で、PIBT や LaCAM といった高速なサブオプティマル・ソルバーは、目標指向の動作が混雑を誘発し、スループットが低くなる傾向がある。本研究は、予測される高トラフィックなセルへの移動や過度な待機にペナルティを課すコスト設計に基づき、混雑を回避する LLLG を提案する。

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

提案手法 LLLG は、構成ベースの LaCAM に局所的なガイダンスを組み込み、LMAPF 設定へと拡張した点に貢献がある。具体的には、再帰的ホライゾンに基づくウィンドウ化された計画フレームワークを採用し、前回の解からガイダンスをウォームスタートすることで時空間的な手がかりを注入する。これにより、高密度かつ狭小な環境においても高いタスク完了スループットを維持しながら効果的にスケールすることが可能となった。実験では、ボトルネックのある `ht_chantry` インスタンスにおいて、RHCR に対してスループットを 81% 向上させつつ、実行時間を 96% 短縮するという顕著な成果を達成している。

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

LLLG は、$\omega$ ステップの窓内で衝突数を最小化する局所的なガイダンスパス $\mathcal{P}_i$ を構築し、PIBT のコスト関数を $c(v) = (\mathbb{I}(v \notin \mathcal{P}_i), d(v, g_i), \epsilon_i)$ と拡張することで、ガイダンスに沿った移動を優先させる。計画には、探索を深さ $w$ で打ち切る windowed planning を採用し、前ステップの解の接尾辞 $\pi_{t-1}$ からガイダンスを初期化する $\text{LLLG}_{\Pi}$ というウォームスタート手法を導入している。また、$\text{LaCAM}^*$ を用いた anytime な最適化や、一部の経路を再計画する Large Neighborhood Search (LNS) を組み合わせることが可能である。LNS における経路コストは、目標未到達時に $c_{step}=1$、到達済みに $c_{step}=0$ と定義され、さらに近傍エージェントへの妨害を推定する hindrance を PIBT の順位付けに統合している。

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

実験では、800〜1,000 エージェント、500 ステップといった大規模な条件下で、RHCR、PIBT、LaCAM、Guided-PIBT、WPPL と比較評価を行った。結果として、LLLG は高密度シナリオにおいて RHCR と同等以上のスループットを維持しつつ、計算時間を約 10 倍高速化することに成功した。特に 1,000 体規模の倉庫マップにおいて、1 ステップあたり $20\text{ms}$ 以内の計算時間を維持しながら、PIBT に対して約 30% のスループット向上を達成している。また、分析により、ガイダンスのみを継承する $\text{LLLG}_{\Phi}$ よりも、前ステップの解を初期値とする $\text{LLLG}_{\Pi}$ の方が効果的であることが示された。

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

本研究は、有限ホライゾンの解そのものではなく、前ステップの解から得られる衝突のない短期的な予測を利用してローカルガイダンスをウォームスタートする設計の有効性を示した。しかし、プランニングホライゾンやガイダンスウィンドウのサイズを大きくしても、スループットの向上には収穫逓減が見られるという限界も確認されている。これは、LMAPF において将来のゴール割り当てが未知であるため、長期間のプランニングが将来的に無関係な予測の最適化に費やされる可能性があることに起因する。今後の課題として、予測可能なゴール分布などの追加情報の活用や、ライフロングなスループットと整合する anytime refinement 用のコスト評価手法の探索が挙げられる。

セクション別の詳細要約

Lifelong LaCAM with Local Guidance for Lifelong MAPF

本研究では、リアルタイムかつ劣最適解を許容するマルチエージェント経路計画(MAPF)において、構成ベースのソルバーである LaCAM に局所的なガイダンス(Local Guidance)を導入した手法を、継続的なタスク割り当てが発生する Lifelong MAPF (LMAPF) 設定へと拡張した LLLG を提案している。LLLG は、再帰的ホライゾン(receding-horizon)に基づくウィンドウ化された計画フレームワークを採用しており、各タイムステップにおいて前回の解からガイダンスをウォームスタートすることで、時空間的な手がかりをエージェントに注入する。この手法により、混雑の緩和や待機時間の削減が可能となり、高密度かつ狭小な環境においても高いタスク完了スループットを維持しながら効果的にスケールする。実験の結果、LLLG は既存のプランナーを凌駕し、リアルタイム LMAPF における最先端の性能を達成している。

1 Introduction

Lifelong Multi-Agent Pathfinding (LMAPF) は、エージェントがタスク完了後に新たな目標を継続的に受け取る設定であり、衝突回避と長期的なスループットの維持、および実時間での計画策定が求められる。既存の RHCR フレームワークは、CBS/PBS スタイルのソルバーを用いた高レベルの分岐と再計画に依存するため、高密度な環境では計算コストが累積し、性能が著しく低下する課題がある。一方、PIBT や LaCAM は高密度下でも実行可能性を維持できる高速なサブオプティマル・ソルバーであるが、目標指向の動作が混雑を誘発するため、スループットが低い。本研究では、局所的なガイダンスを用いて混雑を緩和する Lifelong LaCAM with Local Guidance (LLLG) を提案しており、これは予測される高トラフィックなセルへの移動や過度な待機にペナルティを課し、迂回や時間シフトを推奨するコスト設計に基づいている。実験では、800 エージェント、500 ステップの条件下で評価されており、例えばボトルネックのある `ht_chantry` インスタンスにおいて、LLLG は RHCR に対してスループットを 81% 向上させつつ、実行時間を 96% 短縮することに成功している。

2 Preliminaries

Lifelong Multi-Agent Pathfinding (LMAPF)は、無向グラフ上でエージェント群が各ステップで目標に到達するたびに新しい目標を割り当てられ、無限の衝突回避経路を生成する問題であり、評価指標として単位時間あたりのタスク完了数であるスループット $\text{throughput}$ が用いられる。本研究の手法は、各ステップで計画を再計算し最初の1ステップのみを実行する後退ホライゾン(Receding Horizon)方式を採用しており、計算効率化のために前ステップの計画結果を初期値として利用するウォームスタート(warm start)を導入している。一時点の計画(one-shot MAPF)には、高レベルな探索とPIBTによる遅延的な後続状態生成を組み合わせたLaCAMを使用し、PIBTでは目標までの最短距離 $d(v, g_i)$ とランダムなタイブレーク項 $\epsilon_i$ を用いた辞書式コスト $c(v) = (d(v, g_i), \epsilon_i)$ に基づいて移動を選択する。提案手法であるLG-LaCAMは、高密度環境での混雑を回避するため、$\omega$ ステップの窓内で衝突数を最小化する局所的なガイダンスパス $\mathcal{P}_i$ を構築し、PIBTのコスト関数を $c(v) = (\mathbb{I}(v \notin \mathcal{P}_i), d(v, g_i), \epsilon_i)$ と拡張することで、ガイダンスに沿った移動を優先させる。さらに、LaCAM$^*$を用いることで、初期の実行可能解を枝刈り付きの探索によって逐次改善するAnytimeな最適化が可能となっている。

3 Method

Lifelong LaCAM with Local Guidance (LLLG)は、Lifelong MAPF (LMAPF) において、one-shot MAPFのLocal Guidance (LG) を活用する後退ホライゾン(receding-horizon)フレームワークである。LLLGは、計算コストを抑えつつ短期的な混雑を回避するため、高レベル探索を深さ $w$ で打ち切るwindowed planningを採用しており、探索が深さ $w$ に達した際に、ルートからそのノードまでの構成のバックトラックシーケンスを $w$-stepのwindowed planとして扱う。前ステップの計画情報を再利用する手法として、ルート構成において前ステップの解の接尾辞 $\pi_{t-1}$ からガイダンスを初期化する $\text{LLLG}_{\Pi}$ を提案しており、これが $\text{LLLG}_{\Phi}$ よりも効果的であることを示している。各ステップでは、初期の $w$-step計画に対し、時間制限内で探索を継続する $\text{LaCAM}^*$ や、一部のエージェントの経路を再計画する Large Neighborhood Search (LNS) を用いたanytime refinementが可能である。LNSにおける経路コストは、エージェントが目標に未到達なら $c_{step}=1$、到達済みなら $c_{step}=0$ と定義され、ヒューリスティックは目標到達前は $h$、到達後は $0$ とされる。さらに、PIBTの候補移動の順位付けに、近傍エージェントへの妨害を推定するhindranceを統合することで、短期間のブロックを軽減している。

4 Evaluation

本実験では、MAPFベンチマークのマップを用い、スループット(実行タイムステップあたりの完了タスク平均数)と実行時間(実行タイムステップあたりの計算時間)を評価指標として、提案手法であるLLLG(Lifelong LaCAM with Local Guidance)の性能を検証している。比較対象として、RHCR、PIBT、LaCAM、Guided-PIBT、およびWPPLといった主要なLMAPF手法が用いられた。実験結果によれば、LLLGは高密度なシナリオにおいて、RHCRと同等以上のスループットを維持しつつ、計算時間は約10倍高速であり、PIBTベースの手法よりも一貫して優れた解を生成することが示された。特に、エージェント数が1,000体に達する大規模な倉庫マップのスケールアップ試験においても、LLLGは1ステップあたり $20\text{ms}$ 以内の計算時間を維持し、PIBTに対して約30%のスループット向上を達成している。設計の妥当性に関する分析では、前ステップの解を初期値として利用するウォームスタート($\text{LLLG}_{\Pi}$)が、ガイダンスのみを継承する場合($\text{LLLG}_{\Phi}$)よりも効果的であることが示された。また、ガイダンスの更新頻度についても、各ステップでオンラインに更新・洗練を行うことが、長期的なスループットの維持に不可欠であることが明らかになった。

5 Discussion

本研究は、Lifelong MAPFにおいてローカルガイダンスを導入することで、リアルタイムの計算予算内でスループットを向上させ、密なボトルネックを緩和できることを示した。設計上の重要な選択として、有限ホライゾンの解そのものをウォームスタートするのではなく、前ステップの解から得られる衝突のない短期的な予測を利用してローカルガイダンスをウォームスタートする手法を採用している。実験的には、プランニングホライゾンおよびガイダンスウィンドウのサイズを大きくしても、スループットの向上には収穫逓減が見られ、飽和する傾向があることが確認された。この限界の要因として、LMAPFではタスク完了後の将来のゴール割り当てが未知であるため、長期間のプランニングが将来的に無関係となる予測の最適化に費やされる可能性が挙げられる。今後の課題として、将来のゴール割り当てや予測可能なゴール分布といった追加情報の活用、およびライフロングなスループットとより整合する、anytime refinementのためのコスト評価手法の探索が示唆されている。