首先sum[24] - sum[0] >= mid一定是正确的

但是不要想复杂: 我刚刚试了一下, 强制sum[24] = mid:

就是sum[24] - sum[0] >= mid
        sum[0] - sum[24] >= -mid

是可以过的

其实主要是LRJ的书上这么写, 我们于是都在考虑sum[24] - sum[0] >= mid的原因...

解释: 一个差分约束系统解很多, SSSP跑出来的其中一组解, 并且按照最长路松弛一定是sum[24]取到最小值的那组. 所以设定了mid之后, 可能跑出来一个不等于mid的值, 极可能偏小(最长路松弛, sum[24]取到最小值). 但不代表没有可行方案, 所以强制sum[24] >= mid, 如果有一种可行方案, 跑出来的一定是该限制下的最小值, 就是mid.

于是我们发现sum[0] - sum[24] >= -mid可以省去, 就成了LRJ大神的版本了