【烧脑算法】Dijkstra 算法:解决最短路问题
目录
前言
核心思想
Dijkstra经典题目
743. 网络延迟时间
3341. 到达最后一个房间的最少时间 I
3342. 到达最后一个房间的最少时间 II
3112. 访问消失节点的最少时间
3604. 有向图中到达终点的最少时间
2642. 设计可以求最短路径的图类
1514. 概率最大的路径
1631. 最小体力消耗路径
1786. 从第一个节点出发到最后一个节点的受限路径数
总结
前言
Dijkstra 算法是一种用于求解图中从单个源点到其他所有顶点的最短路径的经典贪心算法
核心思想
Dijkstra 算法基于 “贪心策略”:每次从尚未确定最短路径的顶点中,选择当前距离源点最近的顶点,将其标记为 “已确定最短路径”,并以该顶点为中间点,更新其相邻顶点到源点的距离。重复这一过程,直到所有顶点的最短路径都被确定。
简单来说,就是 “先找到最近的点,再用它优化其他点的距离,逐步扩大范围”。
图片来自最短路径算法之——Dijkstra算法介绍与实现 - binary220615 - 博客园。
Dijkstra 算法的实现方法有两种:
- 数组遍历:时间复杂度O (n² + m) → 适合稠密图;
- 优先队列(堆):O (m log n) → 适合稀疏图;
边数m多的就是稠密图,边数m少的就是稀疏图,n表示顶点;
关于方法的具体实现,可见以下具体题目。
PS:本篇博客中的所有题目均来自于灵茶山艾府 - 力扣(LeetCode)分享的题单
Dijkstra经典题目
743. 网络延迟时间
使用数组解决 :
求遍历所有节点所需要的最短时间。
- 向记录每个节点之间距离,没有相邻的节点距离设置为无穷大;
- 设置两个数组分别记录:从起始位置到各个位置需要的最短距离,那些位置已经作为起始位置扩展过了;
- 利用贪心,在记录最短路径的数组中找一个最短路的位置作为起始点开始向外进行扩展,计算向外扩展否每个位置的距离,如果该距离小于数组中记录的距离就对数组进行更新;
- 重复3操作,直到数组中已经没有能够作为起始位置的节点了。
class Solution {
public:int networkDelayTime(vector<vector<int>>& times, int n, int k) {//求最短路问题:Dijkstra 算法//先使用一个二维数组记录每个位置的距离,如果两个位置之间没有联系就设置为INT_MAXvector<vector<int>> path(n,vector<int>(n,INT_MAX/2)); //记录每个节点之间的距离for(auto& tmp : times){int x = tmp[0]-1,y = tmp[1]-1,t = tmp[2];path[x][y]=t;}vector<int> vist(n); //记录k已经到过哪些位置了vector<int> need_t(n,INT_MAX); //记录k到各个位置的最小之间need_t[k-1]=0; //将起始位置的距离置为0function<int()> GetNext=[&]() //计算need_t数组中的最小值,作为下一个起始位置{int ret = -1, t = INT_MAX;for(int i = 0;i <n ;i++)if(!vist[i]&& t > need_t[i]) ret=i,t = need_t[i];return ret;};int point = GetNext(),clock=0;while(point != -1){clock = need_t[point]; //当前时间vist[point] = 1;//从point位置开始向外进行扩展auto& nums = path[point];for(int k = 0;k < n;k++)need_t[k] = min(need_t[k],clock + path[point][k]);point = GetNext();}int ret = 0;for(int i = 0;i < n;i++) //计算出扩展节点需要的最大时间ret = max(ret,need_t[i]);return ret>=INT_MAX/2?-1:ret;}
};
使用堆解决:
- 使用优先级队列的目的在于解决每次都要遍历dis数组查找最小距离的位置,可以直接将 pair<dis[k],k>入堆,这样在堆顶就能直接找到最小路径的位置了。
- 每次从堆顶取出最小的位置,将该位置向外进行扩展,如果扩展的距离小于dis记录的距离就对dis数据进行更新,并将该位置入堆。
- 如果这样处理,堆中必定会出现多个k值对应不同的数据,所以在取出堆顶的元素的时候要判断该堆顶对应的距离是否是最小的距离,如果不是就不需要从该位置向外进行扩展了
class Solution {
public:int networkDelayTime(vector<vector<int>>& times, int n, int k) {//使用堆来实现vector<vector<int>> path(n,vector<int>(n,INT_MAX/2)); //记录每个节点之间的距离for(auto& tmp : times){int x = tmp[0]-1,y = tmp[1]-1,t = tmp[2];path[x][y]=t;}vector<int> dis(n,INT_MAX); //记录k到每个位置的最小距离//priority_queue记录最短路的位置priority_queue<pair<int,int>,vector<pair<int,int>>,greater<pair<int,int>>> pq;pq.push({0,k-1});while(pq.size()){auto [clock,pos]=pq.top();pq.pop();if(clock>=dis[pos]) continue; //已经遍历过更优的位置,当前位置不需要扩展了dis[pos]=clock;for(int k = 0;k < n;k++) //向四周进行扩展{if(clock+path[pos][k]<dis[k]) //当前路径更优,加入到队列中pq.push({clock+path[pos][k],k});}} int ret=ranges::max(dis);return ret>=INT_MAX/2?-1:ret;}
};
3341. 到达最后一个房间的最少时间 I
此题与上一题不同的是:此题是网格图而不是上面的有向加权图。所以此题的方向只有四个:上下左右。所以不需要提前存储每个位置的关系,在移动的时候直接向四个方向进行移动即可。
此题在入队的时候,会出现两种情况:
-
当前时间大,可以直接到下一个位置,直接使用当前时间+1;
-
当前时间小,不能直接到下一个位置,需要先到下一个时间,使用下一个位置的时间+1.
具体实现,见下面代码:
class Solution {
public:int minTimeToReach(vector<vector<int>>& moveTime) {//因为地窖是一个网格状排布,所以基本上每个房间与房间之间都有联系,所以使用堆进行处理效率更高//使用Dijkstra 算法//对于房间开始并可达的时间可以记作图中的边权,如果当前时间更大,这边权是1,否则边权就是moveTime[a][b]+1int n = moveTime.size() , m = moveTime[0].size();vector<vector<int>> dis(n,vector<int>(m,INT_MAX)); //记录到达的位置所需要的最短时间vector<vector<int>> vist(n,vector<int>(m)); //记录已经去过的位置priority_queue<tuple<int,int,int>,vector<tuple<int,int,int>>,greater<tuple<int,int,int>>> pq; //记录每个位置到达需要的时间,以及坐标int dx[] = {0,0,-1,1};int dy[] = {1,-1,0,0};pq.push({0,0,0});vist[0][0] = 1;while(!pq.empty()){auto [clock,x,y] = pq.top();pq.pop();if(dis[x][y] <= clock) continue;dis[x][y] = clock;for(int k = 0; k < 4; k++){int a = x + dx[k],b = y + dy[k];if(a >= 0 && a < n && b >= 0 && b < m && !vist[a][b] ){vist[a][b] = 1;if(clock >= moveTime[a][b] && clock + 1 < dis[a][b]) pq.push({clock+1,a,b}); //当前时间大,可以直接到下一个位置else if(clock < moveTime[a][b] && moveTime[a][b] + 1 < dis[a][b]) pq.push({moveTime[a][b]+1 ,a,b}); //当前时间小,不能直接到下一个位置,需要先到下一个时间}}}return dis[n-1][m-1];}
};
3342. 到达最后一个房间的最少时间 II
此题是上一题的拓展,大体思路与上一题一样,只不过需要记录到达每个位置时已经走的步数,所以使用tuple<int,int,int,int>存储时间,坐标,以及步数。
class Solution {
public:int minTimeToReach(vector<vector<int>>& moveTime) {//因为地窖是一个网格状排布,所以基本上每个房间与房间之间都有联系,所以使用堆进行处理效率更高//使用Dijkstra 算法//对于房间开始并可达的时间可以记作图中的边权,如果当前时间更大,这边权是1,否则边权就是moveTime[a][b]+1int n = moveTime.size() , m = moveTime[0].size();vector<vector<int>> dis(n,vector<int>(m,INT_MAX)); //记录到达的位置所需要的最短时间vector<vector<int>> vist(n,vector<int>(m)); //记录已经去过的位置priority_queue<tuple<int,int,int,int>,vector<tuple<int,int,int,int>>,greater<tuple<int,int,int,int>>> pq; //记录每个位置到达需要的时间,以及坐标int dx[] = {0,0,-1,1};int dy[] = {1,-1,0,0};pq.push({0,0,0,1});vist[0][0] = 1;while(!pq.empty()){auto [clock,x,y,step] = pq.top();pq.pop();if(dis[x][y] <= clock) continue;dis[x][y] = clock;int next = step%2==0?2:1; //计算当前步数需要花费的秒数for(int k = 0; k < 4; k++){int a = x + dx[k],b = y + dy[k];if(a >= 0 && a < n && b >= 0 && b < m && !vist[a][b] ){vist[a][b] = 1;if(clock >= moveTime[a][b] && clock + next < dis[a][b]) pq.push({clock+ next,a,b,step+1});else if(clock < moveTime[a][b] && moveTime[a][b] + next < dis[a][b]) pq.push({moveTime[a][b]+next ,a,b,step+1});}}}return dis[n-1][m-1];}
};
3112. 访问消失节点的最少时间
此题是稀疏表所以使用堆排序进行解决。只不过此题是无向图,所以在对两个位置之间的距离进行标记的时候要标记两次。并且此题不能使用vector<vector<int>> path(n,vector<int>(n))来记录两个数之间的位置,因为n最大可以取10^5会出现内存不足。所以采用vector<vector<pair<int,int>>> path(n)来减少空间的开辟。
class Solution {
public:vector<int> minimumTime(int n, vector<vector<int>>& edges, vector<int>& disappear) {//使用Dijkstra算法//使用堆来实现//1. 先统计每个两个位置之间的时间关系vector<vector<pair<int,int>>> path(n);for(auto& tmp:edges){int x = tmp[0],y = tmp[1] ,t = tmp[2];path[x].emplace_back(y,t);path[y].emplace_back(x,t);}//2. 循环前的准备工作:设置最短时间数组+已经作为扩展起点的位置vector<int> dis(n,INT_MAX/2);vector<int> vist(n);priority_queue<pair<int,int>,vector<pair<int,int>>,greater<pair<int,int>>> pq; //记录时间以及位置vist[0] = 1;pq.push({0,0}); while(pq.size()){int clock = pq.top().first,x = pq.top().second;pq.pop();if(dis[x] <= clock) continue;dis[x] = clock;vist[x] = 1;for(auto& [next,t]: path[x]){ if(t + clock <dis[next] && disappear[next] > t + clock && !vist[next]) pq.push({t + clock,next});}} for(auto& x:dis)if(x==INT_MAX/2) x = -1;return dis;}
};
3604. 有向图中到达终点的最少时间
从0位置开始找到到达n-1位置的最小路径,使用Dijkstra算法来解决,因为此题是稀疏图,所以采用优先级队列来解决会更好。
注意:此题入队的实时机:
- 当时间clock >= start && clock <= end的时候可以入队列,pq.push({clock + 1 ,next});
- 当clock < start的时候,不能直接入队列,要等一会:入队列pq.push({start + 1 ,next})。
class Solution {
public:int minTime(int n, vector<vector<int>>& edges) {//依旧是Dijkstra算法//此题是稀疏图,所以使用优先级队列来实现,时间复度更小//1. 先存储每个位置之间的关系vector<vector<tuple<int,int,int>>> path(n); //使用tuple来存储数据,因为要存储:到达的位置,起始时间,结束时间for(auto& nums : edges){int x = nums[0], y = nums[1] ,start = nums[2] ,end = nums[3];path[x].emplace_back(y,start,end);}//2. 开始准备进行循环 vector<int> dis(n,INT_MAX); //记录到达每个位置的最小时间·vector<int> vist(n); //记录哪些位置已经作为扩展的起始位置了priority_queue<pair<int,int> ,vector<pair<int,int>>,greater<pair<int,int>>> pq; //记录每个位置的时间 pq.push({0,0});vist[0] = 1;while(pq.size()){auto [clock,pos] = pq.top();pq.pop();if(dis[pos] < clock) continue;dis[pos] = clock;vist[pos] = 1;for(auto& [next,start,end] : path[pos]){if(clock < start ) pq.push({start + 1 ,next}); //时间不够,要加时间才能入队列else if(clock >= start && clock <= end) pq.push({clock+1 ,next}); //时间够,直接去下一个位置}}return dis[n-1]==INT_MAX?-1:dis[n-1];}
};
2642. 设计可以求最短路径的图类
实现一个shortestPath,从一个节点到另一个节点的最小路径。在每个shortestPath中都使用求一次从node1到所有节点的最短路径,使用Dijkstra算法,因为是稀疏图所以采用优先级队列来实现。
class Graph {int _n;vector<vector<pair<int,int>>> path ; //记录每一条路径void _addEdge(vector<int>& edge) { //设置一个统一的添加函数,让后面的函数进行复用int pos = edge[0] ,next = edge[1] ,t = edge[2];path[pos].emplace_back(next,t);}
public:Graph(int n, vector<vector<int>>& edges) {path = vector<vector<pair<int,int>>>(n); //对path进行初始化_n = n; for(auto& nums: edges) _addEdge(nums);}void addEdge(vector<int> _edge) {_addEdge(_edge);}int shortestPath(int node1, int node2) {//使用Dijkstra算法来解决//因为是稀疏图所以采用优先级队列来实现vector<int> dis(_n,INT_MAX);vector<int> vist(_n);priority_queue<pair<int,int>,vector<pair<int,int>>,greater<pair<int,int>>> pq;pq.push({0,node1});vist[node1] = 1;while(pq.size()){auto [clock ,pos] = pq.top();pq.pop();if(clock >= dis[pos]) continue;dis[pos] = clock;vist[pos] = 1;for(auto& [next,t] : path[pos])if(clock + t < dis[next] && !vist[next]) pq.push({clock + t,next});}return dis[node2] ==INT_MAX? -1 : dis[node2];}
};/*** Your Graph object will be instantiated and called as such:* Graph* obj = new Graph(n, edges);* obj->addEdge(edge);* int param_2 = obj->shortestPath(node1,node2);*/
1514. 概率最大的路径
此题依旧是求最短路问题,只不过此题是将最短路问题进行变形,求最大概率问题。
具体代码看下方实现:
class Solution {
public:double maxProbability(int n, vector<vector<int>>& edges, vector<double>& succProb, int start_node, int end_node) {//此题不过是将找最短路径改变成了找最大概念而已vector<vector<pair<int,double>>> path(n); //记录每条路的情况和成功概率//1. 先统计每条路的情况for(int i = 0;i < edges.size() ;i++){int x = edges[i][0] , y = edges[i][1];double prob = succProb[i];path[x].emplace_back(y,prob);path[y].emplace_back(x,prob);}//2. 开始准备遍历vector<int> vist(n); //记录以及作为起始位置的数字vector<double> dis(n,0); //记录到达每个位置的概率priority_queue<pair<double,int>> pq; //此时就需要使用大堆了,因为要从概率大的位置开始pq.push({1,start_node});vist[start_node] = 1;while(pq.size()){auto [prob,pos] = pq.top();;pq.pop();if(dis[pos] >= prob) continue;dis[pos] = prob;vist[pos] = 1;for(auto& [next,t] : path[pos])if(t*prob > dis[next] && !vist[next]) pq.push({t*prob,next});}return dis[end_node] ;}
};
1631. 最小体力消耗路径
此题不建议使用BFS,因为BFS一般使用来解决最短步数的问题,而此题每个位置之间使用高度差的所以相同的步数之间有不同的高度差,所以依旧是建议使用最短路思想来解决。使用Dijkstra算法来解决,此题是网格图,就不需要建图了,直接进行循环即可,直接使用优先级队列就能找到已经走的位置中最短消耗路径。
每一次向外进行扩展都是从上下左右进行扩展的。
只不过向外进行扩展时要考虑是使用下一次的高度差,还是使用原来的高度差,要使用两者中的最大值。
class Solution {
public:int minimumEffortPath(vector<vector<int>>& heights) {int n = heights.size(),m = heights[0].size();int dx[] = {0,0,1,-1}; int dy[] = {1,-1,0,0};priority_queue<tuple<int,int,int>,vector<tuple<int,int,int>>,greater<tuple<int,int,int>>> pq;vector<vector<int>> dis(n,vector<int>(m,INT_MAX)); //记录每个坐标的最短路径vector<vector<int>> vist(n,vector<int>(m)); //记录已经确定最小路径的位置pq.push({0,0,0});vist[0][0] = 1;while(pq.size()){auto [phy,x,y] = pq.top();pq.pop();if(phy >= dis[x][y]) continue;dis[x][y] = phy;vist[x][y] = 1;for(int k = 0 ; k < 4; k++){int a = x+dx[k],b = y + dy[k];if(a < 0 || a >= n || b < 0 ||b >= m) continue; //下一个位置越界了int hgt = abs(heights[x][y] - heights[a][b]); //求下一个位置与当前位置的高度差if(!vist[a][b] ) pq.push({max(hgt,phy),a,b}); //选择下一个位置和原来位置中高度差的较大值插入队列}} return dis[n-1][m-1];}
};
1786. 从第一个节点出发到最后一个节点的受限路径数
此题需要找到所有受限的路径,大体上分为两步:
- 先使用Dijkstra算法,找到从n-1位置到每个位置需要的最短路径;
- 再使用DFS,从0位置开始深度优先遍历看能否在路径长度减小的情况下遍历到n-1位置;
细节:
- 此题是无向图,所以在进行路径统计的时候要统计两次;
- 因为所有路径最终都要到n-1,所以以n-1为起始位置,来查找每个位置到n-1位置的路径长度;
- 在进行DFS的时候,要进行记忆法搜索,否则会超时。
具体实现将下面代码:
class Solution {#define MOD 1000000007
public:int countRestrictedPaths(int n, vector<vector<int>>& edges) {//Dijkstra + DFS//使用Dijkstra算法求出从n-1位置开始到每个位置的最短路路径//再使用DFS从0位置开始找路径长度依次递减并且能到n-1位置的路径个数//使用Dijkstra算法vector<vector<pair<int,int>>> path(n); //记录每个位置之间的路径关系for(auto& nums: edges){int x = nums[0] - 1 , y = nums[1] - 1 ,t = nums[2];path[x].emplace_back(y,t);path[y].emplace_back(x,t);}vector<int> dis(n,INT_MAX);vector<int> vist(n);priority_queue<pair<int,int> ,vector<pair<int,int>>,greater<pair<int,int>>> pq;pq.push({0,n-1});vist[n-1] = 0;while(pq.size()){auto [clock,pos] = pq.top();pq.pop();if(dis[pos] <= clock) continue;vist[pos] = 1;dis[pos] = clock;for(auto& [next,t] : path[pos])if(clock + t <dis[next] && !vist[next]) pq.push({clock + t,next});}//使用DFS找路径vector<int> have_go(n);vector<int> each_pos(n,-1); //存储已经到的位置的路径长度function<int(int,vector<int>&)> dfs = [&](int pos,vector<int>& hg) //进行DFS,其中hg表示当前路径已经遍历过的位置{if(pos == n-1) return 1;if(each_pos[pos] != -1) return each_pos[pos];int ret = 0;for(auto& [next,_] : path[pos]){if(!hg[pos] &&dis[next] < dis[pos]) {hg[pos] = 1;ret = (ret + dfs(next,hg)%MOD)%MOD;hg[pos] = 0;}}each_pos[pos] = ret;return ret;};return dfs(0,have_go);}
};
总结
对于求最小路径的题目一般套路都是固定的,两种方法:数组或优先级队列。关于该类题目最重要的就是考虑何时入队列。