差分约束的定义：
差分约束系统是一种特殊的一元一次不等式组，约束条件就是一些以两个变量做差的形式构成，形如Xi-Xj<=Ck（Ck为常数，是一个已知的量），我们所需要求一组解，使得所有的约束条件的不等式都得到满足。
差分约束系统
原文：https://www.cnblogs.com/Dxy0310/p/9780840.html
