Information Processing Letters ( IF 0.5 ) Pub Date : 2020-06-01 , DOI: 10.1016/j.ipl.2020.105977 Oren Weimann , Raphael Yuster
Given a constant number d of matrices with total m non-infinity entries, we show how to construct in (essentially optimal) time a data structure that can compute in (essentially optimal) time the distance product of these matrices after incrementing the value (possibly to infinity) of a constant number k of entries.
Our result is obtained by designing an oracle for single source replacement paths that is suited for short distances: Given a graph , a source vertex s, and a shortest paths tree T of depth d rooted at s, the oracle can be constructed in time for any constant k. Then, given an arbitrary set S of at most edges and an arbitrary vertex t, the oracle in time either reports the length of the shortest s-to-t path in or otherwise reports that any such shortest path must use more than d edges.
中文翻译:
通过错误的最短路径增加距离产品
给定一个常数d的包含总共m个非无限项的矩阵,我们展示了如何构造(基本上是最优的) 为可以计算的数据结构计时(基本上是最佳时间) 在增加常数k的条目的值(可能为无穷大)之后,对这些矩阵的距离乘积进行计时。
通过为单个数据源替换路径设计一个适用于短距离的预言片来获得我们的结果:给定一个图,源顶点s和以s为根的深度为d的最短路径树T,可以在任何常数k的时间。然后,给定任意一组S ^最多的边和任意顶点t,时间要么报告最短s- to- t路径的长度否则报告任何此类最短路径必须使用多于d条边。