了解贝尔曼·福特算法

文章目录

为什么在现实生活中会有负权重的边？
为什么我们要留意负权重？
贝尔曼·福特算法如何工作
贝尔曼·福特伪码
Bellman Ford vs Dijkstra
C示例
贝尔曼·福特算法的复杂度
- 时间复杂度
空间复杂度
贝尔曼·福特算法应用
参考文档

Bellman-Ford算法有助于我们找到加权图中从一个顶点到所有其他顶点的最短路径。
它与Dijkstra算法相似，但可用于边具有负权重的图。

为什么在现实生活中会有负权重的边？

负权重边一开始似乎没用，但它们可以解释许多现象，如现金流、化学反应中释放/吸收的热量等。
例如，如果从一种化学物质A到达另一种化学物质B的方法不同，则每种方法都会具有散热和吸热的副反应。
如果我们想找到一组需要最小能量的反应，那么我们需要将吸热作为负权重，将散热作为正权重。

为什么我们要留意负权重？

负权重边可以创建负权重循环，即通过返回到同一点来减少总路径距离的循环。

当试图找出最短路径时，负权重循环可能会给出错误的结果
最短路径算法，如Dijkstra的算法，不能检测到这样的循环，可能会给出一个不正确的结果，因为他们可以使用负权重循环，并减少路径长度。

贝尔曼·福特算法如何工作

Bellman-Ford算法的工作原理是高估从起始顶点到所有其他顶点的路径长度。然后，它通过找到更短的新路径来逐步调整先前的估计。
通过对所有顶点重复执行此操作，我们可以保证结果得到优化。
第一步，从权重图开始。

第二步，选择一个顶点，将其他顶点的路径值赋值为无穷大。

第三步，访问每个节点，如果路径距离不正确，则进行修正。

第四步，我们要做5次，因为在最差情况下，一个顶点的路径长度需要被重新调整5次。

第五步，注意右上方角落的定点是如何调整路径长度的。

第六步，当所有顶点都有路径长度后，我们检查是否存在负循环。

贝尔曼·福特伪码

我们需要维持每个顶点的路径距离。我们可以将其存储在一个大小为v的数组中，其中v是顶点的数目。
我们还希望能够获得最短路径，不仅知道最短路径的长度。为此，我们将每个顶点映射到最后更新其路径长度的顶点。
一旦算法结束，我们就可以从目标顶点回溯到源顶点来找到路径。

function bellmanFord(G, S)for each vertex V in Gdistance[V] <- infiniteprevious[V] <- NULLdistance[S] <- 0for each vertex V in G                for each edge (U,V) in GtempDistance <- distance[U] + edge_weight(U, V)if tempDistance < distance[V]distance[V] <- tempDistanceprevious[V] <- Ufor each edge (U,V) in GIf distance[U] + edge_weight(U, V) < distance[V}Error: Negative Cycle Existsreturn distance[], previous[]

Bellman Ford vs Dijkstra

Bellman-Ford算法和Dijkstra算法在结构上非常相似。虽然Dijkstra只查看顶点的直接邻居，但Bellman在每次迭代中都会遍历每一条边。

C示例

// Bellman Ford Algorithm in C#include <stdio.h>
#include <stdlib.h>#define INFINITY 99999//struct for the edges of the graph
struct Edge {int u;  //start vertex of the edgeint v;  //end vertex of the edgeint w;  //weight of the edge (u,v)
};//Graph - it consists of edges
struct Graph {int V;        //total number of vertices in the graphint E;        //total number of edges in the graphstruct Edge *edge;  //array of edges
};void bellmanford(struct Graph *g, int source);
void display(int arr[], int size);int main(void) {//create graphstruct Graph *g = (struct Graph *)malloc(sizeof(struct Graph));g->V = 4;  //total verticesg->E = 5;  //total edges//array of edges for graphg->edge = (struct Edge *)malloc(g->E * sizeof(struct Edge));//------- adding the edges of the graph/*edge(u, v)where    u = start vertex of the edge (u,v)v = end vertex of the edge (u,v)w is the weight of the edge (u,v)*///edge 0 --> 1g->edge[0].u = 0;g->edge[0].v = 1;g->edge[0].w = 5;//edge 0 --> 2g->edge[1].u = 0;g->edge[1].v = 2;g->edge[1].w = 4;//edge 1 --> 3g->edge[2].u = 1;g->edge[2].v = 3;g->edge[2].w = 3;//edge 2 --> 1g->edge[3].u = 2;g->edge[3].v = 1;g->edge[3].w = 6;//edge 3 --> 2g->edge[4].u = 3;g->edge[4].v = 2;g->edge[4].w = 2;bellmanford(g, 0);  //0 is the source vertexreturn 0;
}void bellmanford(struct Graph *g, int source) {//variablesint i, j, u, v, w;//total vertex in the graph gint tV = g->V;//total edge in the graph gint tE = g->E;//distance array//size equal to the number of vertices of the graph gint d[tV];//predecessor array//size equal to the number of vertices of the graph gint p[tV];//step 1: fill the distance array and predecessor arrayfor (i = 0; i < tV; i++) {d[i] = INFINITY;p[i] = 0;}//mark the source vertexd[source] = 0;//step 2: relax edges |V| - 1 timesfor (i = 1; i <= tV - 1; i++) {for (j = 0; j < tE; j++) {//get the edge datau = g->edge[j].u;v = g->edge[j].v;w = g->edge[j].w;if (d[u] != INFINITY && d[v] > d[u] + w) {d[v] = d[u] + w;p[v] = u;}}}//step 3: detect negative cycle//if value changes then we have a negative cycle in the graph//and we cannot find the shortest distancesfor (i = 0; i < tE; i++) {u = g->edge[i].u;v = g->edge[i].v;w = g->edge[i].w;if (d[u] != INFINITY && d[v] > d[u] + w) {printf("Negative weight cycle detected!\n");return;}}//No negative weight cycle found!//print the distance and predecessor arrayprintf("Distance array: ");display(d, tV);printf("Predecessor array: ");display(p, tV);
}void display(int arr[], int size) {int i;for (i = 0; i < size; i++) {printf("%d ", arr[i]);}printf("\n");
}

贝尔曼·福特算法的复杂度

时间复杂度

最佳案例复杂度	O（E）
平均情况复杂度	O（VE）
最坏情况的复杂度	O（VE）

空间复杂度

空间复杂度为O(V)。

贝尔曼·福特算法应用

用于计算路由算法中的最短路径
寻找最短路径

参考文档

[1]Parewa Labs Pvt. Ltd.Bellman Ford’s Algorithm[EB/OL].https://www.programiz.com/dsa/bellman-ford-algorithm,2020-01-01.