[论文解读] Chasing Puppies: Mobile Beacon Routing on Closed Curves

Mikkel Abrahamsen, Jeff Erickson+6 more|arXiv (Cornell University)|Jan 1, 2021

Robotic Path Planning Algorithms参考文献 19被引用 2

一句话总结

本文证明，只要小狗始终沿直线距离最小化方向移动，人类便总能在无界速度下追上在简单闭合曲线上奔跑的小狗。在适度的光滑性或多边形条件下，人类可通过战略性行走路径成功与小狗重逢，即使简单的向前移动策略失败亦可实现。

ABSTRACT

We solve an open problem posed by Michael Biro at CCCG 2013 that was inspired by his and others' work on beacon-based routing. Consider a human and a puppy on a simple closed curve in the plane. The human can walk along the curve at bounded speed and change direction as desired. The puppy runs with unbounded speed along the curve as long as the Euclidean straight-line distance to the human is decreasing, so that it is always at a point on the curve where the distance is locally minimal. Assuming that the curve is smooth (with some mild genericity constraints) or a simple polygon, we prove that the human can always catch the puppy in finite time.

研究动机与目标

• 解决2013年CCCG会议提出的开放问题：当小狗始终试图最小化其与人类的欧氏距离时，人类是否总能在闭合曲线上追上小狗？
• 分析在简单闭合曲线上移动信标路由的动力学特性，特别关注小狗速度无界而人类速度有界的场景。
• 建立人类可保证与小狗会合的条件，即使小狗采取贪婪的距离最小化行为。
• 将分析从光滑曲线扩展至简单多边形，证明在两种情形下均存在追捕策略。
• 研究方向反转的必要性，并提出关于无状态策略可保证捕获的猜想。

提出的方法

• 将问题建模为闭合曲线上的一种动力系统，其中小狗的位置由其相对于人类的欧氏距离局部最小化决定。
• 在吸引图中定义“稳定”与“锐利”构型，以分类人类-小狗系统的行为。
• 使用切角法对多边形轨道进行扰动，以消除退化情况（类型1、2a、3），从而在非退化的多边形版本上进行分析。
• 在切角多边形上，利用吸引图的环面图表示中的最短路径构造策略。
• 通过连续性与拓扑论证，将策略从切角多边形回推至原始多边形。
• 证明任何初始构型均可通过初始运动转化为锐利构型，从而可应用该策略。

实验结果

研究问题

• RQ1 当小狗始终试图最小化其与人类的欧氏距离时，人类是否总能在任意简单闭合曲线上追上小狗？
• RQ2 是否存在一种策略，即使在单向行走失败（如星形轨道示例）的情况下也能保证捕获？
• RQ3 最优策略能否以O(n)空间描述，仅列出方向变化和初始方向，而非完整路径？
• RQ4 是否可能仅通过单向或仅通过反向运动在任意简单轨道上捕获小狗？
• RQ5 该结果是否可推广至旋转数为±1的非简单曲线，或三维曲线及带孔的平面图？

主要发现

• 在满足温和通用性条件的任意光滑简单闭合曲线上，人类总能追上小狗。
• 在任意简单多边形上，无论初始构型如何，人类总能追上小狗。
• 对于多边形轨道，可通过吸引图中的最短路径在O(n²)时间内计算出追捕策略。
• 该策略可调整以最小化人类或小狗的总移动距离，时间复杂度保持相同。
• 本文猜想：一般情况下无需方向反转，且仅需沿一个方向行走两次，再沿相反方向行走两次，即可保证捕获。
• 该结果不适用于旋转数≠±1的曲线，且存在曲线多次环绕圆周的反例。