F - Count the Colors

http://acm.hust.edu.cn/vjudge/contest/view.action?cid=66989#problem/F

线段树入门，起初，设置数组sum=-1表示无颜色,sum=-2表示下方无统一颜色；sum>=0表示颜色为sum的占据了整个子树

li ri数组==-1，-1表示左右无统一颜色其他表示区间rt左边颜色为li右边为ri，这样既可实现本题

看代码

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>
#include <map>
#include <set>
#include <stack>
#include <string>
#define SI(T)int T;scanf("%d",&T)
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define LL long long
using namespace std;
const int SIZE=5;
const int maxn=1<<30;
int sum[SIZE<<2],li[SIZE<<2],ri[SIZE<<2];
int cnt[SIZE];
void pushup(int rt){
if(sum[rt<<1]!=-1||sum[rt<<1|1]!=-1){
li[rt]=ri[rt]=-1;
sum[rt]=-2;
return;
}
if(ri[rt<<1]==li[rt<<1|1]){
sum[rt]=li[rt]=ri[rt]=ri[rt<<1];
}
}
void pushdown(int rt){
if(sum[rt]>0){
sum[rt<<1]=sum[rt<<1|1]=sum[rt];
sum[rt]=-2;
}
}
void build(int l,int r,int rt){
memset(sum,-1,sizeof(sum));
memset(li,-1,sizeof(li));
memset(ri,-1,sizeof(ri));
}
void update(int L,int R,int c,int l,int r,int rt){
if(L<=l&&r<=R){
sum[rt]=li[rt]=ri[rt]=c;
return;
}
pushdown(rt);
int m=(l+r)>>1;
if(L<=m)update(L,R,c,lson);
if(R>m)update(L,R,c,rson);
pushup(rt);
}
void query(int l,int r,int rt){
if(sum[rt]>0){
cnt[sum[rt]]++;
return ;
}
if(sum[rt]==-1)return;
int m=(l+r)>>1;
if(l<=m)query(lson);
if(r>m)query(rson);
}
int main()
{
int n,x1,x2,c;
while(scanf("%d",&n)!=EOF){
memset(cnt,0,sizeof(cnt));
build(1,SIZE,1);
for(int i=0;i<n;i++){
scanf("%d%d%d",&x1,&x2,&c);
update(x1+1,x2,c,1,SIZE,1);
}
query(1,SIZE,1);
for(int i=0;i<SIZE<<1;i++)
printf("%d %d\n",sum[i],i);
for(int i=0;i<SIZE;i++){
if(cnt[i]){
printf("%d %d\n",i,cnt[i]);
}
}
}
return 0;
}

但是要是更新的是3跟4区间从二叉树上看3跟4区间分隔在了两颗子树，虽然他们在线上是链接的，但是在线段树上却是断开的，导致了错误。

吃个饭回来好像明白了些什么了，rili数组干嘛的。。。明显上面的代码没有用，然后根据后序遍历树个特点（神奇的地方）设置一个前驱temp，刚刚好解决了上面的问题，4的前驱刚好是3。代码贴上

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>
#include <map>
#include <set>
#include <stack>
#include <string>
#define SI(T)int T;scanf("%d",&T)
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define LL long long
using namespace std;
const int SIZE=8080;
const int maxn=1<<30;
int sum[SIZE<<2];
int cnt[SIZE];
int temp;
void pushup(int rt){
if(sum[rt<<1]==-2||sum[rt<<1|1]==-2){
sum[rt]=-2;
return;
}
if(sum[rt<<1]==sum[rt<<1|1])sum[rt]=sum[rt<<1];
else sum[rt]=-2;
}
void pushdown(int rt){
if(sum[rt]>=0){
sum[rt<<1]=sum[rt<<1|1]=sum[rt];
sum[rt]=-2;
}
}
void build(int l,int r,int rt){
sum[rt]=-1;
if(l==r)return;
int m=(l+r)>>1;
build(lson);
build(rson);
}
void update(int L,int R,int c,int l,int r,int rt){
if(L<=l&&r<=R){
sum[rt]=c;
return;
}
pushdown(rt);
int m=(l+r)>>1;
if(L<=m)update(L,R,c,lson);
if(R>m)update(L,R,c,rson);
pushup(rt);
}
void query(int l,int r,int rt){
if(sum[rt]>=0){
if(temp==sum[rt])return;
temp=sum[rt];
cnt[sum[rt]]++;
return ;
}
if(sum[rt]==-1){temp=-1;return;}
int m=(l+r)>>1;
if(l<=m)query(lson);
if(r>m)query(rson);
}
int main()
{
int n,x1,x2,c;
while(scanf("%d",&n)!=EOF){
memset(cnt,0,sizeof(cnt));
build(1,SIZE,1);
for(int i=0;i<n;i++){
scanf("%d%d%d",&x1,&x2,&c);
update(x1+1,x2,c,1,SIZE,1);
}
temp=-1;
query(1,SIZE,1);
for(int i=0;i<SIZE;i++){
if(cnt[i]){
printf("%d %d\n",i,cnt[i]);
}
}
printf("\n");
}
return 0;
}