容错几何张成子的近似距离与最短路径预言机

本文受现实世界道路网络中路由问题的启发，提出了容错欧几里得张成子的近似距离和最短路径预言机。对于 $\mathbb{R}^d$ 中 $n$ 个点的集合 $V$，一个 $f$ 容错欧几里得 $t$-张成子是一个图 $G=(V,E)$，其中对于 $V$ 中的任意两点 $p$ 和 $q$ 以及 $V$ 中 $f$ 个顶点的集合 $F$，$G-F$ 中 $p$ 和 $q$ 之间的距离至多为它们欧几里得距离的 $t$ 倍。给定一个具有 $O(n)$ 条边的 $f$ 容错欧几里得 $t$-张成子 $G$ 和一个常数 $\varepsilon$，我们的数据结构大小为 $O_{t,f}(n\log n)$，这允许我们在常数时间内计算出 $G-F$ 中任意两个顶点 $s$ 和 $s'$ 之间的 $(1+\varepsilon)$-近似距离。此外，利用大小为 $O_{t,f}(n\log n\log\log n)$ 的数据结构，我们可以在 $O_{t,f}(\log^2 n\log\log n+\textsf{sol})$ 时间内计算出 $G-F$ 中任意两个顶点 $s$ 和 $s'$ 之间的 $(1+\varepsilon)$-近似最短路径，其中 $\textsf{sol}$ 表示返回路径中的顶点数。