[论文解读] Reverse Shortest Path Problem for Unit-Disk Graphs

Haitao Wang, Yiming Zhao|arXiv (Cornell University)|Apr 29, 2021

Computational Geometry and Mesh Generation参考文献 23被引用 1

一句话总结

本文提出了在单位圆图上使用 L2 和 L1 范数的反向最短路径（RSP）问题的高效确定性算法，涵盖无权和带权变体。针对 L2 无权和带权情况，分别提出了 O(n⁵/⁴ log⁷/⁴ n) 和 O(n⁵/⁴ log⁵/² n) 时间复杂度的算法，针对 L1 情况提出了 O(n log³ n) 时间复杂度的算法，突破了此前几何最短路径问题中 O(n⁴/³) 时间复杂度的瓶颈。

ABSTRACT

Given a set P of n points in the plane, the unit-disk graph G_{r}(P) with respect to a parameter r is an undirected graph whose vertex set is P such that an edge connects two points p, q \in P if the Euclidean distance between p and q is at most r (the weight of the edge is 1 in the unweighted case and is the distance between p and q in the weighted case). Given a value λ>0 and two points s and t of P, we consider the following reverse shortest path problem: computing the smallest r such that the shortest path length between s and t in G_r(P) is at most λ. In this paper, we present an algorithm of O(\lfloor λ floor \cdot n \log n) time and another algorithm of O(n^{5/4} \log^{7/4} n) time for the unweighted case, as well as an O(n^{5/4} \log^{5/2} n) time algorithm for the weighted case. We also consider the L_1 version of the problem where the distance of two points is measured by the L_1 metric; we solve the problem in O(n \log^3 n) time for both the unweighted and weighted cases.

研究动机与目标

• 解决单位圆图中的反向最短路径（RSP）问题，目标是计算最小半径 r，使得 Gr(P) 中从 s 到 t 的最短路径长度不超过 λ。
• 处理欧几里得（L2）和曼哈顿（L1）距离范数下的 RSP 问题的无权和带权变体。
• 通过距离选择技术改进先前工作的 O(n⁴/³ log³ n) 时间复杂度界限，实现在某些情况下达到亚二次时间复杂度。
• 提供确定性算法，突破几何最短路径问题中 O(n⁴/³) 时间复杂度的瓶颈，特别是在单位圆图中。
• 将解决方案推广至广义单源 RSP 问题，其中所有顶点必须在源点 s 的 λ 距离范围内。

提出的方法

• 对于 L2 无权情况，第一个算法采用修改后的 BFS 并在边距离上进行二分查找，利用范围树高效统计半径 r 内可达点的数量。
• 第二个 L2 无权算法采用点集的分层分解和多级参数搜索，将时间复杂度降低至 O(n⁵/⁴ log⁷/⁴ n)。
• 对于 L2 带权情况，算法结合参数搜索与动态双色最近对数据结构，实现 O(n⁵/⁴ log⁵/² n) 的时间复杂度。
• 对于 L1 情况，算法通过二维范围树进行正交范围搜索，并基于统计 L1 距离 r 内的点数设计决策过程，实现 O(n log³ n) 的总时间复杂度。
• 设计了一个决策子程序，通过范围查询计算距离 r 内的点对数量，以判断 r∗ ≤ r 是否成立，该过程耗时 O(n log² n)。
• 整体算法在点对距离上进行二分查找，由决策子程序引导，并通过 Cole 类似技术优化，使每阶段的决策调用次数降至常数。

实验结果

研究问题

• RQ1 在无权 L2 情况下，使单位圆图 Gr(P) 中从 s 到 t 的最短路径长度不超过 λ 的最小半径 r 是多少？
• RQ2 能否改进单位圆图中 RSP 问题的 O(n⁴/³ log³ n) 时间复杂度界限，特别是在无权和带权 L2 设置下？
• RQ3 是否存在一种确定性算法，能在单位圆图中实现 RSP 问题的亚二次时间复杂度，特别是针对 L2 和 L1 范数？
• RQ4 能否将 RSP 问题推广至单源情形，使得所有顶点均在源点 s 的 λ 跳数或距离范围内？
• RQ5 与 L2 范数相比，L1 范数如何影响 RSP 问题的时间复杂度？是否能更高效地求解？

主要发现

• 本文提出了一种 O(⌊λ⌋·n log n) 时间复杂度的算法用于 L2 无权 RSP 问题，当 λ 较小时效率较高。
• 针对 L2 无权 RSP 问题，提出了一种改进的 O(n⁵/⁴ log⁷/⁴ n) 时间复杂度算法，突破了几何最短路径问题中 O(n⁴/³) 时间复杂度的瓶颈。
• 对于 L2 带权 RSP 问题，本文实现了 O(n⁵/⁴ log⁵/² n) 的时间复杂度，这是该变体首个亚二次确定性解法。
• L1 RSP 问题在无权和带权情况下均可在 O(n log³ n) 时间内求解，与 SSSP 算法的最优时间复杂度一致。
• 所有算法均为确定性，优于先前的随机化方法，例如 Katz 和 Sharir 提出的 O(n⁶/⁵+ϵ) 期望时间复杂度算法。
• 结果可推广至广义单源 RSP 问题，即所有顶点必须在源点 s 的 λ 距离范围内，其时间复杂度与两点版本相同。