传送门biu~ biu~
可以证明取一堆区间的权值等价于只取最左边和最右边的区间,所以答案最多只用选两个区间。
先把一个区间包含在另一个区间的情况排除。那么最后排完序的区间一定是左右端点都递增的。对于一个区间i,他左侧的最优决策区间wi一定是单调不降的,所以采用CDQ分治。
#include<bits/stdc++.h>
using namespace std;
const int INF=1e9;
long long ans;
int n;
long long f[1000005];
struct data{int L,R;}a[1000005];
inline bool cmp(data a,data b){return a.L<b.L || a.L==b.L && a.R<b.R;}
inline long long calc(int x,int y){return 1ll*(a[y].R-a[x].L)*max(a[x].R-a[y].L,0);}
void CDQ(int l,int r,int L,int R){// l~r 的最优解在 L~R之间
if(l>r) return;
if(L==R){
for(int i=l;i<=r;++i) f[i]=calc(L,i);
return;
}
int mid=l+r>>1,loc=0;long long Max=0;
int to=min(R,mid-1);
for(int i=L;i<=to;++i){
long long w=calc(i,mid);
if(w>Max){
Max=w;
loc=i;
}
}
f[mid]=Max;
if(Max){
CDQ(l,mid-1,L,loc);
CDQ(mid+1,r,loc,R);
}
else{
CDQ(l,mid-1,L,R);
CDQ(mid+1,r,L,R);
}
}
int main(){
scanf("%d",&n);
for(int i=1;i<=n;++i) scanf("%d%d",&a[i].L,&a[i].R);
sort(a+1,a+n+1,cmp);
int loc=1,Max=a[1].R,m=n;
for(int i=2;i<=n;++i){
if(a[i].R<=Max){
--m;
ans=max(ans,1ll*(a[i].R-a[i].L)*(a[loc].R-a[loc].L));
a[i].L=INF;
}
else{
loc=i;
Max=a[i].R;
}
}
sort(a+1,a+n+1,cmp);
n=m;
CDQ(2,n,1,n);
for(int i=2;i<=n;++i) ans=max(ans,f[i]);
printf("%lld",ans);
return 0;
}