Given an undirected graph with edges, vertices, and non-negative edge weights, and given an integer , we show that for some universal constant , a -approximate distance oracle for of size $O(kn^{1 + 1/k})O(\sqrt km + kn^{1 + c/\sqrt k})$ time and can answer queries in time. We also give an oracle which is faster for smaller . Our results break the quadratic preprocessing time bound of Baswana and Kavitha for all and improve the time bound of Thorup and Zwick except for very sparse graphs and small . When $m = \Omega(n^{1 + c/\sqrt k})k = O(1)$, our oracle is optimal w.r.t.\ both stretch, size, preprocessing time, and query time, assuming a widely believed girth conjecture by Erd\H{o}s.

生成讲解博客的中文版本

生成AI智能校验的中文版本