对于线性规划对偶这一套不熟悉的同学可以看我的这篇博客最后你会发现我还是在让你去看集训队论文
对于我们需要的最小生成树,首先树边只会减小,非树边只会增加,考虑所有非树边 u u u,他的两个端点在树上的简单路径上的所有非树边 v v v,那么 u u u的减量 d u + v d_u+v du+v的增量 d v ≥ w u − w v d_v\geq w_u-w_v dv≥wu−wv。
所以可以列出线性规划:
m i n i m i z e ∑ d u b u + d v a v s . t . d u + d v ≥ w u − w v d u ≥ 0 \begin{aligned} \rm minimize &\sum d_ub_u + d_va_v \\ s.t.&d_u+d_v \geq w_u - w_v\\ &d_u \geq 0 \end{aligned} minimizes.t.∑dubu+dva