対象は、障害物を含む8近傍グリッド上で、始点から目標までの最短経路を効率よく求める問題である。JPSとSGはいずれも、同じコストを持つ対称な経路をまとめて扱い、探索すべき頂点を減らす手法だが、実際の処理方式は異なる。従来は、両者の関係や長所・短所が十分に理解されていなかった。本論文はJPSを到達可能性関係と方向拡張グラフによって記述し、SGとの直接比較を行う。
第一の貢献は、JPSもSGと同様に、頂点対を直接結ぶ到達可能性関係を利用することを示した点である。第二に、JPSのすべてのジャンプポイントからなるグラフを抽出し、Jump Point Graphs、略してJPとして定式化した。さらに、対角走査を早く終了できる派生方式として、Diagonal Merged Jump Point Graphs(JPD)を説明する。第三に、JPと派生方式を双方向探索やContraction Hierarchiesと組み合わせ、SGおよび複数の既存手法と比較する実験を行った。著者らは、JPS型の枝刈りを抽象化ベースの高速化技法に組み込むことを初めて可能にしたと主張している。
基礎となるグラフは、障害物のあるマップから作られる8近傍グリッドである。水平・垂直移動のコストは1、対角移動のコストは平方根2であり、対角移動では角を切り抜けない制約を課す。自由空間での距離にはオクタイル距離ヒューリスティックを用いる。JPSは、現在の経路がタウトであり、対角移動を可能な限り早く行う継続だけを残し、その他の対称な後続を枝刈りする。論文は各セルを移動方向ごとに複製した方向拡張グラフを導入し、JPSの探索空間を明示的なグラフとして表現する。JPはジャンプポイント間の意味のある接続を前処理し、検索時には始点と目標を適切なジャンプポイントへ接続して、Connect、Search、Refineに相当する処理で探索と経路復元を行う。クリアランスは特定方向の重要なセルまでの距離情報として前計算され、SGの後続識別とJPSのジャンプ後続生成の双方を高速化する。
実験には、Sturtevantの標準的なグリッド経路探索ベンチマーク、2014年のGrid-based Path Planning Competition(GPPC)からゲーム由来のインスタンス、および同競技会の全インスタンスが用いられた。比較対象はSG、JP、JPD、ならびに各手法へContraction Hierarchiesを適用したCH-SG、CH-JP、CH-JPDであり、基準としてCH-Gも含められた。CH-Gは、双方向Dijkstra探索、stall-on-demand、経路のmidpointer unpackingを用いるContraction Hierarchies実装として扱われている。主な指標はグラフの辺数、展開頂点数、分岐係数、実行時間、記憶容量、前処理時間である。実装は共通のC++基盤から作られ、オクタイル距離ヒューリスティックと二分ヒープ優先度キューを利用した。供給された抜粋には、すべての測定値、各マップの内訳、クエリ数、統計的ばらつきは示されていない。
ゲームマップでは、JPはSGより辺数と展開ノード数が少なく、分岐係数も小さいため、実行時間が数倍速くなったと報告されている。Contraction Hierarchiesを併用するとJP系とSG系の差は縮まるが、CH-JPとCH-SGはいずれも、該当する比較では競技会で無敗とされたCH-Gより速かったとされる。CH-JPの優位性は主にSearchとRefineの高速化から生じ、Connectは両方式で同程度だった。JPの目標挿入には最悪時に線形時間が必要だが、実験では実用上高速だった。もっとも、JPの利点はすべての地図で保証されず、ランダムマップやGPPC全体ではCH-Gより遅い結果も報告されている。JPまたはJPDとContraction Hierarchiesを組み合わせる際の追加最適化は、将来課題として残されている。
JPSとSGは、グリッド上の対称性を利用して最適経路探索を高速化する代表的な手法である。JPSは探索中に不要な後続を枝刈りし、方向に沿ってジャンプする一方、SGはオフライン前処理で重要な頂点をサブゴールとして選び、抽象化されたグラフを構築する。両者は、重要な頂点間の直接的な到達可能性を利用するという共通点を持つ。本論文は、JPSを単なるオンライン枝刈り規則として扱うのではなく、前処理可能なグラフとして整理する。
入力は、各セルが障害物または通行可能セルである8近傍グリッドマップである。水平・垂直移動と対角移動を組み合わせ、角抜けを許さずに始点から目標への最小コスト経路を求める。障害物のない自由空間で最短となる経路は、実際のグラフ上のすべての移動が通行可能な場合に限って利用できる。課題は、最適性を失わずに、移動順序の違いだけで生じる対称な経路と不要な頂点展開を減らすことである。
JPは、各セルと各移動方向の組を頂点とする方向拡張グラフによってJPSの状態を表す。ジャンプポイントを利用して、直進および対角優先の走査を必要な箇所で停止し、探索グラフの接続を構成する。JPDは凸角に追加のジャンプポイントを置くことで対角走査を早く終了させ、供給された抜粋では、マップの幅と高さの積に比例する時間と空間で構築できるとされる。検索時にはクリアランスの定数時間参照によって始点の直進後続を得て、対角方向では追加のクリアランス確認を行う。
実験環境は3.6GHzのIntel Core i7-7700 CPUと32GBメモリであり、実装はC++である。SGとCH-SGは各セルについて8方向のクリアランスを保存し、JPとCH-JPは前進・後退クリアランスを保存するため、1セルあたり合計16個の値を持つ。各クリアランスは1バイトで、255を超える距離は複数ステップで取り出す。すべての探索はオクタイル距離ヒューリスティックと二分ヒープを用いる。供給された抜粋には、実行回数、各マップのクエリ数、サンプル数、統計的な不確実性は確立されていない。
ゲーム由来のGPPC集合では、JPはSGより大幅に少ない辺を持ち、展開ノード数、分岐係数、実行時間でも有利だったと報告されている。CH-JPはCH-SGよりSearchとRefineが速く、両者のConnectは同程度であり、両手法とも該当する比較ではCH-Gより速かったとされる。JPS+BBとの比較では、抜粋はCH-JPについて、CH-Gに対して4.83倍速く、記憶容量が49パーセント少なく、前処理が51パーセント短いと記述している。ただし、比較条件の全詳細は抜粋から確認できない。全GPPC集合ではJPはCH-Gより7.48倍遅く、ランダムマップではJPがCH-Gより二桁遅いという不利な結果も報告されている。
論文は、JPSとSGが共通して直接的な到達可能性構造を利用することを理論的に示した。すべてのジャンプポイントを含むJPにより、JPS型枝刈りを前処理、双方向探索、Contraction Hierarchiesと組み合わせられる。著者らは、JPがランダムマップを含めてSGを一様に上回ると結論づけ、特にゲームマップでグリッド経路探索の最先端を改善したと主張している。供給された結果は一部のベンチマークで強い利点を示す一方、ランダムマップとGPPC全体では不利な結果も示している。
供給された本文は中間部分が省略されているため、定理の完全な仮定、証明、アルゴリズムの全手順は確認できない。結果の多くはベンチマーク集合ごとの集約的な記述であり、個別マップ、クエリ数、分散、統計的検定は確立されていない。JPは目標挿入に最悪時線形時間を要し、方向ごとのクリアランス保存にも追加の記憶容量が必要である。ランダムマップではJPがCH-Gより二桁遅く、全GPPC集合でも不利になる場合がある。さらに、供給資料が評価しているのは単一エージェントのグリッド経路探索であり、MAPFやMAPDへの直接的な性能・正確性は確立されていない。
本研究の重要性は、オンライン枝刈りとして知られていたJPSを、抽象化と前処理を利用する明示的なグラフとして統一的に捉えた点にある。これにより、JPSをContraction Hierarchiesなどの既存の高速化技法と組み合わせる設計空間が開かれる。ゲーム向けグリッド経路探索では、最適経路を維持しながら探索量を大きく削減できる可能性を示した。同時に、探索展開数だけでなく、前処理、記憶容量、接続、経路復元を含む総コストが地図の種類に依存することも明らかにしている。
グリッド上の最適経路探索、JPS、Subgoal Graphs、Contraction Hierarchiesを研究する読者に適している。特に、対称性の枝刈りと前処理型抽象化の関係を理解したい人、ゲームマップとランダムマップにおける実装上のトレードオフを調べたい人に勧められる。MAPFやMAPDの研究者は、これを単一エージェントの低レベル計画に関する基盤技術として読むべきであり、複数エージェント問題での性能は供給資料からは確立されていない。