版权声明：本文为博主原创文章，未经博主允许不得转载。 https://blog.csdn.net/qq_37275680/article/details/82109923
详解请点击右侧：夜深人静写算法（四）- 最短路和差分约束
差分约束系统其实是最短路的扩展与应用。
因为在差分约束系统中一般都存在负值，此时使用的单源最短路径算法一般为SPFA算法。需要说明的是：如果途中存在负权回路，则该差分约束系统不存在可行解，而如果源点到某点如果不存在最短路径，则对于该点所表示的变量可以取任意值，都能满足差分约束系统的要求。
差分约束系统的使用难点在于讲实际问题向差分约束系统的转换。