[論文レビュー] Two-Dimensional Pursuit-Evasion in a Compact Domain with Piecewise Analytic Boundary

Andrew Beveridge, Yiqing Cai|arXiv (Cornell University)|May 2, 2015

Guidance and Control Systems参考文献 19被引用数 5

ひとこと要約

本稿は、任意のコンパクトな CAT(0) 空間において、1人の追跡者が「ライオンの戦略」を用いて有限時間内で正確な一致（同一位置）を達成し、追従者を捕らえることができることを確立している。コンパクトな2次元領域で境界が区分的解析的であり、任意のトポロジーを持つ場合、捕らえを保証するには3人の追跡者が十分であることが証明されており、従来の多角形領域からの拡張である。捕らえ時間は O(2k·diam(D) + diam(D)²) で有界であり、diam(D) は領域の直径を表す。

ABSTRACT

In a pursuit-evasion game, a team of pursuers attempt to capture an evader. The players alternate turns, move with equal speed, and have full information about the state of the game. We consider the most restictive capture condition: a pursuer must become colocated with the evader to win the game. We prove two general results about pursuit-evasion games in topological spaces. First, we show that one pursuer has a winning strategy in any CAT(0) space under this restrictive capture criterion. This complements a result of Alexander, Bishop and Ghrist, who provide a winning strategy for a game with positive capture radius. Second, we consider the game played in a compact domain in Euclidean two-space with piecewise analytic boundary and arbitrary Euler characteristic. We show that three pursuers always have a winning strategy by extending recent work of Bhadauria, Klein, Isler and Suri from polygonal environments to our more general setting.

研究の動機と目的

• 完全情報かつ同等の速度のもとで、コンパクトな CAT(0) 空間における単一の追跡者が、d(p,e) = 0 という厳密な捕らえ条件を満たす戦略を確立すること。
• 従来の3人追跡者の結果を多角形領域から、より一般的な2次元領域（境界が区分的解析的）に一般化すること。
• 障害物を伴うトポロジカルに複雑な環境における追跡・回避ダイナミクスを、幾何学的およびトポロジカルな道具を用いて分析すること。
• 捕らえ時間を領域の直径と障害物の数の関数として評価し、有限時間内の捕らえを保証すること。
• ライオンの戦略を非多角的で区分的解析的境界を持つ領域に拡張し、トポロジカル不変性と有界曲率を維持すること。

提案手法

• 追跡者が各ターンで現在の追従者の位置に向かって直接移動するように、ライオンの戦略を CAT(0) 空間に適応する。
• 測地線ガーディングを用いる：追跡者が境界上の点の間の最短経路（測地線）を保護することで、追従者の領域を段階的に縮小する。
• 領域のトポロジカルな分類（タイプ1, 2, 3, 1', 0）を用いて、追従者の封印状態を追跡し、追跡者の行動を誘導する。
• 区分的解析的境界条件を用いることで、有界曲率と障害物間の正の最小距離を保証する。
• 補題を用いて、新たな測地線をガーディングすることにより、追従者が単連結領域に閉じ込められるか、障害物の脅威レベルが低下することを証明する。
• 安全状態または削除状態に移行する障害物の数についての帰納法を用い、最大2kラウンド経過後には追従者が単連結領域に閉じ込められることを示す。

実験結果

リサーチクエスチョン

• RQ1 完全情報かつ同等の速度のもとで、コンパクトな CAT(0) 空間において1人の追跡者が正確な一致（d(p,e) = 0）を達成できるか？
• RQ2 区分的解析的境界と複数の障害物を有する2次元コンパクト領域において、捕らえを保証するには最小で何人の追跡者が必要か？
• RQ3 区分的解析的境界を持つ障害物が存在する場合、多角形領域と比較して追跡・回避ダイナミクスにどのような影響を与えるか？
• RQ4 ライオンの戦略を非多角的で滑らかに境界づく領域に拡張可能か？ その場合、有限の捕らえ時間を保証できるか？
• RQ5 どのようなトポロジカルおよび幾何学的条件が、任意のオイラー乗数を持つ領域で3人の追跡者が追従者を封印・捕らえることを保証するか？

主な発見

• 1人の追跡者がライオンの戦略を用いることで、任意のコンパクトな CAT(0) 空間において、最大で diam(D)² 回のターンで追従者を捕らえ、正確な一致を達成できる。
• 3人の追跡者が、任意の ℝ² 内のコンパクト領域で、境界が区分的解析的である限り、オイラー乗数にかかわらず捕らえを保証する戦略を持つ。
• 捕らえ時間は O(2k·diam(D) + diam(D)²) で有界であり、ここで k は障害物の数、diam(D) は領域の直径を表す。
• 戦略は境界上の点の間の最短測地線をガーディングすることに依存しており、これにより追従者の領域が単連結領域に段階的に縮小される。
• 境界条件により、特異点が有限個に制限され、曲率が ≤ κ_max で有界になり、障害物間の最小距離が ≥ d_min となる。
• すべての k 個の障害物が安全状態または削除状態に移行した後、残りの領域は単連結となり、ライオンの戦略により有限時間内で捕らえが可能になる。