差分约束

【学习笔记】差分约束2024.1.27 \(huge\) 在讲不要忽略算法的细节时，以最短路和差分约束为例子。发现自己差分约束忘得差不多了，于是就有了这篇博客。

差分约束算法差分约束系统包含 m m m个涉及 n n n个变量的差额限制条件，这些差额限制条件每个都是形式为 x i − x j ≤ b ∈ [ 1 , m ] x_i-x_j\leq b_{\in[1,m]} xi−xj≤b∈[1,m]的简单线性不等式。

差分约束建边方法1.求最大值，用最短路，不等式转化成 a <= b + c形式，从b向a建立权值为c的边g[b].append((a,c))