[论文解读] Improved distance sensitivity oracles via tree partitioning

Ran Duan, Tianyi Zhang|arXiv (Cornell University)|May 15, 2016

Complexity and Algorithms in Graphs参考文献 4被引用 3

一句话总结

本文提出了一种针对有向非负加权图的新距离敏感性 oracle（DSO），在保持 O(1) 查询时间的同时，实现了最优的 O(n²) 空间复杂度，预处理时间为 Õ(mn)。该方法通过树划分和基于四名俄罗斯方法的新型表查询技术，将空间复杂度从 O(n² log n) 降低至 O(n²)，同时保持常数时间查询和近似最优的预处理时间，使其在顶点失效情况下的动态路由中具有渐近最优的空间复杂度和高效性。

ABSTRACT

We introduce an improved structure of distance sensitivity oracle (DSO). The task is to pre-process a non-negatively weighted graph so that a data structure can quickly answer replacement path length for every triple of source, terminal and failed vertex. The previous best algorithm constructs in time $ ilde{O}(mn)$ a distance sensitivity oracle of size $O(n^2\log n)$ that processes queries in $O(1)$ time. As an improvement, our oracle takes up $O(n^2)$ space, while preserving $O(1)$ query efficiency and $ ilde{O}(mn)$ preprocessing time. One should notice that space complexity and query time of our novel data structure are asymptotically optimal.

研究动机与目标

• 设计一种具有渐近最优空间复杂度的距离敏感性 oracle（DSO），用于顶点失效时的最短路径查询。
• 在不牺牲 O(1) 查询时间的前提下，将现有 DSO 的空间复杂度从 O(n² log n) 降低至 O(n²)。
• 在保持常数时间查询效率的同时，将预处理时间维持在 Õ(mn)，接近最优。
• 扩展 DSO 在实时路由系统中的适用性，以应对节点失效时无需重新计算全源最短路径的快速重路由需求。

提出的方法

• 该方法对单源最短路径（SSSP）树进行划分，并仅指定部分顶点存储稀疏表条目，从而减少空间使用。
• 提出一种分层树划分策略，重点处理远离源点和目标点的顶点，以高效处理退化情况。
• 采用基于四名俄罗斯方法的表查询技术，压缩 L′-short 路径的存储，将该组件的空间复杂度降低至 o(n²)。
• 利用容许函数替代路径分解中的瓶颈顶点，简化初始化过程并保持正确性。
• 通过层级祖先数据结构和矩阵索引，快速恢复替代路径的分叉点和汇聚点。
• 最终 DSO 仅存储 O(n²) 个条目，通过结合稀疏表条目与预计算的短路径段，实现 O(1) 查询。

实验结果

研究问题

• RQ1 能否构建一个空间复杂度为 O(n²) 同时保持 O(1) 查询时间的距离敏感性 oracle？
• RQ2 是否可能在不增加查询时间的前提下，将现有 DSO 的空间复杂度从 O(n² log n) 降低至 O(n²)？
• RQ3 能否在实现最优空间复杂度的同时，将预处理时间维持在 Õ(mn)？
• RQ4 如何将四名俄罗斯方法适配用于压缩 DSO 中顶点失效查询的路径信息？
• RQ5 在顶点失效条件下回答全源替代路径查询所需的最小空间复杂度是多少？

主要发现

• 所提出的 DSO 实现了 O(n²) 的空间复杂度，这是渐近最优的，因为在边权互异的完全图中，任何 DSO 必须至少存储 Ω(n²) 个条目。
• DSO 支持 O(1) 查询时间的替代路径长度查询，其查询效率与之前最优结果一致。
• 预处理时间为 Õ(mn)，接近最优，且与目前已知的最佳界限一致，优于先前的 O(mn²) 和 O(mn^{1.5}) 方法。
• 通过消除先前 O(n² log n) DSO 中的 log n 因子，成功将空间复杂度降低至二次方级别，实现平方空间界限。
• 通过存储每个路径条目的首条边，可在 O(|st⋄f|) 时间内实现输出敏感的路径重构。
• 对 L′-short 路径采用表查询技术，使其空间复杂度降低至 o(n²)，对整体 O(n²) 上限的达成起到关键作用。