无权圆盘图中短路径的最优算法-计算机科学-最短路径-算法.pdf

无权圆盘图中短路径的最优算法∗

BruceW.BrewerEnvelopeOrcid

KahlertSchoolofComputing,UniversityofUtah,SaltLakeCity,UT84112,USA

HaitaoWangEnvelopeOrcid

KahlertSchoolofComputing,UniversityofUtah,SaltLakeCity,UT84112,USA

Abstract

给定平面上一组点S，包含n个点以及以这些点为中心的一组圆盘。由这些圆盘诱导出的圆盘图G(S)

具有顶点集S，并且两个顶点之间存在边当且仅当它们对应的圆盘相交。注意，这些圆盘可能有不同

的半径。我们考虑从源点s∈S到G(S)中所有顶点计算最短路径的问题，在G(S)中的路径长度定义

为该路径上的边数。先前的最佳算法在O(nlog2n)时间内解决了该问题。在代数决策树模型下，已知

该问题的下界为Ω(nlogn)。本文我们提出了一种O(nlogn)时间的算法，它匹配了下界，因此是最优

的。我们的算法另一个优点是相当简单。

本2012ACMSubjectClassificationTheoryofcomputation→Computationalgeometry;Theoryof

译computation→Designandanalysisofalgorithms

中Keywordsandphrases磁盘图，加权Voronoi图，最短路径

1

v

91介绍

6

5

5令S是平面上一组n点。S中的每个点都与以该点为中心的一个圆盘相关联。请注

0

.意，这些圆盘可能具有不同的半径。由这些磁盘诱导出的磁盘图G(S)具有顶点集S，

7

0如果两个顶点对应的磁盘相交，则它们之间有一条边。我们考虑单源最短路径（SSSP）

5

2问题，即从源点s∈S到G(S)中所有顶点的最短路径计算问题，在G(S)中路径的长

:

v度定义为路径中的边数。

i

x该问题之前已被研究过。一个直接的解法是首先显式构造G(S)，然后运行广度优

r

22

a先搜索算法，这需要Ω(n)的时间复杂度，因为在最坏情况下，G(S)可能有Ω(n)条

边。Kaplan、Katz、Saban和Sharir[15]提出了首个亚二次时间算法，他们的算法运

行时间为O(nlog4n)。后来，Klost[18]提出了一个O(nlog2n)时间的改进方案。另一

方面，已知即使所有圆盘的半径相同[6]，在代数决策树模型下该问题仍具有Ω(nlogn)

时间的下界。

在这篇论文中，我们提出了一种新的算法，其运行时间为O(nlogn)，这与Ω(nlogn)

的下界相匹配，因此是最佳的。该算法的优点之一在于它非常简单。事实上，我们的算

法中最复杂的步骤是构建静态加权Voronoi图，这可以通过Fortune的扫描线算法轻松

完成[14]。除此之外，论文中的算法描述是自包含的。

与此同时，deBerg和Cabello也使用了不同的方法实现了时间复杂度为O(nlogn)

的算法[4]。

∗本文将发表在第33届年度欧洲算法symposium(ESA2025)论文集。

2无权圆盘图中短路径的最优算法

相关工作。圆盘图是计算几何中研究最广泛的课题之一，因其应用和几何性质而受到