[学习笔记]0/1分数规划

对于一类：每个元素有两个属性A，B

选择若干个元素，使得$\frac{\sum A_i}{\sum B_i}$取到最值。

这类问题可以采用二分的方法。然后构造出模型用于判定。

推导：

二分mid

如果mid<=ans,

那么存在一组解{pi}

使得$mid<=\frac{\sum_A}{\sum_B}$

即，存在一组解

使得：

$mid\times \sum_B-\sum_A<=0$


我一般喜欢变成：

$\sum_A-mid\times \sum_B>=0$

这样，就是判断，在所有的合法的选择中，

使得$\sum_A-mid\times \sum_B$最大的是否大于等于0即可。

如果满足，那么退回去，mid一定比ans小。

否则一定比ans大。

而且，发现，mid越小，最大值>=0的机会越多。

所以有单调性。

 

所有的0/1分数规划开始都是这样的。

然后，根据题目的其他限制或者特点，进行建模。

 

例题：

1.转背包：[USACO18OPEN]Talent Show

2.转树形背包：[JSOI2016]最佳团体（这个题二分上界直接10000我也是很无语啊。大了就T,小了就WA。怕不是10000是怎么试出来的？万一数据特殊构造不直接卡掉？）

3.转spfa判断正环（当然也可以判负环）：bzoj3232圈地游戏——0/1分数规划+差分建模+判环

 

转载于:https://www.cnblogs.com/Miracevin/p/9801403.html