差分约束系统：
如果一个系统由n个变量和m个约束条件组成，形成m个形如ai-aj≤k的不等式(i,j∈[1,n],k为常数),则称其为差分约束系统(system of difference constraints)。亦即，差分约束系统是求解关于一组变量的特殊不等式组的方法。如果一个系统由n个变量和m个约束条件组成，形成m个形如ai-aj
阅读背景：
差分约束详解&&洛谷SCOI2011糖果题解_weixin_30856965的博客
来源：互联网
分享到：
