[论文解读] Approximate Point-to-Face Shortest Paths in R^3

Yam Ki Cheung, Ovidiu Daescu|arXiv (Cornell University)|Apr 9, 2010

Computational Geometry and Mesh Generation参考文献 20被引用 3

一句话总结

本文提出了三种近似算法，用于在多面体障碍物存在的三维空间中，计算从一点到一个面的 (1+ε)-最短路径。通过扩展点对点最短路径技术，并利用平面扫描法进行可见性计算及插入斯坦纳点，作者实现了 O(n²λ(n)log(n/ε)/ε⁴ + n²log(nρ)log(nlogρ)) 的时间复杂度，显著优于以往需要重复进行点对点查询的方法。

ABSTRACT

We address the point-to-face approximate shortest path problem in R: Given a set of polyhedral obstacles with a total of n vertices, a source point s, an obstacle face f, and a real positive parameter epsilon, compute a path from s to f that avoids the interior of the obstacles and has length at most (1+epsilon) times the length of the shortest obstacle avoiding path from s to f. We present three approximation algorithms that take by extending three well-known "point-to-point" shortest path algorithms.

研究动机与目标

• 解决在 R³ 中存在多面体障碍物时的点到面最短路径问题，其中目标为一个面而非一个点。
• 通过避免重复进行点对点最短路径查询，降低近似最短路径计算的计算成本。
• 提出一种直接将斯坦纳点添加到可见性图中的方法，以保持渐近效率。
• 实现一种时间复杂度依赖于 ε⁻⁴ 但保持多项式性质的算法，优于以往需要 O(1/ε²) 次点对点计算的方法。

提出的方法

• 通过在障碍物边上添加斯坦纳点以捕捉对目标面的可见性，扩展了 Clarkson 的点对点最短路径算法。
• 在垂直于目标面的二维截面中使用平面扫描法，计算斯坦纳点与其在目标面上投影之间的可见性。
• 通过考虑每个障碍物边及其在目标平面上的正交投影，将三维可见性问题转化为 O(n) 个二维子问题。
• 对每个边使用具有 O(log n) 每事件更新时间的扫描线数据结构，将其划分为 O(n) 个具有均匀可见性特性的段。
• 引入可见性图优化步骤，仅在可见性被阻断的位置添加新的斯坦纳点，从而确保最小的开销。
• 采用固定垂直方向（垂直于目标面）的射线投射技术优化可见性检查，使每对的代价低于朴素的 O(n)。

实验结果

研究问题

• RQ1 我们能否比重复进行点对点查询更高效地计算在三维多面体环境中从源点到面的 (1+ε)-近似最短路径？
• RQ2 在障碍物边上添加的斯坦纳点的最小集合是什么，才能确保正确捕捉对目标面的可见性以实现路径近似？
• RQ3 能否通过几何分解优化斯坦纳点与其投影之间的可见性计算，使其每对的代价低于线性时间？
• RQ4 在三维点到面路径近似背景下，时间复杂度如何随 ε⁻⁴ 变化？是否可以使其独立于障碍物顶点数量而有界？
• RQ5 通过直接修改可见性图而非重新运行点对点算法，能否避免以往方法中固有的 O(1/ε²) 因子？

主要发现

• 所提出的算法实现了 O(n²λ(n)log(n/ε)/ε⁴ + n²log(nρ)log(nlogρ)) 的时间复杂度，且与点对点查询次数无关。
• 通过直接在 Clarkson 算法中插入目标明确的斯坦纳点，避免了以往方法中固有的 O(1/ε²) 因子。
• 通过在二维截面中使用平面扫描法优化可见性计算，使每次可见性检查的代价降低至每事件 O(log n)。
• 每个边上添加的斯坦纳点数量被限制在 O(n²) 以内，且可见性与斯坦纳点计算的总时间为 O(n²log n + N)，其中 N 为斯坦纳点数量。
• 该算法保持了与底层点对点方法相同的渐近时间复杂度，是首个在点到面问题中实现此目标的算法。
• 该方法对最长边与源点到面距离之比 ρ 具有鲁棒性，最终时间界中仅以对数形式依赖于 ρ。