P2474

建个图？

使用并查集，然后搞一个DAG。

然后现在我们有了 \(A,B\) 两个点。那么小于的情况，\(A,B\)。

有一个比较暴力的做法，我们把 \(A,B\) 的所有可能取值搞出来，然后把这些取值钦定了，之后搞出其它点对钦定完和 \(A,B\) 的相对大小。然后最后答案直接取个交就行了。

题解的做法非常优美。我们搞出每两个数的差的区间，这个东西可以通过差分约束实现。

这个东西是两个图，有一个上限图和一个下限图。对于上限图，首先我们有一些边，\(u->v:w\) 代表 \(v-u\) 的 \(\text{max}\) 是 \(w\)。现在考虑松弛操作。假设 \(from->u\)

我们这个东西都是一个取值范围，那么我们这个东西就是最短路。显而易见的是，反过来也是一样的。

然后对于所有的点对 \(i,j\)，右边的最大值就是 \(mx+mx\)，右边的最小值就是 \(mn+mn\)

但是我们要理解，这里很多限制都是不定的，也就是说，你的 \(mxi,j\) 不一定等于对面的 \(mn\)，但是这些限制都是同时被满足的？

图论建模就这个鬼样子，很多时候都很莫名其妙。特别是差分约束。在本题中，我们求了这个 \(mx\)，我们可以证明，我们的 \(mxi,j=-mnj,i\)。

本题中还有一个 \((mx[i][A]+mx[j][B])!=(mx[i][B]+mx[j][A])\)，这个东西，我们可以理解为，这两个东西不一定同时到达上界，也就是一个条件会约束另一个条件，这样我们的 \(\text{max}\) 就倒闭了！

但是我们发现，两个不同时到达上界的时候，我们这些值其实都是定值，那么此时，对称的情况就会满足，应该就是这样了。