LOJ2481 Sure Bet

题意

有两个组A,B，两组各有n个元素。
两组中的元素可以任选，每选取一个数，无论是从A组还是B组中选出来的，花费1的代价。
每个元素最多只能被选1次。
获利是A组的选出的元素之和 和 B组的选出的元素之和 的最小值。
问最大的 获利减去代价 是多少。
可以一个数都不选。

解题思路

肯定是从大到小排序后选A组的头几个，和B组的头几个最优。
设$f[i]$表示A组选了i个，的最大的 获利减去代价。
则 f [ i ] = m a x { m i n ( s a [ i ] , s b [ j ] ) − i − j } f[i]=max\{min(sa[i],sb[j])-i-j\} f[i]=max{min(sa[i],sb[j])−i−j}
其中，$sa[i]$表示A组前i项的和,$sb[i]$类似。
三分是可以做的。因为当j增大的时候，$sb[j]$要么$\ge sa[i]$，要么$<a[i]$。
但是$f[i]$是有决策单调性的。
可以证明。反证法，分6种情况就好。
时间复杂度$O(n)$

证明决策单调性

情况①$s{b}_j\le s{b}_{j^{\prime }}\le s{a}_i<s{a}_{i+1}$ 矛盾。
情况②$s{b}_j\le s{a}_i\le s{b}_{j^{\prime }}<s{a}_{i+1}$ 矛盾。
情况③$s{b}_j\le s{a}_i<s{a}_{i+1}\le s{b}_{j^{\prime }}$ 矛盾。
情况④$s{a}_i\le s{b}_j\le s{b}_{j^{\prime }}<s{a}_{i+1}$ 矛盾。
情况⑤$s{a}_i\le s{b}_j<s{a}_{i+1}\le s{b}_{j^{\prime }}$ 矛盾。
情况⑥$s{a}_i<s{a}_{i+1}\le s{b}_j\le s{b}_{j^{\prime }}$ 矛盾。
用反证法证明的时候，如果不等式等式两边相等，那么当作矛盾处理。

代码

#include<iostream>
#include<cstdio>
#include<cmath>
#include<algorithm>
#include<cstring>
#define N 100010
#define DB double
#define fo(i,a,b) for(i=a;i<=b;i++)
using namespace std;
int i,j,n,s[N];
DB f[N],a[N],b[N],sa[N],sb[N];
DB ans;
bool cmp(DB a,DB b){return a>b;}
DB qz(int i,int j){return min(sa[i],sb[j])-i-j;}
int main(){
	freopen("2481.in","r",stdin);
	scanf("%d",&n);
	fo(i,1,n)scanf("%lf%lf",&a[i],&b[i]);
	sort(a+1,a+n+1,cmp);
	sort(b+1,b+n+1,cmp);
	fo(i,1,n){
		sa[i]=sa[i-1]+a[i];
		sb[i]=sb[i-1]+b[i]; 
	}
	fo(i,1,n)f[i]=-1e15;ans=0;
	j=1;
	fo(i,1,n){
		while(j<n&&qz(i,j)<qz(i,j+1))j++;
		ans=max(ans,qz(i,j));
	}
	/*fo(j,1,n){
		fo(i,1,n)
		if(qz(i,j)>f[i]){
			f[i]=qz(i,j);
			s[i]=j;
		}
		if(j>n-1){
			fo(i,1,n)printf("%d ",s[i]);printf("\n");
	    }	
	}
	fo(i,1,n)if(s[i]==s[i-1])printf("%d\n",i);
	fo(i,1,n)ans=max(ans,f[i]);*/
	printf("%.4lf",ans);
	return 0;
}