【总结】带权二分/斜率凸优化/WQS二分-bzoj2654tree&bzoj4609Branch Assignment&bzoj5252林克卡特树

带权二分

带权二分是一种DP优化方式(2D/XD问题转成1D/XD)：

设$f[i][j]$表示状态$(i,j)$的最优值(比如前$i$个数分成$j$组)，那么枚举状态是$n^2$的，转移是$n^X$的。
通过带权二分使得枚举状态是$n^1$的，转移是$n^{X^{\prime }}(X^{\prime }\le X)$的。

考虑去掉状态中第二维的限制，设$f[i{]}^{\prime }=max(f[i][j])$，每次只用$f[i{]}^{\prime }$转移，也就是说对于每个$i$，只取$f[i][j]$最优的$j$。

假设最终状态是$f[n][m]$，求出的$f’[n]$所对应的最优解不一定是$m$，所以我们考虑怎么让最后对应的最优解一定在$m$上取得：

可以优化的前提是$f^{\prime }$最优化DP最后得到的$f[n][x]$得是个单峰的凸函数($y$轴表示函数值$f[n][x]$，$x$轴就是$x$)：

如上图，$A$是一个上凸函数，$B$是个下凸函数。

对于这样的凸函数，我们可以把$f(x)$加上一个正比例函数$g(x)=kx$变成$h(x)=f(x)+kx$使得它的极值点左/右移($k$越大，极值点越向$x$正半轴方向移动)。

于是就二分这个$k$，判断$h(x)=f(x)+midx$的最优点与$m$的关系。
最后$f[n][m]=h(n)-m\cdot k$(减去$g(x)$)

具体来说，我们在用$f^{\prime }(i)dp$的时候，每次转移都额外的加上一个$k$即可，因为一次转移表示第二维$x+1$，也就是$+k$。

注意：
很多时候并不能刚好取到一个$k$使得极值刚好取在$m$，则需要就题目讨论一下到底怎么取(整数范围内，实数范围暂时不谈)。

---

例题

bzoj2654tree

这道题实际上算不上$DP$，但确实用到了带权二分的思想。

考虑如果给每条百边加上一个额外的权值$k$，$k$越大，最小生成树中白边就越少。
所以二分出一个$k$，使得最小生成树上刚好有$need$条白边即可。

注意可能出现下面的情况：
二分出$mid$，这时最小生成树上有$>need$条白边，而取$mid+$