图的最短路径

仅为自己的学习记录及理解，大部分非原创。

 

 

 

图的最短路径问题

1.深搜dfs（递归完成）（单源）

void dfs(int cur, int dst){  
    /***operation***/  
  
    /***operation***/  
    if(minPath < dst) return;//当前走过路径大于之前最短路径，没必要再走下去  
    if(cur == n){//临界条件  
        if(minPath > dst) minPath = dst;  
        return;  
    }  
    else{  
        int i;  
        for(i = 1; i <= n; i++){  
            if(edge[cur][i] != inf && edge[cur][i] != 0 && mark[i] == 0){  
                mark[i] = 1;  
                dfs(i, dst+edge[cur][i]);  
                mark[i] = 0;  //需要在深度遍历返回时将访问标志置0            
            }  
        }  
        return;  
    }  
}  

 

 

2.Dijkstra算法

迪杰斯特拉算法主要特点是以起始点为中心向外层层扩展，直到扩展到终点为止。

数组dis[]，dis[p]表示源点S到点i的最短路径长度.（暂时）

集合T，p∈T表示源点S到点p的最短路径长度已经被求出来了.

一开始只有S在T中，除了dis[S] = 0，别的dis = inf.

贪心思想：每次找到不在T中的所有点中，dis最小的点p，把p丢进T，然后更新所有和p相邻的dis值.

重复n - 1遍上述操作，就求出了n个所有点的最短路.

dijkstra算法要求所有的边边权都是正的.

时间复杂度：O(n^2).

堆优化T è O(nlogn). （这里不是很懂）

1. 将与源点相连的点加入堆，并调整堆。

2. 选出堆顶元素u（即代价最小的元素），从堆中删除，并对堆进行调整。

3. 处理与u相邻的，未被访问过的，满足三角不等式的顶点

1):若该点在堆里，更新距离，并调整该元素在堆中的位置。

2):若该点不在堆里，加入堆，更新堆。

4. 若取到的u为终点，结束算法；否则重复步骤2、3。

 

3.Bellman - Ford（spfa）

SPFA（Shortest Path Faster Algorithm）（队列优化）算法是求单源最短路径的一种算法，它还有一个重要的功能是判负环（在差分约束系统中会得以体现），在Bellman-ford算法的基础上加上一个队列优化，减少了冗余的松弛操作，是一种高效的最短路算法。（spfa会被恶意数据卡掉，如果没必要判负环建议使用Dijkstra）

spfa = 队列优化bellman ford.

一开始dis[S] = 0, 对于其他的p，dis[p] = inf.

维护一个队列，队列里面存是dis被更新的点，每次取出队首，用队首的dis信息更新和它相连的其他点的dis，然后把这些点不在队列里且dis值变小的入队，队列为空表示没有要更新的点，算法结束.

定理：只要最短路径存在，上述SPFA算法必定能求出最小值。证明：每次将点放入队尾，都是经过松弛操作达到的。换言之，每次的优化将会有某个点v的最短路径估计值d[v]变小。所以算法的执行会使d越来越小。由于我们假定图中不存在负权回路，所以每个结点都有最短路径值。因此，算法不会无限执行下去，随着d值的逐渐变小，直到到达最短路径值时，算法结束，这时的最短路径估计值就是对应结点的最短路径值。

实际上，如果一个点进入队列达到n次，则表明图中存在负环，没有最短路径。

 

 

4.floyd算法

多源最短路，典型的动归思想

适用范围比较窄，因为时间复杂度过高.

F[i][j] = min(F[i][j], F[i][k] + F[k][j]).

k从1到n遍历一遍就好了.

=时间复杂度：O(N^3).

 

参考：https://blog.csdn.net/qibofang/article/details/51594673

http://www.cnblogs.com/biyeymyhjob/archive/2012/07/30/2615542.html