摘要:
基本概念 差分约束系统是一种特殊的$n$元一次不等式组,它包含$n$个变量$x_1,x_2,...,x_n$以及$m$个约束关系,每个约束条件由两个变量作差构成的,例如$x_i-x_j\leq c_k$,其中$1\leq i,j\leq n,i\neq j,1\leq k \leq n$且$c_k$ 阅读全文
摘要:
思路 此题是一个典型的差分约束题。 要求得是最大值,所以我们要求最长路。(为什么?) 对于每一个$x$值,我们可以建立不同的有向边,因此: 当$x=1$时,得$A=B\Longleftrightarrow A\leq B&& B\leq A$,即我们可以从$A$到$B$建一条长度为$0$的有向边和从 阅读全文