判断条件是最短路径经过的点数比图上总点数还多。这样必然有点重复走，即有负环。

由于加了超级源点，点数是 $n+1$。

建议判断的时候多预留点空间，多写一个常数。