网络优化-第5章_最短路问题.pptVIP

* Bellman - Ford算法的复杂度 对于不含负有向圈的网络，最短路中弧的条数不超过n-1条. 算法一定在n-1步迭代后收敛 算法的主要工作量是(5.13)式的循环迭代，对给定的 k 和 j ，只需检查节点 j 的所有入弧即可. 所以，对给定的k，正好需要对网络中的每条弧检查一次. 因此，算法的总复杂度为O（mn）. 如果迭代不收敛，即存在某个节点 j 使得 ,则说明网络本来就含有负有向圈. 因此本算法也可以用于判断网络是否含有负有向圈，复杂度为O（mn）. * Bellman-Ford算法 （例） 1 2 3 4 5 1 2 5 3 -4 2 3 1 2 3 4 5 1 2 -4 3 * 算法的总复杂度为O( mn2C). 基本思想：逐步逼近，迭代求解最短路方程 STEP0: 令距离标号us =0, 前趋标号pred(s)=0;对所有其它节点j令uj为无穷大. STEP1: 如果对所有的弧（i，j）有uj ? ui + wij ，则结束， uj就是从起点s到节点j的最短路长，最短路可以通过前趋标号（pred）获得. 否则进行下一步. 整数权，每次迭代使得一个节点的距离标号至少减少1 对每个节点的距离标号的修正次数不超过2nC次 总迭代次数不会超过2n2C 次 每次迭代都对所有弧进行检查和判断,需要m次操作（不指明具体寻找弧的方法时） 5.3.2 一般的标号修正算法 * Bellman-Ford算法是（一般）标号修正算法的特例 经过k遍检查以后，节点j所获得的距离标号 uj表示从起点s=1到顶点j 且所经过的弧数不超过k条时的最短路路长. 在一般标号修正算法中，可以首先对所有弧给定一个顺序，然后依次检查每条弧（i，j）并且在必要时对uj进行修正(减少)；当所有弧均被检查一遍以后，再从第一条弧开始下一遍检查. 这正是Bellman-Ford算法 * 改进的（一般）标号修正算法 基本思想：用链表记录可能满足 uj ui + wij的弧的起点 STEP0: 令LIST={s},距离标号us =0, 前趋标号pred(s)=0;对所有其它节点j令uj为无穷大。 STEP1. 如果LIST= ? ，则结束， uj 就是从起点s到节点j的最短路长，最短路可以通过前趋标号（pred）回溯获得. 否则进行下一步. STEP2：从LIST中删去一个节点i, 对从i出发的每条弧（i，j）判断是否满足 uj ui + wij.如果是,则令uj = ui + wij, pred(j)=i, 并令LIST=LIST?{j}. 当从i出发的所有弧都检查完以后,转STEP1. 这一算法的总复杂度为 * 计算网络中所有节点之间的最短路： Bellman-Ford：O(n?mn) = O(mn2) Floyd-Warshall算法基本思想：逐步逼近，迭代求解最短路方程: O(n3) 5.3.3 Floyd-Warshall算法 （1962) 引理5.4 在（5.14）~(5.16)中, 临时标号 是不通过k，k+1，…,n 节点(i,j 除外)时从节点i到节点j的最短路路长. 归纳法 k=1显然成立. 假设对k成立,下面考虑k+1的情况. 从起点i到j 且不通过k+1,…, n 节点的最短路有两种可能： (1)不经过k节点 ； (2)经过k节点 。 * Floyd-Warshall算法的复杂度 对于不含负有向圈的网络，最短路中弧的条数不超过n-1条. 算法一定在n步迭代后收敛 算法的主要工作量是(5.16)式的循环迭代(三重循环),算法的总复杂度为O（n3）. 如果迭代不收敛，即存在节点 i,j 使得 ,则说明网络本来就含有负有向圈. 因此本算法也可以用于判断网络是否含有负有向圈，复杂度为O（n3）. 在某次迭代k发现某个节点i使得 0, 则说明网络本来就含有负有向圈. * Floyd-Warshall算法的具体实现 由于要记录所有节点之间最短路的信息, 所以这里我们要用一个二维数组P； 可以依据二维数组P, 采用“正向追踪”的方式得到最短路. STEP2：如果k=n, 结束; 否则转STEP1. STEP0: k=0. 对于所有节点i和j: 令 ， , ( ，若节点i和j之间没有弧, 认为 ) . STEP1: k=k+1. 对于所有节点i和j: 若 , 令