摘要：洛谷传送门 AtCoder 传送门 **差分约束算法：**给出 $m$ 个不等式形如 $x_{a_i} \le x_{b_i} + y_i$，求是否有解。 考虑把不等式看成图上的三角不等式 $dis_v \le dis_u + d$，连边 $(b_i, a_i, y_i)$，以 $x_i$ 最大的位 阅读全文