方法:
方法就是在进行松弛操作的时候,如果能通过某个点进行松弛操作,就把这个点的出去的那个点的前驱设置为这个点
正确性:
因为所有点都会被至少松弛到一次,如果不进行松弛操作,那么这个点的前驱就一定还是原来的前驱。这个是Dijkstra算法的一个很神奇的地方,如果能进行松弛操作,说明如果要通过最短路到达这个点,就只能修改这个点的前驱。
模板题目来源:
https://www.luogu.org/problemnew/show/CF20C
代码:
#include <iostream>
#include <queue>
#include <cstdio>
#include <vector>
#include <cstring>
#include <algorithm>using namespace std;const int N = 1e5+5;
const long long INF = 9223372036854775806;int n,m;
int vis[N];
int pre[N];
long long dis[N];
struct node{int u;long long w;
};
vector <int> ans;
vector <node> graph[N];
priority_queue <pair<long long,long long>,vector <pair<long long,long long> >,greater <pair<long long,long long> > > q;void add(int x,int y,long long z) //双向图
{node temp;temp.u=y;temp.w=z;graph[x].push_back(temp);temp.u=x;graph[y].push_back(temp);
}void Dijkstra(int x)
{while(!q.empty()){pair <long long,long long> temp;temp=q.top();q.pop();if(vis[temp.second]!=0) continue;vis[temp.second]++;vector <node> :: iterator it;for(it=graph[temp.second].begin();it!=graph[temp.second].end();it++){if(vis[it->u]!=0) continue;if(dis[it->u]>dis[temp.second]+(it->w)){dis[it->u]=dis[temp.second]+(it->w);pre[it->u]=temp.second;q.push(make_pair(dis[it->u],it->u));}}}
}int main()
{scanf("%d%d",&n,&m);int temp_x,temp_y;long long temp_z;for(int i=1;i<=m;i++){scanf("%d%d%lld",&temp_x,&temp_y,&temp_z);add(temp_x,temp_y,temp_z);}//初始化dis数组for(int i=1;i<=n;i++) dis[i]=INF;dis[1]=0;q.push(make_pair(dis[1],1));Dijkstra(1);bool flag=false;int x=n;while(true){if(x==1) flag=true;ans.push_back(x);x=pre[x];if(x==0) break;}if(!flag)printf("-1\n");else{for(int i=(int)ans.size()-1;i>=0;i--)printf("%d ",ans[i]);printf("\n");}return 0;
}