Bell-Ford 算法

简单来讲，就是一个point，一个结点v距离s的距离d[v]值被修改的情况只有两种：A，存在回路；B，其前驱u的值d[u]还没有稳定（这个其实跟A条件有重叠的）。

如果没有存在负回路，那么可以证明在|V|-1次relaxation之后，各个点的distance值不会改变。因为，初始时d[s]稳定，那么在接下来的一次relaxation里，会有一个与s相邻的结点，其distance值稳定。递推归纳可得所有的结点其distance值会。

如果存在负回路，则上面的稳定会被打破，会造成那个点一直不会稳定下来，这个会被检测出来。