01分数规划模型

问题

$$\begin{gathered} 求一组解x_1,x_2,x_3,x_4...x_n,x=0or1 \\ 使得\frac{{\sum }_{i=1}^n{a}_i\times x_i}{{\sum }_{i=1}^n{b}_i\times x_i}最大化 \end{gathered}$$

解决

考虑随机一个L,然后假设

$$\begin{gathered} 存在x_1,x_2...x_n,使得 \\ \frac{{\sum }_{i=1}^n{a}_i\times x_i}{{\sum }_{i=1}^n{b}_i\times x_i}>=L \end{gathered}$$

然后化简这个式子:

$$==>$$

$$\frac{a_1{x}_1+a_2{x}_2+a_3{x}_3+...+a_n{x}_n}{b_1{x}_1+b_2{x}_2+b_3{x}_3+...+b_n{x}_n}>=L$$

$$==>$$

$$a_1{x}_1+a_2{x}_2+a_3{x}_3+...+a_n{x}_n>=L\ast (b_1{x}_1+b_2{x}_2+b_3{x}_3+...+b_n{x}_n)$$

$$==>$$

$$a_1{x}_1-L\times b_1{x}_1+a_2{x}_2-L\times b_2{x}_2+...+a_n{x}_n-L\times b_n{x}_n>=0$$

$$==>$$

$$\sum _{i=1}^n{a}_i{x}_i-L\times b_i{x}_i>=0$$

也就是说,如果如果可以构造出一组解使得

$$\sum _{i=1}^n(a_i-L\times b_i)x_i>=0$$

那么我们当前随机的这个L比原式的最大值要小,即

$$\begin{gathered} \exists x_1,x_2...x_n,使得 \\ \frac{{\sum }_{i=1}^n{a}_i\times x_i}{{\sum }_{i=1}^n{b}_i\times x_i}>=L \end{gathered}$$

同理,如果构造不出一组解x满足上式,也就是说对于任意的一组解x都有:

$$\sum _{i=1}^n(a_i-L\times b_i)x_i<0$$

那么我们随机的这个数比最大值要大即

$$\begin{gathered} 任意x_1,x_2...x_n,使得 \\ \frac{{\sum }_{i=1}^n{a}_i\times x_i}{{\sum }_{i=1}^n{b}_i\times x_i}<L \end{gathered}$$

根据定理:判定问题普遍比最优问题简单,这种转化是有意义的

具体来讲就是上式中的$a_i-L\times b_i$是可以O(1)算出来的,那么这个问题就相当于是在一堆数中让你选出来一些数然后求这些数的和的最大值,显然直接贪心把所有正数拿出来就好了啊

与二分的关系

很显然,这个式子${\sum }_{i=1}^n(a_i-L\times b_i)x_i$关于L单调,也就是说,L越大,这个式子的最优解越小,在0处为最优解

单调性是利用二分解决问题的重要前提,就是这样