最短路径树的计算与修改算法.pdfVIP

维普资讯 第 32卷 第 L2期 计 算 机 研 究 与 发 展 Vo1．32 No．12 L995年 12月 C0M PUTERRESEARCH ＆DEVELOPMENT Dec 1995 最短路径树的计算与修改算法 01 、 (山东大学计算机系，济南 250100) 摘 要 在有向赋权图G一(V，E，COST)．k．，绔出了求蟹以每个顶点为根的向前／向后 jL{~ (FBSPT)算法。当G中的迫被删除或边权增加时，证明了在这种情玩下，不 可能存在高效的对FBSPT的修改算法；而对迫添加和迫权减少的情况，本文绔出时间 复杂性为O(n)的修改算法。此外，本文也讨论了对上述算法的并行实现问题。 关键词 图算法，基塑 ，修改芝当 1 前 言 设 G一(v，E，COST)为一赋权有 向图，顶点集 V 的n个顶点被编号为 0… ．，n一1，E表边 集，若(i，j)∈E，COST(i，j)表从顶点i到j的费用．否则COST(i，j)一。。，规定COST(i，i)一0，0 ≤i，j~n--1。顶点j被称为是由顶点i可达的，若G中有一从 i到j的有向通路P，lPl表示P的边 数。 一 个根为 I∈V的向前最小路径树L3-，记为 TI(i)一(x，s)满足： (1)x∈x，当且仅当x是 i可达，并且G中从 i到x的一最短路径被保留在L(i)。 (2)S是Tf(v)的边集，为E的一子集 。 一 个根为i∈V的向后最小路径树[，记为Tb(i)一(x-S，)满足； (1)x∈x，当且仅当i是x可达，并且 G中从x到i的一最短路径P被保留在Tb(i)．对P上 的边 e，e的方 向与在G 中相反。 (2)s，是Tb(j)的边集， 为E 的子集 ，其中E一 {(y，xl(x，y∈E}。图1给出了关于顶点 0的Tf(O)，和 Tb(0)。 近年来对最短路径树的求解算法的研究已被 相当地重视 ]。在理论上，它是许垒国硷凰题 凄璺薹莹殴基础；在应用上，由于运输网络可由 l 有 向图表示，网络中任一点v，以v为始点(终 点)的运输调度 均可借助于 (v)( (v))完 成。但由于实际的运输网申的边及边权常为时间 图 1 的函数(如是否有车和车载能力)，因此拽出一好 本文于1994年 1月收翻。本课厦获国家自然科学基聋，山东省 自然科学基盘项目资助一马 罩t1956年生，副教授 ·博士研 究生．主要啻f究算法厦并行算{击。马绍汉 ·1938年生，教授t博士生导师，主要研究钡域为；计算机算法设计与分析、并行算{击、 人工智雏等。 维普资讯 ·46 · 计算机研究与发展 1995盔 的对FBSPT的表示方法和高效的修改算法也是非常有实际意义的。所谓罄改算法，是指当图的 边和边权发生变化时 ·基于 目前的FBSPT，仅对某些局部进行计算使可得更新后FBSPT，显然， 一 修改算法有意义，当且仅当其算法时闯复杂性比对重新计算FBSPT的算法复杂性低。 本文中，在不提高已知最好算法时问复杂度的前提下[1]，首次讨论了用二维散组这样的静 态敷据结构来表示FBSPT，和基于此数据结构的对 FBSPT求解与修改算法。和以往采用zIVI棵 动态树 来表示FBSPT的算法相比，其特点为：(1)极大地减少了编程实现的复杂性；(2)存 储空问减半；(3)易于并行实现。 2 对赋权有向图建立FBSPT的算法 算法输入为图G 的费用矩阵COST，算法运行后，建立起G 的FBSPT，矩阵D(i，j)为顶点 i 到j的最少距离}S(i，j)表顶点i到j的最短路径上顶点i的后继顶点的编号。 算法1．