标签：概述 最长路 最短路 等价 建图 条件 证明 math 最小化
差分约束系统用于解决：给定一些不等式，不等式\(i\)形如\(x_{u_i}\le x_{v_i}+k_i\)，求是否有解。
考虑最短路问题，若最短路问题有解，则最后的dis数组对于所有相邻的u、v满足\(dis[v]\le dis[u]+w_{u\rightarrow v}\)。这个可以与不等式的条件做类比。因此对于不等式\(x_{u_i}\le x_{v_i}+k_i\)，连边\(u_i\rightarrow v_i(k_i)\)，则不等式组有解等价于存在从某一点到所有点的最短路。
最短路问题有解等价于不存在负环。用SPFA判断即可。
求满足不等式组的前提下，\(x_n-x_1\)的最大值。
建图后，以1为起点跑SPFA。可以证明答案即为dis[n]。
求满足不等式组的前提下，\(x_n-x_1\)的最小值。
答案为1到n的最长路。
求最长路改一下SPFA的松弛条件即可。
标签：概述 最长路 最短路 等价 建图 条件 证明 math 最小化
原文地址：https://www.cnblogs.com/utopia999/p/9840348.html
