解题：SCOI 2010 序列操作

题面

线段树......模板题(雾？

然而两种标记会互相影响，必须保证每次只放一个(不然就不知道怎么放了)，具体的影响就是：

翻转标记会使得覆盖标记一起翻转，下放的时候就是各种swap

覆盖标记会抹掉翻转标记，下放的时候好像挺正常的

然后就是码码码+细节

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=100005;
struct a{int ll,rr,vv;};
int val[4*N],last[4*N][2],lst[4*N][2],rst[4*N][2];
int num[N],laz1[4*N],laz2[4*N];
int n,m,t1,t2,t3;
void pushup(int nde,int l,int r)
{
    int mid=(l+r)/2,ls=2*nde,rs=2*nde+1;
    val[nde]=val[ls]+val[rs];
    //value
    lst[nde][1]=(last[ls][1]==mid-l+1)?last[ls][1]+lst[rs][1]:lst[ls][1];
    rst[nde][1]=(last[rs][1]==r-mid)?last[rs][1]+rst[ls][1]:rst[rs][1];
    last[nde][1]=max(rst[ls][1]+lst[rs][1],max(last[ls][1],last[rs][1]));
    //longest continuing one
    lst[nde][0]=(last[ls][0]==mid-l+1)?last[ls][0]+lst[rs][0]:lst[ls][0];
    rst[nde][0]=(last[rs][0]==r-mid)?last[rs][0]+rst[ls][0]:rst[rs][0];
    last[nde][0]=max(rst[ls][0]+lst[rs][0],max(last[ls][0],last[rs][0]));
    //longest continuing zero
}
void create(int nde,int l,int r)
{
    if(l==r)
    {
        last[nde][0]=lst[nde][0]=rst[nde][0]=(num[l]^1);
        val[nde]=last[nde][1]=lst[nde][1]=rst[nde][1]=num[l];
    }
    else
    {
        int mid=(l+r)/2,ls=2*nde,rs=2*nde+1;
        create(ls,l,mid),create(rs,mid+1,r);
        pushup(nde,l,r);
    }
}
void release(int nde,int l,int r)
{
    int mid=(l+r)/2,ls=2*nde,rs=2*nde+1;
    if(laz2[nde])
    {
        if(~laz1[ls]) laz1[ls]^=1; else laz2[ls]^=1;
        if(~laz1[rs]) laz1[rs]^=1; else laz2[rs]^=1;
        val[ls]=(mid-l+1)-val[ls],val[rs]=(r-mid)-val[rs];
        //reversing
        swap(last[ls][0],last[ls][1]),swap(last[rs][0],last[rs][1]);
        swap(lst[ls][0],lst[ls][1]),swap(lst[rs][0],lst[rs][1]);
        swap(rst[ls][0],rst[ls][1]),swap(rst[rs][0],rst[rs][1]);
        //a lot of swaps......
        laz2[nde]=0;
        //refresh
    }
    //release the lazy tag of intervals reversing
    else if(~laz1[nde])
    {
        laz1[ls]=laz1[nde],laz1[rs]=laz1[nde],laz2[ls]=0,laz2[rs]=0;
        //to the left/right son
        val[ls]=last[ls][1]=lst[ls][1]=rst[ls][1]=(mid-l+1)*laz1[nde];
        val[rs]=last[rs][1]=lst[rs][1]=rst[rs][1]=(r-mid)*laz1[nde]; 
        //longest continuing one
        last[ls][0]=lst[ls][0]=rst[ls][0]=(mid-l+1)*(laz1[nde]^1);
        last[rs][0]=lst[rs][0]=rst[rs][0]=(r-mid)*(laz1[nde]^1); 
        //longest continuing zero
        laz1[nde]=-1;
        //refresh
    }
    //release the lazy tag of intervals covering
}
void Change(int nde,int l,int r,int nl,int nr,int task)
{
    if(l>nr||r<nl)
        return ;
    else if(l>=nl&&r<=nr)
    {
        last[nde][0]=lst[nde][0]=rst[nde][0]=(task^1)*(r-l+1);
        val[nde]=last[nde][1]=lst[nde][1]=rst[nde][1]=task*(r-l+1);
        laz1[nde]=task,laz2[nde]=0;
    }
    else
    {
        int mid=(l+r)/2,ls=2*nde,rs=2*nde+1; release(nde,l,r);
        Change(ls,l,mid,nl,nr,task),Change(rs,mid+1,r,nl,nr,task);
        pushup(nde,l,r); 
    }
}
void Reverse(int nde,int l,int r,int nl,int nr)
{
    if(l>nr||r<nl)
        return ;
    else if(l>=nl&&r<=nr)
    {
        val[nde]=(r-l+1)-val[nde],swap(last[nde][0],last[nde][1]);
        swap(lst[nde][0],lst[nde][1]),swap(rst[nde][0],rst[nde][1]);
        if(~laz1[nde]) laz1[nde]^=1; else laz2[nde]^=1;
    }
    else
    {
        int mid=(l+r)/2,ls=2*nde,rs=2*nde+1; release(nde,l,r);
        Reverse(ls,l,mid,nl,nr),Reverse(rs,mid+1,r,nl,nr); pushup(nde,l,r); 
    }
}
int Vquery(int nde,int l,int r,int nl,int nr)
{
    if(l>nr||r<nl)
        return 0;
    else if(l>=nl&&r<=nr)
        return val[nde];
    else
    {
        int mid=(l+r)/2,ls=2*nde,rs=2*nde+1; release(nde,l,r);
        return Vquery(ls,l,mid,nl,nr)+Vquery(rs,mid+1,r,nl,nr);
    }
}
a Lquery(int nde,int l,int r,int nl,int nr)
{
    if(l>=nl&&r<=nr)
        return (a){lst[nde][1],rst[nde][1],last[nde][1]};
    else
    {
        int mid=(l+r)/2,ls=2*nde,rs=2*nde+1; release(nde,l,r);
        if(nr<=mid) return Lquery(ls,l,mid,nl,nr);
        if(nl>mid) return Lquery(rs,mid+1,r,nl,nr); 
        a Q1=Lquery(ls,l,mid,nl,nr),Q2=Lquery(rs,mid+1,r,nl,nr),ret;
        ret.vv=max(max(Q1.vv,Q2.vv),Q1.rr+Q2.ll);
        ret.ll=(Q1.vv==(mid-l+1))?Q1.vv+Q2.ll:Q1.ll;
        ret.rr=(Q2.vv==(r-mid))?Q2.vv+Q1.rr:Q2.rr;
        return ret;
    }
}
int main ()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++)
        scanf("%d",&num[i]);
    create(1,1,n);
    memset(laz1,-1,sizeof laz1);
    for(int i=1;i<=m;i++)
    {
        scanf("%d%d%d",&t1,&t2,&t3),t2++,t3++;
        if(!t1) Change(1,1,n,t2,t3,0);
        else if(t1==1) Change(1,1,n,t2,t3,1);
        else if(t1==2) Reverse(1,1,n,t2,t3);
        else if(t1==3) printf("%d
",Vquery(1,1,n,t2,t3));
        else printf("%d
",Lquery(1,1,n,t2,t3).vv);
    }
    return 0;
}