这是利用bfs进行最短路的思想,使用双堆队列即 deque 进行操作。
简单说从起点开始加入的每一条边, 0 0 0 权放到 deque 最左边,1权放到最右边。这样进行 bfs 时,每次我们都用当前最短的边对其他边进行松弛,而这就是 dijkstra 的思想,从某种意义上说,01bfs 的 dijkstra 的一种特殊情况。
众所周知,dijkstra 时间复杂度是 O ( ( n + m ) log m ) O((n + m)\log{m}) O((n+m)logm) 的, log m \log{m} logm 是因为使用了堆(更多见笔记),而01bfs用的是deque,其首尾插入删除都是O(1)的,而它操作的是边,所以时间复杂度是 O ( m ) O(m) O(m) 的,即线性的时间复杂度(稳定)很快,算比较常用,于是单拎出来。
注意一点,01bfs 严格上是不必要建边的,即 01bfs 在某种情况下不建边一样可行。但是通常还是建边把,毕竟不会影响时间复杂度。
代码
int bfs(int S)
{
memset(dist, 0x3f, sizeof dist);
dist[S] = 0;
q.push_front(S);
while (q.size())
{
int t = q.front();
q.pop_front();
if (st[t]) continue; // 和dijkstra一样
st[t] = true;
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 (w[i]) q.push_back(j);
else q.push_front(j);
}
}
}
return dist[T];
}
更多的
这里的 01 是指两种边权,不必一定边权为 0 0 0 为 1 1 1 才能用。
因为算是 dijkstra 的特殊情况,所以不能处理负权边,但是时间复杂度稳定,不像 spfa。