Untersee-boot XXI

差分约束系统针对于将不等式方程组转化为图论中最短路或者最长路问题，可以看做是各种问题与图论之间相互联系的桥梁。 比如在此图中求解x3-x0的最大值，就相当于求x0->x3的最短路,形如a-b<=c的式子可以转化为a<=c+b-->dis[a]<=w(a,b)+dis[b]这样类似于最短路或最长路的表达式。 用这些不等式建边的注意事项： 不等式一定是减式（因...

POJ1716 An integer interval [a,b], a < b, is a set of all consecutive integers beginning with a and ending with b. Write a program that: finds the minimal number of elements in a set containing a...