请加上 人类智慧剪枝，即：

若松弛操作的次数 $>\text{N} \times2$

我们可以武断的判断图中存在负环。

？你说原理，我不知道啊/kk