[论文解读] Exploring Simple Triangular and Hexagonal Grid Polygons Online

Daniel Herrmann, Tom Kamphans+1 more|arXiv (Cornell University)|Dec 23, 2010

Robotic Path Planning Algorithms参考文献 33被引用 5

一句话总结

本文提出了一种针对移动机器人在未知的三角形和六边形网格多边形中导航的在线探索策略 SmartDFS。该策略在两种网格类型下均实现了 4/3 的竞争比，上界分别为 $ C + \frac{1}{4}E - 2.5 $（六边形）和 $ C + E - 4 $（三角形），其中 $ C $ 为单元格数量，$ E $ 为边界边数。

ABSTRACT

We investigate the online exploration problem (aka covering) of a short-sighted mobile robot moving in an unknown cellular environment with hexagons and triangles as types of cells. To explore a cell, the robot must enter it. Once inside, the robot knows which of the 3 or 6 adjacent cells exist and which are boundary edges. The robot's task is to visit every cell in the given environment and to return to the start. Our interest is in a short exploration tour; that is, in keeping the number of multiple cell visits small. For arbitrary environments containing no obstacles we provide a strategy producing tours of length S <= C + 1/4 E - 2.5 for hexagonal grids, and S <= C + E - 4 for triangular grids. C denotes the number of cells-the area-, E denotes the number of boundary edges-the perimeter-of the given environment. Further, we show that our strategy is 4/3-competitive in both types of grids, and we provide lower bounds of 14/13 for hexagonal grids and 7/6 for triangular grids.

研究动机与目标

• 解决由三角形和六边形网格组成的未知单元格环境中在线探索问题。
• 最小化机器人探索过程中重复访问单元格的次数，重点关注短探索路径。
• 分析在拓扑未知的基于网格环境中的探索策略的竞争比。
• 为三角形和六边形网格多边形建立理论下界和上界，以限制路径长度。
• 评估 SmartDFS 策略相对于最优离线解在竞争力和路径长度方面的性能。

提出的方法

• 将原本专为简单多边形设计的 SmartDFS 在线探索策略，适配至三角形和六边形网格图。
• 采用递归分解方法，将复杂多边形拆分为不含狭窄通道的更简单子多边形。
• 运用竞争分析，以单元格数量（$ C $）和边界边数（$ E $）来界定探索路径长度。
• 通过第一层分割单元格数量的归纳法，证明该策略具有 $ \frac{4}{3} $-竞争力。
• 利用几何与图论性质推导上界：六边形网格为 $ S \leq C + \frac{1}{4}E - 2.5 $，三角形网格为 $ S \leq C + E - 4 $。
• 通过对抗性构造建立下界：六边形网格为 $ \frac{14}{13} $，三角形网格为 $ \frac{7}{6} $。

实验结果

研究问题

• RQ1 在三角形和六边形网格多边形中，可实现的最优竞争比是多少？
• RQ2 三角形与六边形网格的连通性与几何特性如何影响探索效率和路径长度？
• RQ3 SmartDFS 策略能否被适配以在非正方形网格环境中保持竞争力？
• RQ4 这些网格类型中探索的单元格访问次数的紧致上下界是什么？
• RQ5 边数（$ E $）和单元格数（$ C $）在多大程度上决定了基于网格环境的在线探索算法性能？

主要发现

• SmartDFS 策略在三角形和六边形网格多边形中均实现了 $ \frac{4}{3} $-竞争比，该比值为紧致，因为在某些多边形配置中恰好达到此因子。
• 对于六边形网格，探索路径长度被限制为 $ S \leq C + \frac{1}{4}E - 2.5 $，其中 $ C $ 为单元格数量，$ E $ 为边界边数。
• 对于三角形网格，上界为 $ S \leq C + E - 4 $，反映出该网格类型中更高的连通性与边依赖性。
• 本文建立了六边形网格的下界为 $ \frac{14}{13} $，三角形网格的下界为 $ \frac{7}{6} $，表明任何在线策略的竞争力极限。
• 分析表明，由于三角形网格中每个单元格的邻居数量较少，因此需要更多步数，使得边的使用比六边形网格中更为关键。
• 通过多边形分解的归纳法证明了该策略的性能，对走廊和分割单元格情况进行了细致处理，以维持路径长度的上界。