Bellman-Fort(G, w, s)
第七行替换为DFS-Mark(v)
DFS-Mark(v)以v为定点进行深度遍历,将所有的点都标记为负无穷
正确性证明:根据定理24.4的证明,可以推导出Bellman-Ford结束之后在所有负权环中必然有一个点v不满足三角不等式
转:https://www.cnblogs.com/ellusak/archive/2012/07/29/2613829.html