RT，最近在学差分约束，看到了一些 SPFA 过不了的题，然后有人把 queue 改成 stack 就卡过了。

现在有如下问题：

1. 基于队列实现的 BFS 改为了基于栈实现的 DFS 后，时间复杂度下界是否还是 $O(|V||E|)$？

2. 如果复杂度更劣，为何被称为优化？如果复杂度更优，为什么不流行这种写法？

3. DFS 版的 SPFA 相对于 BFS 版的 SPFA，优点和缺点有哪些？

SPFA 好像不能完全叫 BFS，但是这样叫习惯了