幅優先探索BFS
シミュレータで実行可解説: 下書き
解説準備中
このページはまだ骨格だけです。原論文との照合が済んでいないため、 解説本文は掲載していません。推測で書いた説明を載せない方針のためです。
解説を書くために必要なもの
- 原論文の該当節と Algorithm 番号の特定
- 疑似コードと PDF の目視照合
- シミュレータの実装が原論文と一致するかの確認
マニフェストに記録されている補足
しばしば引用される Moore (1959) The shortest path through a maze の書誌情報を CrossRef で確認できなかったため primary_paper_ids は空。捏造を避けて空のままにしてある。要調査。単位コストグラフでの最短性・有限グラフでの完全性は教科書的事実だが、原典を特定できるまで guarantees は unknown のままにする。
下の「原論文」節に、確認済みの出典と入手先を載せています。 書き方の規約は このサイトについて を参照してください。
完全性・最適性などの保証
| 完全性 | 不明 |
|---|---|
| 最適性 | 不明 |
| 対象 | single-agent |
適用範囲の注意: しばしば引用される Moore (1959) The shortest path through a maze の書誌情報を CrossRef で確認できなかったため primary_paper_ids は空。捏造を避けて空のままにしてある。要調査。単位コストグラフでの最短性・有限グラフでの完全性は教科書的事実だが、原典を特定できるまで guarantees は unknown のままにする。
保証の根拠（原論文の記述）
rmca-ral-2021 PDF pp.1–4（Problem Formulation、式 (1)、Algorithm 1–2）を確認したが、RMCA の完全性・最適性を述べる保証定理・補題は確認できなかった。p.3 の TTD は目的関数の定義であり、保証ではない。
原論文
この手法に対応する原論文は、まだマニフェストへ登録されていません。
公開実装
対応する公開実装は、まだマニフェストへ登録されていません。