2020年5月22日
差分约束
摘要： 差分约束 在一个由n个变量和m个约束条件组成的系统，如$x_i x_j=x_i$ 这看起来很像spfa三角不等式的判断，如果把整个系统看作一张有向图，这个式子又可以写成 $dis[pos]+val =dis[to]$ 这个不等式的反向命题 $dis[pos]+valk$ $x_j x_i k$ 放在 阅读全文
posted @ 2020-05-22 10:16 nebulyu 阅读(133) 评论(0) 推荐(0) 编辑