【模板】负环判定

存在负环，即：执行 spfa 算法时，一个点被更新了 N 次或 N 次以上，那么一定存在负环。由于无向图任意两点间的简单路径经过的边数均小于 N，且 B-F 算法在第 i 轮迭代结束时可以求得经过不超过 i 条边得到的单源最短路。因此， 在 N-1 次迭代时一定可以将所有点的最短路均求出。存在负环，即：执行 spfa 算法时，一个点被更新了 N 次或 N 次以上，那么一定存在负环。由