图论--差分约束系统

先上一张图，看懂了就可以走了！你学会了！ 求x1-x4的最大值，由题目给的式子1，2，4可得x1-x4>=11,我们来看图中最短路，x1到X4的最短距离也是11，也就是说差分约束系统就是将给定条件转化为图的过程，说白了还是建图，建完图，就看这个图的性质确定用什么最短路算法即可，是否有无解的情况，依照最短路算法什么时候无解呢？当有负环时无解，也就是说这里如果不确定是否无解的时候，可以用SPFA先判断

>>阅读原文<<