标签：统计 for highlight size 代码 sum 需要 == com
技巧性很强的一道二分优化题
题意很简单 给定n个三元组，和三个维度的上限，问存在多少三元组，使得对于给定的n个三元组中的每一个，必有两个维度严格小于。
首先我们根据一个维度（c维）对n个三元组排序，然后枚举答案在这个维度的取值。
此时序列被分成了两个部分，前半部分 满足所有c大于等于i 后半部分满足所有c严格小于i（即已有一个维度小于）
通过累计，我们知道此时前半部a维的最大值ma和b维的最大值mb.
显然可能存在的三元组答案，必然首先满足a维和b维严格大于ma和mb.
后面我们考虑对于后半部分，即c严格小于i的部分，可能存在某些三元组 ai和bi非常大，以致于上边的答案不合法。
这时，我们想知道，对于ai大于ma的那些三元组，其对应的bi能有多大？
我们可以用一个mx数组提前统计这个值。
那么，当ai大到一定程度，其对应的bi就不可能大于mb了 我们可以二分找到这个边界ret
对于ma到ret这个范围的值，我们让第一维取其中的某个值，对应的第二维b有多少种可能呢？
所有ai大于当前值的对应的bi的最大值。 因为若ai小于当前值，就不需要保证第二维大于bi了。。
具体看代码吧 有点难以描述。
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define fo(i,a,b) for(int i=a;i<=b;i++)
#define fd(i,a,b) for(int i=a;i>=b;i--)
#define maxn 500005
#define ll long long
using namespace std;
ll sum[maxn],mx[maxn];
ll n,p,q,r;
ll ans;
struct note{
int a,b,c;
}a[maxn];
bool cmp(note i,note j){
return i.c>j.c;
}
int main(){
scanf("%I64d%I64d%I64d%I64d",&n,&p,&q,&r);
fo(i,1,n) scanf("%d%d%d",&a[i].a,&a[i].b,&a[i].c);
fo(i,1,n) mx[a[i].a]=max(mx[a[i].a],(ll)a[i].b+1);
fd(i,p,1) mx[i]=max(mx[i+1],mx[i]);//可能存在的最大b值
fo(i,1,p) sum[i]=sum[i-1]+(q-mx[i])+1;
ll ma=1,mb=1;
sort(a+1,a+n+1,cmp);
int wz=1;
fd(i,r,1) {
while (wz<=n && a[wz].c==i) {
ma=max(ma,a[wz].a+1ll);
mb=max(mb,a[wz].b+1ll);
wz++;
}
if (ma>p || mb>q) break;
int x=ma,y=p,ret=ma-1;
while (x<=y) {
int mid=(x+y) >> 1;
if (mx[mid]>=mb) {
x=mid+1;
ret=mid;
}
else y=mid-1;
}
ans+=sum[ret]-sum[ma-1]+1ll*(p-ret)*(q-mb+1);
}
cout<<ans;
return 0;
}
Codeforces Round #419 (Div. 1) 补题 CF 815 A-E
标签：统计 for highlight size 代码 sum 需要 == com
原文地址：http://www.cnblogs.com/heisenberg-/p/7062737.html
