摘要：
1.差分约束差分约束系统是指形如AX<=B的一个不等式组，其中A的每行恰有一个1和一个-1，其它元素都是0这样的系统可以转化为图论的最短路模型，可以很巧妙的解决一些很难的题目这个链接里有一些关于差分约束系统的介绍差分约束系统，就是求出满足简单线性不等式组xj-xi<=bk的解。根据不等式，可以构造出约束图。可以证明，如果约束图中存在负权环，则无解，否则从约束图新构造的v0出发的单源最短路径就是问题的一组可行解。由于约束图中有负权，我们可以使用Bellman-Ford算法来解决最短路径问题。经典题目 ：noi 99 01串 ：zju1508应用范围：解决一些有不等关系的判断数列是否存 阅读全文