Trick

· · 个人记录

差分约束对于求最大值或最小值：最短路求最大值，最长路求最小值。

差分约束的超级源点 s 到其他点 x 连边 w，代表 dis_x \le w。

多项式求值 f(k) 等价于 f(x) \bmod (x-k) 的常数项。