最短路
Dijkstra算法(常用)
·有重边的情况下尽量用邻接表存图
·记得处理第一个加入集合的点
·Dijkstra算法没法处理负权边
基础版本
- void dijkstra(int s){//记得处理第一个加入集合的点
- for(int i=1;i<=n;i++)dis[i]=inf;
- dis[s]=0;
- for(int i=1;i<=n;i++)
- {
- int k=0;
- for(int j=1;j<=n;j++)
- if(!vis[j]&&(k==0 || dis[j]<dis[k]))
- k=j;
- vis[k]=1;
- for(int j=1;j<=n;j++){
- if(!vis[j]&&dis[k]+a[k][j]<dis[j])
- dis[j]=dis[k]+a[k][j];
- }
- }
- }
优化版本(优先队列)
- struct element{
- int v,w;
- friend bool operator < (element a,element b){
- return a.w>b.w;
- }
- };
- struct node{
- int v,w,next;
- }e[maxn*6];
- void adde(int u,int v,int w){
- e[++cnt].v=v;
- e[cnt].w=w;
- e[cnt].next=head[u];
- head[u]=cnt;
- }
- void dijkstra(int s){
- priority_queue<element> q;
- memset(dis,inf,sizeof(dis));
- element k;
- q.push((element){s,0});
- dis[s]=0;
- while(!q.empty()){
- k =q.top();
- int v=k.v,w=k.w;
- q.pop();
- if(vis[v])continue;//这条边已经加入集合中
- vis[v]=1;
- dis[v]=w;
- for(int i=head[v];i!=0;i=e[i].next){//最短边对应点的每条边都入队列
- q.push((element){e[i].v,e[i].w+w});
- }
- }
- }
Bellman-Ford(负权最短路算法)
·此算法最大优势是处理负边权,判断负环(正环)
·至多执行n-1次
·用数组+结构体存图,因为是遍历边而不是点
·复杂度O(ne),适用于稀疏图
- struct edge
- {
- long long x,y;
- long long cost;
- };
- edge v[3*N];
- long long dis[N];
- bool Bellman_Ford()
- {
- for(int i=1;i<=n;++i)
- dis[i]=(i==s? 0:MAX);//初始化
- for(int i=1;i<n;++i)
- for(int j=1;j<=m;++j)
- {
- if(dis[v[j].y]>dis[v[j].x]+v[j].cost)//松弛,因为是有向图,方向不能反
- dis[v[j].y]=dis[v[j].x]+v[j].cost;
- }
- bool flag=1;//标记有无负环
- for(int i=1;i<=m;++i)
- if(dis[v[i].y]>dis[v[i].x]+v[i].cost)//松弛是否成功
- {
- flag=0;//成功则有负环
- break;
- }
- return flag;
- }
SPFA算法
·对Ford算法的优化
·处理负环正环
非递归方式
- bool SPFA()
- {
- queue<int> q;//队列
- memset(dis,127/3,sizeof(dis));//初始化一个很大的数
- dis[s]=0;//原点最短路是0
- q.push(s);//原点入队
- vis[s]=1;//标记入队
- while(!q.empty())//队列不空说明没跑完
- {
- int k=q.front();//取出队首
- q.pop();
- vis[k]=0;//擦去标记
- ++cnt[k];//统计次数
- if(cnt[k]>=n)//如果超过n-1说明有负环
- return 0;//报错
- for(int i=head[k];i!=0;i=e[i].next)//邻接表遍历相连的边
- if(dis[e[i].v]>dis[k]+e[i].w)//如果可以松弛
- {
- dis[e[i].v]=dis[k]+e[i].w;//松弛
- if(!vis[e[i].v])//如果被松弛的点不在队列里
- {
- vis[e[i].v]=1;//标记入队
- q.push(e[i].v);//入队
- }
- }
- }
- return 1;//顺利完成
- }
递归方式
- bool SPFA(int u)
- {
- vis[u]=1;
- for(int k=f[u];k;k=e[k].next)//遍历后面的整个路径
- {
- int v=e[k].v,w=e[k].w;
- if(d[u]+w<d[v])//能松弛
- {
- d[v]=d[u]+w;
- if(!vis[v])//不重复
- if(!SPFA(v))//如果后面的路径有重复的
- return 0;//有负环
- else
- return 0;//重复了,直接说明有负环
- }
- }
- vis[u]=0;//回溯
- return 1;//没有负环
- }
Floyd算法(容易被卡)
·唯一的多源最短路算法
·思想是DP
·外层枚举中间点,内层枚举起点,最内层枚举终点
基本模板
- //提前将邻接矩阵存在dis数组里,其他不连通的地方初始化成无穷大
- for(int k=1;k<=n;++k)//枚举中间点
- for(int i=1;i<=n;++i)//枚举起点
- if(i!=k)//节省时间,如果一样就不往下走
- for(int j=1;j<=n;++j)//枚举终点
- if(i!=j&&j!=k)//继续判断,如果有一样的就不往下走
- dis[i][j]=min(dis[i][j],dis[i][k]+dis[k][j]);//状态转移方程,也就是所谓的松弛操作
扩展例题
题意:每个道路有排序的修建时间,询问多个时间点的s到t的最短路
题解:正好可以用Floyd的思想解决,每修好一次村子,跑一遍内层循环,
dis[0][i][j] 是原始邻接矩阵数据
状态转移方程:
dis[k][i][j]=min(dis[k−1][i][j],dis[k−1][i][k]+dis[k−1][k][j])
- for(;t[k]<=w&&k<=n;++k)//如果询问的天数没有被处理到就以在k以前修好的村庄为中间点跑Floyd
- for(int i=1;i<=n;++i)
- if(i!=k)
- for(int j=1;j<=n;++j)
- if(i!=j&&j!=k)
- dis[i][j]=dis[j][i]=min(dis[i][j],dis[i][k]+dis[k][j]);//板子