spfa 时候可以卡到复杂度比 bellman-ford更大，如何卡掉？

还是说 spfa 最劣情况和 bellman-ford相同。

判断负环的时候除了 bellman-ford（及其优化）之外是否有还有其他复杂度更有保证的做法？