We present an $f$-fault tolerant distance oracle for an undirected weighted graph where each edge has an integral weight from $[1 \dots W]$. Given a set $F$ of $f$ edges, as well as a source node $s$ and a destination node $t$, our oracle returns the \emph{shortest path} from $s$ to $t$ avoiding $F$ in $O((cf \log (nW))^{O(f^2)})$ time, where $c > 1$ is a constant. The space complexity of our oracle is $O(f^4n^2\log^2 (nW))$. For a constant $f$, our oracle is nearly optimal both in terms of space and time (barring some logarithmic factor).
翻译:我们针对边权为区间$[1 \dots W]$内整数的无向加权图,提出一个$f$边容错距离查询器。给定由$f$条边构成的集合$F$、源节点$s$和目标节点$t$,该查询器可在$O((cf \log (nW))^{O(f^2)})$时间内返回从$s$到$t$避开$F$的\emph{最短路径},其中$c > 1$为常数。该查询器的空间复杂度为$O(f^4 n^2 \log^2 (nW))$。对于常数$f$,该查询器在空间和时间上均达到近乎最优(忽略若干对数因子)。