我说我不会 Bellman-Ford 你又不信。
这种图论建模要想记牢，最重要的就是理解。
考虑一个条件 $x_i \leq x_j + c_k$。
这个东西简直和三角不等式 $dis_i \leq dis_j + w_{j,i}$ 一样啊！
停，三角不等式是什么？
当 $dis_i$ 是从源点到点 $i$ 的最短距离时，一定有 $dis_i \leq dis_j + w_{j,i}$。
这个式子是由最短路的算法推得的：如果 $dis_i > dis_j + w_{j,i}$，那么它一定会被松弛掉。
于是，我们根据 $w_{j,i}$，从 $j$ 到 $i$ 连一条权值 $c_k$ 的边。
然后跑最短路。最终的 $dis$ 数组就是一组特解。
如果有负环，则无解。
这又是为什么？
如果有负环，设负环上的点依次为 $p_1,p_2,p_3,\ldots,p_n$。则把它们对应的不等式全部加起来：
$$p_1 - p_2 + p_2 - p_3 + p_3 - p_4 + \ldots + p_{n-1} - p_n + p_n - p_1 = 0 < 0$$得出矛盾。因此，存在负环即无解。