摘要：
这样的未知数组成的不等式组叫做差分约束系统，要么无解，要么无数组解（一组解加上或减去一个数字不等式依旧成立）。差分约束系统的求解利用单源最短路中的三角形不等式，对于有向网中的任何一条边满足d[v]<=d[u]+edge[u][v];其中d[u],d[v]分别是从源点分别到顶点u和v的最短路径。构造方法：①每个不等式中的每个未知数Xi对应图中的一个顶点Vi；②把所有不等式都化成图中的一条边，对于不等式Xi-Xj<=c，即Xi<=c+Xj，就可以化成<Vi,Vj>，权值为c。最后在这个图中求一次单源最短路，这些三角形不等式就都满足了。增加一个源点，自己设一个，以上不等 阅读全文
