一道经典题的算法证明

Tree I
题目：
给定一个无向带权连通图，每条边是黑色或白色。试求恰好有条$k$黑色边的生成树的最小权值和。(By WJMZBMR)

---

一些记号
$f(x):=$恰好有$x$条黑色边的生成树的最小权值和
$S(x):=$所有黑色边权值减去$x$之后的MST的值
$f$是定义在$\mathbb{N}$上的函数，但我们可以对其拓展，$\forall x\in \mathbb{N}$,将$(x,f(x))$与$(x+1,f(x))$相连，从而将$f$拓展到$[0,+\infty ]$。

---

凸函数性质讨论
直觉上，$f$应该是凸函数，因此先探讨下假如$f$是凸函数时具有哪些性质。
将所有$(x,f(x))$用直线连接起来，可以得到一个凸包。上下凸包只需要以$x$轴为对称轴对称即可互相转换，不失一般性，下述只讨论下凸包的情况。
如下图，任取一条直线$y=kx+b$，假设直线与凸包交于点$(x_0,f(x_0))$，把点代入直线可得截距$b=f(x_0)-k{x}_0$。用这条直线去切这个凸包，一定可以切到一个最优解的点(即一个拐点)，并且这时候截距$b$取最小值，即函数$g(x)=f(x)-kx$取最小值。
注意，直线切到的可能是多个最优解的点，例如下图$A,B,C$三点共线的情况，以斜率为$k_{AC}$的直线去切凸包，会与这三点重合。

那么，对一个给定的$k$，若求出$f(x)-kx$在$[x_1,x_2]$处取得最小值$g(x_1)$，则$[x_1,x_2]$处的最优解$f(x)=g(x)+kx,x\in [x_1,x_2]$。
再考虑上图，由于是一个下凸包，所以对每一个最优解的点，都存在满足上述性质的直线，并且直线的斜率是随着$x$递增的。因此若要求$x_0$处的最优解，只要二分斜率 $k$，解出$g(x)$取最小值时的解集，直到这个解集包含$x_0$，即可求出最优解$f(x_0)$。
事实上，按照上述讨论，有可能不存在整数$k$，使得解集内包含$x_0$，那二分的斜率就必须为浮点数。但是该题的情况比较特殊，如果$f(x_0)=f(x_0$