好久没发博客了……浅浅复活一下，讲个冷门些的算法。

算法目的：选出k组ai,bi使得   最大。

算法过程：

不妨考虑二分答案，那么答案的形式便是  的形式，则可通过移项转化为，进一步的，我们可以将求和合并，则有，这便是二分检验的条件，只需挑出满足条件的k组即可，该算法考不出太新鲜的，至多是二分加优化。

那么我们来看一道例题

P4377 [USACO18OPEN] Talent Show G

简化一下题意：选出任意组ai,bi使得最大，且。那么看到该限制条件，只需在二分时使用01背包优化即可。最后输出为答案*1000向下取整。

代码：

#include<bits/stdc++.h>
#define ll long long
#define endl '\n'
using namespace std;
const int maxn=1e5+10;
int n,w,a[maxn],b[maxn];
double f[maxn]; 
bool check(double mid){
	for(int i=1;i<=w;i++) f[i]=-1e9;
	for(int i=1;i<=n;i++){
		for(int j=w;~j;j--){
			f[min(w,j+b[i])]=max(f[min(w,j+b[i])],f[j]+a[i]-mid*b[i]);
		}
	}
	return f[w]>=0;
}
int main(){
	ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);
	cin>>n>>w;
	for(int i=1;i<=n;i++) cin>>b[i]>>a[i];
	double l=0,r=1e6;
	while(r-l>1e-4){
		double mid=(l+r)/2;
		if(check(mid)) l=mid;
		else r=mid;
	}
	cout<<(int)(1000*l)<<endl;
	return 0;
}