剑锋OI SharpSwordOI

差分约束系统（附题目练习清单） 本文部分内容非原创，转载自https://blog.youkuaiyun.com/consciousman/article/details/53812818 一、何为差分约束系统： 差分约束系统（system of difference constraints），是求解关于一组变数的特殊不等式组之方法。如果一个系统由n个变量和m个约束条件组成，其中每个约束条件形如xj...

差分约束系统只是对最短路算法的一种应用，没有什么新的算法，只是对于具体问题的建图方法的确定 差分约束系统解决的问题是不等式组的求解： X1 - X2 <= 0 X1 - X5 <= -1 X2 - X5 <= 1 X3 - X1 <= 5 X4 - X1 <= 4 X4 - X3 <= -1 X5 - X3 <= -3 X5...