图论最短路：Bellman-Ford与其优化SPFA算法的一点理解

最新推荐文章于 2023-03-10 11:36:53 发布

辽宇

最新推荐文章于 2023-03-10 11:36:53 发布

阅读量278

点赞数 5

分类专栏：笔记算法文章标签：几何学算法图论

本文链接：https://blog.csdn.net/m0_50435987/article/details/121666398

版权

算法同时被 2 个专栏收录

54 篇文章 0 订阅

订阅专栏

笔记

8 篇文章 0 订阅

订阅专栏

本文深入探讨了Bellman-Ford算法，解释了其在有边数限制的最短路问题中的应用，以及如何通过k次迭代找到最短路径并检测负权环。松弛操作作为算法核心，每次成功更新都能发现新最短路。同时，对比了SPFA算法，它是Bellman-Ford的一种优化，通过队列维护被松弛的点以提高效率。

摘要由CSDN通过智能技术生成

文章目录

前言
一、对Bellman-Ford的深入理解
二、Bellman-Ford到SPFA
- - 解决：1. 最短路。 2. 判断负环。
  - 比较：SPFA与Dijkstra
三、一点问题

前言

随着对图论的深入，内心产生了很多问题。
之前的文章：图论最短路及生成树(Prim,Djikstra,Spfa,Bellan-ford,kruskal,topsort)

一、对Bellman-Ford的深入理解

1. Bellman-Ford有什么用？

Bellman-Ford算法效率低于dijistra算法，但具有一定实际意义。可以解决有边数限制的最短路问题。
想象这样一个场景：你在一号城市，想去n号城市去旅游。但是飞机没有1号城市从直达n号城市的（只能换乘飞机到达）。你想要花费最少到达目的地；但是吧，每换乘一次，你的心情就会变差一回，也就是说最多换乘k次。问最优解是什么？

Bellman-ford算法：
可以用于判断是否存在负权回路
步骤：
       for  k次循环(最多经过k条边)
         for  所有边a,b,w(权重)
           更新：dist[b] = min(dist[b],dist[a]+w)    // 即松弛操作
负权环，指的是一个图中存在一个环，里面包含的边的边权总和<0

2. 什么是松弛操作？

松弛操作：为一次成功的更新dist[x]操作
每一次成功的松弛操作，都意味着我们发现了一条新的最短路。

3. Bellman-Ford的k次迭代意义？

Bellman-Ford：共迭代k次，每次迭代，对图中所有的点的dist进行一次松弛操作，即更新一次最短路
k次迭代的实际意义：每次迭代k，我们找到了经历了k条边的最短路。

4. 一个重要定理

只有上一次迭代中松弛过的点才有可能参与下一次迭代的松弛操作。

5. 对于模板的深入理解

大致过程：
设置一个起点令dist[起点] = 0，此时认为起点进行过一次松弛操作。每次通过上次进行过松弛操作的点去更新可能参与下一次松弛操作的点，这有点像BFS，一圈一圈计算，有边数限制的话则最多松弛k次。

int Bellman_ford(){
    memset(dist,0x3f,sizeof(dist));
    dist[1] = 0;
    
    for(int i=0;i<k;i++){
        memcpy(backup,dist,sizeof dist);
        
        for(int i=0;i<m;i++){
            int a = edges[i].a,b = edges[i].b,c = edges[i].w;
            
            dist[b] = min(dist[b],backup[a]+c);
        }
    }
    
    if(dist[n] > 0x3f3f3f3f/2) return -1;
    else return dist[n];
}