贝尔曼-福特算法(Bellman-Ford)是求解单源最短路径问题的一种算法。它与Dijkstra算法有点类似于深度搜索与广度搜索。
原理流程:通过n次循环,每次循环扩充一层最优路径集合,然后一层一层接近n号点。
松弛操作:每次松弛操作实际上是对相邻节点的访问,第n次松弛操作保证了所有深度为n的路径最短。由于图的最短路径最长不会经过超过n条边,所以可知贝尔曼-福特算法所得为最短路径。
负边权操作:与Dijkstra算法不同的是, Dijkstra算法的基本操作“拓展”是在深度上寻路,而“松弛”操作则是在广度上寻路,这就确定了Bellman-Ford算法可以对负边进行操作而不会影响结果。
负权环判定:因为负权环可以无限制的降低总花费,所以如果发现第n次操作仍可降低花销,就一定存在负权环。
bellman - ford算法的具体步骤:
for n次
for 所有边 a,b,w (松弛操作)
dist[b] = min(dist[b],back[a] + w)
注意:back[] 数组是上一次迭代后 dist[] 数组的备份,由于是每个点同时向外出发,因此需要对 dist[] 数组进行备份,若不进行备份会因此发生串联效应,影响到下一个点
for n次:n次有个实际意义为起点到达终点时,不超过n条边,因此可以通过控制循环次数来达到限制边数的目的
串联:由于这个算法的特性决定,每次更新得到可能是多考虑之后能得到的全局的最短路,即在更新一层边时,如果一个点有多个出度边,在内循环遍历所有边时,这个点的所有出度边都会被更新。所以串联指的是一次更新(循环)后,dist数组中的数据不止更新一条边,所以需要备份来保存上一次循环的数据来防止串联