1.定义：
如果一个系统由n个变量和m个约束条件组成，形成m个形如ai-aj≤k的不等式(i,j∈[1,n],k为常数),则称其为差分约束系统(system of difference constraints)。亦即，差分约束系统是求解关于一组变量的特殊不等式组的方法。
求解差分约束系统，可以转化成图论的单源最短路径（或最长路径）问题。
2. 数形结合
本篇学习自：夜深人静写算法（四） - 差分约束
原文：https://www.cnblogs.com/astonc/p/10821751.html