arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2010.09115cs.CGcs.DS
收藏

再论平面上障碍物间的最短路径

Shortest Paths Among Obstacles in the Plane Revisited

Haitao Wang

摘要:

给定平面上两两不相交的多边形障碍物,寻找两点间的避障欧氏最短路径是计算几何中的经典问题,并得到了广泛的研究。先前的最佳算法由Hershberger和Suri给出[FOCS 1993,SIAM J. Comput. 1999]并且该算法在$O(n\log n)$时间和$O(n\log n)$空间中运行,其中$n$是所有障碍物的顶点总数。该算法是时间最优的,因为$Ω(n\log n)$是一个下界。二十多年来,空间是否可以减少到$O(n)$一直是一个悬而未决的问题。在本文中,我们解决这个问题的解决方案是在$O(n\log n)$时间和$O(n)$空间,这是最佳的时间和空间,我们实现了这一点,通过修改的Hershberger和Suri的算法。像他们原来的算法一样,我们的新算法可以在$O(n\log n)$时间和$O(n)$空间中为源点$s$构建最短路径映射,这样给定任何查询点$t$,从$s$到$t$的最短路径的长度可以在$O(\log n)$时间内计算,并且可以在额外的时间内产生与路径的边数成线性的最短路径。

英文摘要:

Given a set of pairwise disjoint polygonal obstacles in the plane, finding an obstacle-avoiding Euclidean shortest path between two points is a classical problem in computational geometry and has been studied extensively. The previous best algorithm was given by Hershberger and Suri [FOCS 1993, SIAM J. Comput. 1999] and the algorithm runs in $O(n\log n)$ time and $O(n\log n)$ space, where $n$ is the total number of vertices of all obstacles. The algorithm is time-optimal because $Ω(n\log n)$ is a lower bound. It has been an open problem for over two decades whether the space can be reduced to $O(n)$. In this paper, we settle it by solving the problem in $O(n\log n)$ time and $O(n)$ space, which is optimal in both time and space; we achieve this by modifying the algorithm of Hershberger and Suri. Like their original algorithm, our new algorithm can build a shortest path map for a source point $s$ in $O(n\log n)$ time and $O(n)$ space, such that given any query point $t$, the length of a shortest path from $s$ to $t$ can be computed in $O(\log n)$ time and a shortest path can be produced in additional time linear in the number of edges of the path.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑