摘要： 之前看听zyh讲了一下差分，没大懂； 后来稍微研究了一下，大概懂了一些； 这应该是线性规划的一种，大概是 给定一堆形如xj-xi<=wij的约束条件，要求我们满足条件的最优值（最大或最小） 整理一下这个式子，得到xi+wij>=xj 发现这个东西很像spfa中的三角不等式（松弛操作） 于是我们可以构 阅读全文