关于差分约束（转载） （本文假设读者已经有以下知识：最短路径的基本性质、Bellman-Ford算法。） 比如有这样一组不等式： $$ \begin{cases} X1 - X2 <= 0 \\