摘要：P3275 [SCOI2011]糖果 题目大意： 求满足 \(k\) 个不等关系的最小正整数解的和。 solution： 这种不等式关系，考虑用差分约束求解。 我们逐一击破每个操作： 设 \(c_i\) 为编号为 \(i\) 的小朋友的糖果数。 \(c_a=c_b \longrightarrow c 阅读全文

摘要：差分约束 差分约束系统 是一种特殊的 \(n\) 元一次不等式组，它包含 \(n\) 个变量， 以及 \(m\) 个约束条件，每个约束条件是由两个其中的变量做差构成的，形如 \(x_i-x_j\leq c_k\)。 我们要解决的问题是：求一组解 ，使得所有的约束条件得到满足，否则判断出无解。 差分约 阅读全文