XzzF1024的博客

差分约束系统：\quad最近新学的，是在学最短路时看到的。可以转化为最短路来求解，刚开始一点也不懂，那玩意儿怎么这么神奇！ \quad之后两天，一直搞这个东西，这才稍微理解了一点。\quad先从定义出发。 \quad给你一大堆不等式，然后叫你求给定不等式的最值。（比较难理解，必须搞一个很牛逼的例子） \quad例如： \qquad① x2–x1≤2x_2 – x_1 \leq 2 \qqu

题目链接：\quad POJ-3169题目大意：\quad 把 nn 个点在数轴上排成一排，并要求 pos[i+1]≥pos[i]pos[i + 1] \geq pos[i]. \quad 先给出 MLML 个关系A,B,C(A<B)A, B, C(A \lt B)要求 AA 点和 BB 点之间的距离不能超过 CC。 \quad 再给出 MDMD 个关系 E,F,G(E<F)E, F, G(E