二分搜索总结

所谓二分法，在C++ STL中就一句话，$lower\_bound$，但是写了几道题，发现真正使用的时候其实充满了技巧。

1. 假定一个解并判断是否可行的问题
2. 最大化最小值的问题

这两个问题其实联系很大，他们有着共同的思路，即
（1）将所要求的结果当做二分查找的对象，确定$[l,r]$区间，
（2）确定某个$mid=(l+r)>>1$是否是一个可行解，根据是否可行解更新$l,r$的值，直到循环结束。

往往确定其是可行解的过程稍微复杂一点，但是理清思路可能并不是很难，直到我看到另一道题

一道常规又非常规的题

看到题的一瞬间greedy涌上我的心头，题解一看第一句话

我们只能保证单个物品的单位价值最大，但greedy不能保证多个物品加起来的单位价值最大。不妨再次考虑二分查找，将目标值：单位价值作为搜索目标，那么剩下的问题就是可行解的判断了，我们所要判断的是对于一个$mid$值，是否可以选择一个集合$\mathcal{S}$，使得该集合的单位价值大于$mid$。如果可以，那么$l=mid$，否则$r=mid$。这样就将其完整的转化成了一个二分搜索问题。

难点：可行解的判断

${\sum }_{i\in \mathcal{S}}{v}_i/{\sum }_{i\in \mathcal{S}}{w}_i\ge x_i$
${\sum }_{i\in \mathcal{S}}(v_i-x_i{w}_i)\ge 0$
也就是说只要保证集合$\mathcal{S}$内所有的元素的$(v_i-x_i{w}_i)$之和大于等于0即可，此时贪心是没有问题的，根据$(v_i-x_i{w}_i)$将集合排序，只要前$k$个物品满足此性质即可。