[论文解读] Minimum-Link Paths Revisited

Joseph S. B. Mitchell, Valentin Polishchuk+1 more|arXiv (Cornell University)|Feb 13, 2013

Computational Geometry and Mesh Generation参考文献 25被引用 4

一句话总结

本文提出了一种在具有 h 个洞的一般多边形区域中计算最小折线路径的亚二次时间 O(√h)-近似算法，并提出了一种最优的 O(C²n log n)-时间、O(Cn)-空间算法，用于计算 C-方向多边形区域中的 C-方向最小折线路径。此外，本文证明了精确最小折线路径计算的 3SUM-难解性，并表明 C-方向路径可在加法误差为 1 的范围内近似鲁棒路径。

ABSTRACT

A path or a polygonal domain is C-oriented if the orientations of its edges belong to a set of C given orientations; this is a generalization of the notable rectilinear case (C = 2). We study exact and approximation algorithms for minimum-link C-oriented paths and paths with unrestricted orientations, both in C-oriented and in general domains. Our two main algorithms are as follows: A subquadratic-time algorithm with a non-trivial approximation guarantee for general (unrestricted-orientation) minimum-link paths in general domains. An algorithm to find a minimum-link C-oriented path in a C-oriented domain. Our algorithm is simpler and more time-space efficient than the prior algorithm. We also obtain several related results: - 3SUM-hardness of determining the link distance with unrestricted orientations (even in a rectilinear domain). - An optimal algorithm for finding a minimum-link rectilinear path in a rectilinear domain. The algorithm and its analysis are simpler than the existing ones. - An extension of our methods to find a C-oriented minimum-link path in a general (not necessarily C-oriented) domain. - A more efficient algorithm to compute a 2-approximate C-oriented minimum-link path. - A notion of "robust" paths. We show how minimum-link C-oriented paths approximate the robust paths with unrestricted orientations to within an additive error of 1.

研究动机与目标

• 为具有孔洞的多边形区域中的最小折线路径计算开发更快、更节省空间的算法。
• 解决长期以来关于一般最小折线路径计算是否存在亚二次算法的开放问题。
• 研究 C-方向路径对无方向限制路径的近似质量。
• 构建支持有界加法误差的近似折线距离查询的高效数据结构。
• 通过证明精确计算的 3SUM-难解性，解决最小折线路径问题的复杂性。

提出的方法

• 提出一种针对具有 h 个孔的多边形区域中一般最小折线路径的亚二次时间 O(√h)-近似算法，利用可见性分析与几何划分技术。
• 提出一种新颖的 O(C²n log n)-时间、O(Cn)-空间算法，用于 C-方向多边形区域中 C-方向最小折线路径的计算，相较于先前工作在时间和空间复杂度上均有改进。
• 采用几何变换将 φ-鲁棒路径转换为最多增加一条边的 Cφ-方向路径，从而实现对鲁棒路径的近似。
• 使用基础数据结构（例如范围树、可见性图）简化并优化正交路径计算，达到最优复杂度边界。
• 构建大小为 O(n/φ² log n)、查询时间为 O(log n / φ) 的数据结构，以支持加法误差为 1 的 φ-鲁棒折线距离查询。
• 将寻找最小折线路径的问题转化为可见性操作与几何扫描操作，从而实现高效的预处理与查询支持。

实验结果

研究问题

• RQ1 能否为具有孔洞的多边形区域中的一般最小折线路径问题设计出亚二次时间算法？
• RQ2 即使在正交区域中，最小折线路径的精确计算是否为 3SUM-难解？
• RQ3 C-方向路径对无方向限制的最小折线路径近似效果如何？
• RQ4 能否构建高效的数据结构以支持有界加法误差的近似折线距离查询？
• RQ5 在正交区域中，计算最小折线正交路径的最优时间与空间复杂度是多少？

主要发现

• 即使在正交区域中，具有无方向限制的最小折线路径的精确计算也是 3SUM-难解的，解决了计算几何领域中的一个开放问题。
• 提出了一种针对具有 h 个孔的多边形区域中一般最小折线路径的亚二次 O(√h)-近似算法，优于先前的 O(n²) 上界。
• 为 C-方向多边形区域中 C-方向最小折线路径的计算开发了最优的 O(C²n log n)-时间、O(Cn)-空间算法，简化并改进了先前的方法。
• 该算法在相同的时间与空间复杂度内构建精确或近似的折线距离映射，支持高效的查询处理。
• C-方向路径在加法误差为 1 的范围内近似 φ-鲁棒路径，从而可构建用于 φ-鲁棒折线距离查询的数据结构，查询时间为 O(log n / φ)。
• C-方向路径的 2-近似算法可在 O(Cn log n) 时间与 O(n) 空间内运行，相较于先前方法更为高效。