问题找到了：
在 `SPFA` 中，第一次找到汇点 $t$ 时不可以立刻返回，因为此时的 $dis(t)$ 不一定是最小值，要处理完队列中所有节点才能返回。
不过我感觉这个问题似乎是我 `SPFA` 模板的问题，洛谷的模板题咋在我学 `SPFA` 的时候没给我测出来。。。
by yiming564 @ 2024-04-19 00:04:17
P.S. 同样的，改了 bug 之后也可以用 `SLF` 优化 `SPFA` 的队列，这个优化效果还是挺不错的，$1.46s \rightarrow 1.07s$
by yiming564 @ 2024-04-19 00:06:55
尴尬的事情发生了，在使用了 `SLF` 优化之后 `SPFA + EK` 跑的甚至比 `SPFA + Dinic` 还快
[SPFA + EK 评测记录](https://www.luogu.com.cn/record/156262943)
[SPFA + Dinic 评测记录](https://www.luogu.com.cn/record/156285321)
有大佬能解释一下为什么吗？`SPFA + Dinic` 跑 $1.10s$ 是否正常？
by yiming564 @ 2024-04-19 14:28:14