rt，该题差分约束建出来的边跑 SPFA 复杂度是与 $n$ 同阶的吗？

如果是的，烦请给出证明；如果不是，请教我如何卡到上界。