对于一类：每个元素有两个属性A，B
选择若干个元素，使得$frac{sum A_i}{sum B_i}$取到最值。
这类问题可以采用二分的方法。然后构造出模型用于判定。
推导：
二分mid
如果mid<=ans,
那么存在一组解{pi}
使得$mid<=frac{sum_A}{sum_B}$
即，存在一组解
使得：
$mid imes sum_B-sum_A<=0$
我一般喜欢变成：
$sum_A-mid imes sum_B>=0$
这样，就是判断，在所有的合法的选择中，
使得$sum_A-mid imes 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分数规划+差分建模+判环