Deep_Thinking的博客

Description 传送门 Solution 差分约束的裸题，太久没有做差分约束导致我完全忘记了这个东西。 首先如果有奇环显然不行，因此这是一个二分图。 au=av+1a_u=a_v+1au​=av​+1可以写成au≤av+1,au≥av+1a_u\le a_v+1,a_u\ge a_v+1au​≤av​+1,au​≥av​+1。 ∣au−av∣=1|a_u-a_v|=1∣au​−av​∣=1可以写成av−1≤au≤av+1a_v-1\le a_u \le a_v+1av​−1≤au​≤av​+1

差分约束体系 有若干个不等式xi<=xj+k（或经过移项可以表示成这个形式） 求xt-xs的最大值或最小值。 算法思想 考虑对于任意不等式xi<=xj+k，我们将它与最短路中的边类比。 在最短路中如果有一条边(u,v)，当dis[u]+cost<dis[v]时我们要更新dis[v]，使得dis[v]=dis[u]+cost(u,v) 实际上最终的dis一定满足任意边(u,v...