最短路问题概述

分类

1.单源最短路
求一个点到其它所有点的最短距离

• 所有边权都是正数的图（朴素Dijkstra算法 O（n^2）、堆优化Dijkstra算法O（mlogn），n表示点，m表示边）
• 存在负权边（Bellman-Ford O(nm)，SPFA O(m)，最坏O(nm)）

2.多源汇最短路
任选两个点，从其中一个点走到另外一个点的最短距离（可能有负权边）

• 只有Floyd算法，O(n^3)

应用场景

只有正权，是稠密图：朴素Dijkstra
只有正权，是稀疏图：堆优化Dijkstra
负权边（不能含负环）：SPFA
多源汇：Floyd
不超过k条边的最短路（有边数限制，但可以有负环）：Bellman-Ford
ps：稠密图：m和n^2一个级别 稀疏图：n和m是一个级别。Dijkstra基于贪心，Floyd基于动态规划，Bellman-Ford基于离散数学的知识。无向图和有向图的最短路问题没有区别

Dijkstra-朴素 O(n2)
初始化距离数组, dist[1] = 0, dist[i] = inf;
for n次循环 每次循环确定一个min加入S集合中，n次之后就得出所有的最短距离
将不在S中dist_min的点->t
t->S加入最短路集合
用t更新到其他点的距离
Dijkstra-堆优化 O(mlogm)
利用邻接表，优先队列
在priority_queue<PII,vector<PII>,greater<PII>> heap;中将返回堆顶
利用堆顶来更新其他点，并加入堆中类似宽搜
Bellman_ford O(nm)
注意连锁想象需要备份, struct Edge{int a,b,c} Edge[M];
初始化dist, 松弛 dist[x.b] = min(dist[x.b], backup[x.a]+x.w);
松弛k次，每次访问m条边
Spfa O(n)∼O(nm)
利用队列优化仅加入修改过的地方
for k次
for 所有边利用宽搜模型去优化bellman_ford算法
更新队列中当前点的所有出边
Floyd O(n3)
初始化d
k, i, j 去更新d