手法比較

docs/sources/algorithms.yaml から生成しています。 同じ情報を複数箇所へ手書きしていないので、マニフェストを直せばここも変わります。

「不明」は「保証が無い」ではありません。原論文の該当箇所をまだ確認できていない、という意味です。 確認できたものだけを「あり」「なし」と書いています。

「最適」と「条件付き(eventually optimal など)」は別物です。各手法のページで根拠を確認してください。

手法対象問題完全性最適性準最適保証一括/オンライン分類実装状態シミュレータ
幅優先探索BFS単一エージェント不明不明なし一括基礎探索実行可対応
A*A*単一エージェント不明不明なし一括基礎探索実行可対応
時空間 A*Space-Time A*one-shot MAPF不明不明なし一括時間拡張探索実行可対応
SIPPSafe Interval Path Planning単一エージェント / one-shot MAPF / 連続時間 MAPFあり最適なし一括時間拡張探索実行可対応
優先順位付き計画Prioritized Planningone-shot MAPFなしなしなし一括優先順位付き計画実行可対応
Cooperative A*Cooperative A* (CA*)one-shot MAPFなし不明なし一括優先順位付き計画実行可対応
HCA*Hierarchical Cooperative A*one-shot MAPFなし不明なし一括優先順位付き計画実行可対応
WHCA*Windowed Hierarchical Cooperative A*one-shot MAPF / lifelong MAPF不明不明なしオンライン優先順位付き計画実行可対応
CBSConflict-Based Searchone-shot MAPF条件付き最適なし一括CBS系実行可対応
BCBSBounded CBSone-shot MAPFありなしあり一括CBS系実行可対応
ECBSEnhanced CBSone-shot MAPFありなしあり一括CBS系実行可対応
ICBSImproved CBSone-shot MAPF条件付き最適なし一括CBS系一部実装対応
EECBSExplicit Estimation CBSone-shot MAPF不明なしあり一括CBS系実行可対応
PBSPriority-Based Searchone-shot MAPF不明なしなし一括優先順位付き計画実行可対応
ICTSIncreasing Cost Tree Searchone-shot MAPF不明最適なし一括ICTS・結合状態・M*系実行可対応
M*Subdimensional Expansion / M*one-shot MAPFあり最適なし一括ICTS・結合状態・M*系実行可対応
PIBTPriority Inheritance with Backtrackingone-shot MAPF / lifelong MAPF条件付きなしなしオンラインPIBT・LaCAM系実行可対応
winPIBTwindowed PIBTone-shot MAPF / lifelong MAPF条件付き不明なしオンラインPIBT・LaCAM系実行可対応
LaCAMLazy Constraints Addition search for MAPFone-shot MAPFありなしなし一括PIBT・LaCAM系実行可対応
LaCAM*LaCAM starone-shot MAPFあり条件付きなし一括PIBT・LaCAM系実行可対応
Push and SwapPush and Swapone-shot MAPFなしなしなし一括Push系実行可対応
Push and RotatePush and Rotateone-shot MAPF条件付きなしなし一括Push系実行可対応
MAPF-LNSAnytime Multi-Agent Path Finding via Large Neighborhood Searchone-shot MAPF不明なしなし一括LNS系実行可対応
MAPF-LNS2MAPF-LNS2: Fast Repairing for Multi-Agent Path Finding via Large Neighborhood Searchone-shot MAPFなしなしなし一括LNS系実行可対応
RHCRRolling-Horizon Collision Resolutionlifelong MAPFなしなし不明オンラインLifelong MAPF実行可対応
TPToken PassingMAPD条件付き不明なしオンラインMAPD実行可対応
TPTSToken Passing with Task SwapsMAPD条件付き不明なしオンラインMAPD実行可対応
CENTRALCENTRALMAPDなしなしなしオンラインMAPD実行可対応
MLA*Multi-Label A*MAPD不明不明なしオンラインMAPD内部実装あり(単体では実行不可)
HBHHungarian-Based / h-value-Based HeuristicMAPD不明不明なしオンラインMAPD内部実装あり(単体では実行不可)
RMCARMCAMAPD不明不明なしオンラインMAPD実行可対応
Regret 挿入法Regret insertionMAPD不明不明不明オンラインLNS系内部実装あり(単体では実行不可)
LNS-PBSLNS-PBSMAPD条件付き不明なしオンラインMAPD実行可対応
LNS-wPBSLNS-wPBSMAPDなし不明なしオンラインMAPD実行可対応
CBMConflict-Based Min-Cost-FlowTAPFあり最適なし一括TAPF・タスク割当実行可対応
CBS-TACBS with Task AssignmentTAPFあり最適なし一括TAPF・タスク割当実行可対応
ハンガリアン法Hungarian Method割当あり最適なし一括TAPF・タスク割当内部実装あり(単体では実行不可)
Gale-ShapleyGale-Shapley / Deferred Acceptance割当あり条件付きなし一括TAPF・タスク割当内部実装あり(単体では実行不可)
最小費用最大流Min-Cost Max-Flowフロー / TAPF条件付き条件付きなし一括TAPF・タスク割当実行可対応
PRIMALPRIMALone-shot MAPF不明不明なし一括学習ベース解説のみ
PRIMAL2PRIMAL2lifelong MAPF不明不明なしオンライン学習ベース解説のみ

「低レベル探索」「主な目的関数」の列は、原論文での確認が済んだ手法が増えた段階で追加します。 現時点で埋めると推測になるため、列ごと出していません。