linkfqy

题面在这里经典的差分约束系统题型……首先看到要求最小值，那么显然要刷最长路 即 x−y≥zx-y \ge z 型约束 构造前缀和SiS_i 那么对于一个条件(a,b,c)(a,b,c)，则有Sb−Sa≥cS_b-S_a \ge c 值得注意的是，前缀和的单调性 以及 一个位置对答案的贡献最大为1 这两个隐藏条件容易被忽视 即 Si−Si−1≥0S_i-S_{i-1}\ge 0，Si−1−

什么是差分约束系统？差分约束系统，是一类关于不等式组的线性规划问题 比如： 给出n个形如 a−b≤ca-b \le c的不等式，求一组任意解一般可以转化为最短路问题求解。差分约束系统的转化我们以 Xi−Yi≤ZiX_i-Y_i\le Z_i为例 观察发现，其实这个不等式与最短路问题中的“三角不等式”相似： Dist(i)+W(i,j)≥Dist(j)Dist(i)+W(i,j)\ge Dis