权值为非负整数稀疏图高效APSP算法.pdfVIP

权值为非负整数的稀疏图的高效 APSP 算法 黄跃峰, 钟耳顺 摘要 稀疏图是网络研究中常用的数学模型，我们提出了计算非负整数权稀疏图的所有结点之间最短 路径(All pairs shortest paths，简称 APSP)的高效算法，在与网络相关的研究中，该算法对于揭 示网络的拓扑结构具有较重要的意义。对于一个包含n 个结点和m 个弧段的非负整数权图, 该算法 计算所有结点之间最短路径的时间复杂度是 O(mn +nC) ，其中C 是弧段的最大权值。现有算法计 算该问题的最小时间复杂度是 O(mn +n2 log log(min{n, C})) ，在实际应用中C 常常与n 无关，即 对时间复杂度的影响小于 n log log(min{n, C}) ，所以我们的算法时间复杂度更小。 我们还根据随机图理论进一步分析了算法的复杂度，根据证明随着 n 的增大该算法时间复杂度 为O(mn +C log n / (log m −log n)) 的概率趋近于100%。在一些实际问题中，网络普遍为 m O(n) 2 且C 与n 无关的稀疏图（例如交通网络），这时该算法时间复杂度为O(mn) ，即为O(n ) 。APSP 算 法的理论时间复杂度下限是O(mn) ，与其他算法相比，在解决实际问题时我们的算法更容易达到这 一理论下限。 关键字 APSP; 最短路径; 稀疏图 A New APSP Algorithm for Integer-weighted Sparse Graphs Yuefeng Huang*1, Ershun Zhong*2, Yunjin Li∗3 Abstract We present a new all pairs shortest paths algorithm for directed sparse graphs with non-negative integer weights. For a graph with n vertices and m edges, the algorithm runs in O(mn +nC) time, where C is the maximal edge weight. In comparison with the best previous time bound of O(mn +n2 log log(min{n, C})) , our algorithm runs faster for the case that C is lower than n log log(min{n, C}) . We also prove that with high probability the time bound of this algorithm is ∗ The State Key Lab of Resources and Environmental Information System, Institute of Geographic Sciences and Natural Resources Research, CAS, China. 1 E-mail: yuefenghuang.study@ 2 E-mail: zhongershun@ 3 E-mail: liyunjin@ 564 O(mn +C log n / (log m −log n)), (m / n C0 =1) .Our algorithm is more probable to get to the theoretical lower time bound O(mn) of any path-comparison based algorithm for APSP.