专题 01分数规划保证你看不懂

问题简介

$01$分数规划是一类经典的问题。简单的来说，就是有$n$个二元组$(cos{t}_i,valu{e}_i)$，从中选取一些二元组，使得$\frac{{\sum }_{i=1}^{i⩽n}cos{t}_i\times x_i}{{\sum }_{i=1}^{i⩽n}valu{e}_i\times x_i}$最大（或最小）。它还会与其他问题结合，如网络流等。这种题一类通用的解法就是二分答案或$Dinkelbach$算法。在本章中我们采用的是二分答案来求解问题。

常见模型

模型1 基本01分数规划与贪心

例题1 LOJ #149. 01 分数规划
给你$n$个物品，每个物品有两个属性$a_i$和$b_i$ ，求一组解$x_i(1⩽i⩽n,x_i=0或1)$使

$$\frac{{\sum }_{i=1}^{i⩽n}{a}_i\times x_i}{{\sum }_{i=1}^{i⩽n}{b}_i\times x_i}$$
最大，且恰好有$k$个$x_i$为$1$，并求出这个值。

思路 我们可以二分$r$最大值并设它等于$mid$，则
$$\frac{{\sum }_{i=1}^{i⩽n}{a}_i\times x_i}{{\sum }_{i=1}^{i⩽n}{b}_i\times x_i}⩾mid$$
变形得
∑ i = 1 i ⩽ n a i × x i − m i