不是在对 $0$ 跑 SPFA 的时候判断的，而是在第二次以 $1$ 开始的时候判断的，由于题面的顺序按照编号来，所以我们需要有 $x_{i + 1} - x_{i} \ge 0$ 的限制，这种情况是整张图不连通，距离可以无限大。