差分约束（Y总）

1.求不等式的可行解

        不等式的形式是 变量>=(<=)变量+常数

        源点需要满足的条件:从源点出发，一定可以走到所有的边

   步骤：

        (1) 先将每个不等式xi<=xj+ck,转换成一条从xj到xi，长度为ck的一条边

        (2) 找一个超级源点，使得该源点一定可以遍历到所有的边

      （3）从源点求一遍单源最短路

                结果1:如果存在负环，则原不等式组一定无解（画图理解）

                结果2:如果没有负环，则dist[i]就是原不等式组的一个可行解

2.如何求最大值和最小值，这里的最值指的是每个变量的最值

结论：如果求的是最小值，则应该求最长路；如果求的是最大值，则应该求最短路

问题：如何转化xi<=c，其中c是一个常数

方法:建立一个超级源点，0，然后建立0->i，长度是c的边即可

以求xi的最大值为例：求所有从xi出发，构成的不等式链xi<=xj+c1<=xk+c1+c2<=c1+c2+.....

所计算出的上界，最终xi的最大值等于所有上界的最小值(许多个x<=y这样的式子要全部满足的话最后右边的式子肯定是这些y中最小的)，所以求的是最短路