📡 SPFA · 队列优化Bellman-Ford

📌 算法流程

1. 初始化 dist[s]=0，其余为∞，队列 {s}，标记 s 在队列中。

2. 当队列非空：

- 出队 u，取消标记。

- 对于 u 的每条出边 (u,v,w)：

* 若 dist[v] > dist[u] + w，则更新 dist[v]。

* 若 v 不在队列中，则入队 v，标记。

3. 若某个节点入队次数超过 n-1，则存在负环。

队列的作用： 只有被更新过的节点才可能继续松弛其他节点，队列存储这些“待处理”的节点。