[论文解读] 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) 空间中，一个追捕者可使用狮子策略在有限时间内实现精确重合捕获。对于具有分段解析边界和任意拓扑结构的紧致二维区域，证明了三个追捕者足以保证捕获，将先前针对多边形环境的结果推广至一般分段解析环境，捕获时间有界，为 O(2k·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.

研究动机与目标

• 在严格捕获条件 d(p,e) = 0 下，为紧致 CAT(0) 空间中的单个追捕者建立获胜策略。
• 将先前针对多边形环境的三追捕者结果推广至更一般的二维区域，边界为分段解析。
• 在具有障碍物的拓扑复杂环境中，利用几何与拓扑工具分析追捕-逃避动力学。
• 以区域直径和障碍物数量为参数，界定捕获时间，确保有限时间捕获。
• 在保持拓扑不变性与有界曲率的前提下，将狮子策略扩展至非多边形、分段解析边界区域。

提出的方法

• 将狮子策略适配至 CAT(0) 空间，追捕者在每一步直接朝向逃逸者的当前位置移动。
• 采用测地线防护策略：追捕者保护边界点之间的最短路径，逐步缩小逃逸者的活动区域。
• 应用区域的拓扑分类（类型 1、2、3、1'、0）以追踪逃逸者被限制的状态，并指导追捕者行动。
• 利用分段解析边界条件，确保曲率有界且障碍物之间保持正的最小间距。
• 通过引理证明：防护一条新测地线要么将逃逸者困于单连通区域，要么降低障碍物的威胁等级。
• 通过障碍物状态转换（安全或移除）的归纳法，证明在最多 2k 轮后，逃逸者将被限制于单连通区域。

实验结果

研究问题

• RQ1 在完全信息与相同速度条件下，单个追捕者是否可在紧致 CAT(0) 空间中实现精确重合（d(p,e) = 0）？
• RQ2 在具有分段解析边界和多个障碍物的二维紧致区域内，保证捕获所需的最少追捕者数量是多少？
• RQ3 与多边形区域相比，具有分段解析边界的障碍物如何影响追捕-逃避动力学？
• RQ4 狮子策略能否扩展至非多边形、光滑边界区域，同时保持有限捕获时间？
• RQ5 哪些拓扑与几何条件可确保三个追捕者在具有任意欧拉示性数的区域内实现对逃逸者的限制与捕获？

主要发现

• 在任意紧致 CAT(0) 空间中，一个追捕者可使用狮子策略在最多 diam(D)² 步内捕获逃逸者，实现精确重合。
• 在 ℝ² 中任意具有分段解析边界的紧致区域中，三个追捕者均具有获胜策略，与欧拉示性数无关。
• 捕获时间有界于 O(2k·diam(D) + diam(D)²)，其中 k 为障碍物数量，diam(D) 为区域的直径。
• 该策略依赖于对边界点之间最短测地线的防护，逐步将逃逸者的活动区域缩小至单连通区域。
• 边界条件确保仅有有限个奇点，曲率有界（≤ κ_max），且障碍物之间保持正的最小间距（≥ d_min）。
• 在所有 k 个障碍物均进入安全或移除状态后，剩余区域为单连通区域，可使用狮子策略在有限时间内实现捕获。