Question

我试图从CLRS实施Bellman Ford算法，它随机似乎在距离度量上溢出。我的代码如下：

private void initSingleSource(Vertice source) {
    for(Vertice vertice:vertices) {
        vertice.distance = Integer.MAX_VALUE;
        vertice.predecessor = null;
    }
    source.distance = 0;
}

private void relax(Vertice u, Vertice v, int weight) {
    if(v.distance > u.distance + weight) {
        v.distance = u.distance + weight;
        v.predecessor = u;
    }
}

public boolean bellmanFord(Vertice source) {
    initSingleSource(source);
    for(int i = 0; i < vertices.size()-1; i++) {
        for(Vertice u: edges.keySet()) {
            Hashtable<Vertice, Integer> table = edges.get(u);
            for(Vertice v: table.keySet()) {
                 relax(u, v, table.get(v));
            }
        }
    }
    for(Vertice u: edges.keySet()) {
        Hashtable<Vertice, Integer> table = edges.get(u);
        for(Vertice v: table.keySet()) {
             if(v.distance > u.distance + table.get(v)) {
                 return false;
             }
        }
    }

    return true;
}

代码输入为：

g.addAdjList(A, B, 6);
g.addAdjList(A, D, 7);
g.addAdjList(B, C, 5);
g.addAdjList(B, D, 8);
g.addAdjList(B, E, -4);
g.addAdjList(C, B, -2);
g.addAdjList(D, C, -3);
g.addAdjList(D, E, 9);
g.addAdjList(E, C, 7);
g.addAdjList(E, A, 2);

我随机得到的正确答案是：

B 2 C 4 D 7 E -2

否则我得到：

B -2147483636 C -2147483634 D -2147483631 E -2147483640

知道为什么会这样吗？

Answer 1

我认为使用relax调用u时问题就出现了u.distance equlas Integer.MAX_VALUE。然后u.distance + weight为负数（总和超出范围）。该负值小于v.distance并被分配到v.distance。

这可能发生与否，具体取决于relax来电的顺序。当您使用table.keySet()时，订单是随机的。如果你有幸按照DFS的顺序考虑顶点，你应该得到正确的结果，但这不太可能。

可能的解决方案

private void relax(Vertice u, Vertice v, int weight) {
    if(u.distance != Integer.MAX_VALUE && v.distance > u.distance + weight) {
        v.distance = u.distance + weight;
        v.predecessor = u;
    }
}

贝尔曼福特随机产生了错误的结果

1 个答案: