一直追寻直到哭泣之时

摘要： $n$ 只母牛排成队吃饭，用 $s_i$ 表示第 i 只母牛的位置，这些位置有这些限制： 1. $s_i \le s_{i+1}$ 2. 给出 ML 个限制：$s_b - s_a \le d$ 2. 给出 MD 个限制：$s_b - s_a \ge d$ 问 1 牛到 n 牛的最大距离。 这个显然是 阅读全文

摘要： 差分约束系统是指一系列不等式：$$X_j- X_i\le C_{ij}(1\le i, j \le n)$$当然 i，j 不必取遍 1-n，而且在扩展的状况下，对于每个（i，j），可以由多个 $C_{ij}$，但是我们很容易把它们化成一个不等式。在求解不等式组之前，我们可以分析一下这个不等式组的性质... 阅读全文