本题实际上是利用了差分约束系统求解了对于任意点对 $i, j$ 的最大和最小差值，统计答案的时候直接利用 $A + B ? C + D$ 移项转移成差值形式。

但是为什么 $i - j$ 取到差值最大的时候一定不会影响 $k - l$ 取到差值最小的情况？就是说为什么求出来的差值一定两两独立，在二者取不同边界的时候，为什么不会有影响？

萌新求助/kel