[数据结构与算法]BFS与SPFA的区别

?这是BFS算法模板：

queue<int> q;
st[1] = true; // 表示1号点已经被遍历过
q.push(1);

while (q.size())
{
    int t = q.front();
    q.pop();

    for (int i = h[t]; i != -1; i = ne[i])
    {
        int j = e[i];
        if (!st[j])
        {
            st[j] = true; // 表示点j已经被遍历过
            q.push(j);
        }
    }
}

这是spfa算法模板：

int spfa()
{
    memset(dist, 0x3f, sizeof dist);
    dist[1] = 0;

    queue<int> q;
    q.push(1);
    st[1] = true;

    while (q.size())
    {
        auto t = q.front();
        q.pop();

        st[t] = false;

        for (int i = h[t]; i != -1; i = ne[i])
        {
            int j = e[i];
            if (dist[j] > dist[t] + w[i])
            {
                dist[j] = dist[t] + w[i];
                if (!st[j])     // 如果队列中已存在j，则不需要将j重复插入
                {
                    q.push(j);
                    st[j] = true;
                }
            }
        }
    }

    if (dist[n] == 0x3f3f3f3f) return -1;
    return dist[n];
}

? 在spfa中一个点的距离可能被多次更新，因为有权值为负数得边而Dijktra中的BFS所有边的权值都非负，且每次更新其他点的距离的时候，都取的是当前未确定和起点距离的点中距离最小的点，所以当有其他路径通向这个点的时候不管是一条还是几条边距离一定都大于你选的这个边的距离，所以此时这个点到起点的距离就已经被确定不会改变了而spfa存在负边，可能存在一条路径第一段权值较大，但是后几段距离是负数，就会更新dist了，所以在spfa算法中，在出队后将st[t]标记为false，使得以后还可以入队来更新路径。