在做一道题，讨论区有说在建超级源点跑spfa的时候，倒序连边会快。我这样做之后，原来TLE的A了，但是原来A的T了两个。

请问这优化是玄学吗？如果不是，正确性如何证明？