0/1分数与最优比率生成树

0/1分数与最优比率生成树

分数问题为
$$min\lambda =f(x)=\frac{a(x)}{b(x)}(xϵS)$$
其中 x是向量。
我们需要求向量X以使得$\lambda$最小。
现在看这样一个问题，一个图中，每个边都由两个权值分别是cost花费和value收益，我们现在需要让
$$\frac{{\sum }_{iϵV}valu{e}_i}{{\sum }_{iϵV}cos{t}_i}=\lambda$$
最小（最小一样）
其中V是图中一个生成树的点的集合
现在设$x_i$取值为0和1，代表第i个边选择与不选，一会我们所求的所有i共同构成一个生成树，所以简化下，去掉公式中的$iϵV$变成
$$\frac{\sum valu{e}_i\ast x_i}{\sum cos{t}_i\ast x_i}=\lambda \text{\hspace{1em}(1)}$$
现在设函数
$$f(r)=\sum valu{e}_i\ast x_i-r\ast \sum cos{t}_i\ast x_i$$
自变量为r
其中函数$f(x)$单调递减
现在我们令$f(x)=0$此时r就是我们希望求得$\lambda$
所以现在我们考虑，给定一组$x_i$总能找到一个$r$使得$f(r)=0$（一次函数嘛，很容易理解）,那么此时得$r$就是我们希望求得$\lambda$，当然此时得$\lambda$不一定满足最小条件，但最起码它符合等式(1)，那么我们如何求使得$r$最小呢，(已下得$\lambda$和$r$是一回事儿)考虑使用二分问题求解，我们可以想到如果我们给定一个$\lambda$太小，比${\lambda }_{min}$都小（尽管我们没有求出来${\lambda }_{min}$，但它一定存在），那么无论$x_i$集合如何取值，$f($\lambda$)>0$恒成立，所以此时我们要让$\lambda$变大一些，如果$\lambda >{\lambda }_{max}$，那么无论$x_i$取什么集合，f($\lambda$)<0恒成立，此时很显然要让$\lambda$变小一些，如果$\lambda$正好使得使得$f(\lambda )=0$，那么此时我们让$\lambda$在变大一些，看看能不能新得$\lambda$满足等式(1)，如果满足就再增大，所以我们可以根据二分来求解此问题。
再看一个几何解释。我们任意给定一组$x_i$，那么原函数$f(x)$为一个一次函数，现在我们给定很多组$x_i$
如下图

现在我们知道每条直线与x轴得交点值即为每一个生成树得$\frac{{\sum }_{iϵV}valu{e}_i}{{\sum }_{iϵV}cos{t}_i}=\lambda$ 值（也就是把相应得那个生成树的value相加除以cost相加）我们想要求得最大的$\lambda$也就是图上最右边的那条直线与x轴的交点，现在我们令L=0,R=inf,mid=(L+R)/2，我们把mid带入到每条直线上去，也就是$f(mid)$,选择$f(min)$最大的那一条直线，然后看看$f(mid)$是否大于0，

1. 如果$f(mid)>0$，说明此时mid有些小，存在更大的$\lambda >$mid，令L=mid
2. 如果$f(mid)<0$,说明此时mid有些大，所有生成树集合的$\lambda$值都不能达到这么大，令R=mid
3. 若果$f(mid)=0$，此时就是原问题的最优解

---

现在考虑给定一个mid,如何求得最大的那根直线的$f(min)$，所以给定一个$\lambda$我们要求最大的$f(\lambda )$，也就是
$$max(f(\lambda ))=max(\sum valu{e}_i\ast x_i-r\ast \sum cos{t}_i\ast x_i)$$
$$max(\sum valu{e}_i\ast x_i-r\ast \sum cos{t}_i\ast x_i)=max(\sum (valu{e}_i-r\ast cos{t}_i)\ast x_i)$$，因为每一组$x_i$都是一个最小生成树的集合，所以我们只需要设$w_i-valu{e}_i-r\ast cos{t}_i$，然后再用$w_i$当作图中边的权值构建最小生成树，最小生成树的权值和就是最后的$max(f(\lambda ))$。

---

DinkelBach定理
我们现在考虑一种替代二分的方法，如果$maxf(\lambda )>0$,那么我我们直接将那条直线的横截距赋值给$\lambda$是收敛速度更快呢?如果$maxf(\lambda )<0$，那么我们任何让横截据赋值给$\lambda$，那么$\lambda$仍然能够变小和二分的效果一样，所以我们可以考虑每次把横截据赋值给$\lambda$直到$\lambda$不变为止。