初识差分约束

对于差分约束理解 差分约束解决了一类不等式组的解的问题，如 (0) x 1 − x 0 ≤ a x_1 - x_0 \leq a \tag{0} x1​−x0​≤a(0) (1) x 2 − x 1 ≤ b x_2-x1\leq b \tag{1} x2​−x1≤b(1) (2) x 2 − x 0 ≤ c x_2-x_0\leq c \tag{2} x2​−x0​≤c(2) 然后我们需要求的是

>>阅读原文<<