差分约束系统

一、算法简介 　　差分约束系统是一种特殊的N元一次不等式组，它包含N个变量，X1~Xn以及m个约束条件，每一个约束条件都是由两个变量作差构成的，形如Xi-Xj≤Ck，其中Ck是常数，1≤i ...