随笔分类 -  差分约束

摘要：考虑把不存在负环转换为存在差分约束。 由于 \(i \rightarrow i+1\) 的 \(0\) 边不能删，因此有 \(x_i\geq x_{i+1}\)，然后是经典操作，把大小限制转为差分，令 \(q_i=x_{i}-x_{i+1}\)，那么这个限制就是 \(q_i\geq 0\)。 考虑保 阅读全文