如果一个系统由formula_1个变量和formula_2个约束条件组成，其中每个约束条件形如formula_3,则称其为差分约束系统。亦即，差分约束系统是求解关于一组变量的特殊不等式组的方法。
解法.求解差分约束系统，可以转化成图论的单源最短路径问题。观察formula_4，会发现它类似最短路中的三角不等式formula_5，即formula_6。因此，以每个变数formula_7为结点，对于约束条件formula_4，连接一条边formula_9，边权为formula_10。再增