bzoj1858

比较烦的线段树

首先询问3很弱智不说，

询问4以前做过类似的，好像是USACO月赛hotel那题类似，维护lmax，rmax，max三个域就可以了

操作0，操作1也很简单，仔细考虑一下就知道也是可以lazy tag的

重点是操作2，好像数据结构题中翻转总是一个难点

由于翻转影响对询问4影响较大（对询问3基本没什么影响）

我们考虑这次维护六个域lmax0，rmax0，max0，lmax1,rmax1 max1 分别表示在区间内0和1从左起最多连续几个，从右起最多连续几个，区间内最多连续几个

然后我们来考虑操作，首先难想到维护rev域表示区间是否翻转，lazy表示0表示全0,1表示全1，-1表示没有进行覆盖操作

操作0,1对操作2有强制性，只要执行操作0,1，就一定可以直接覆盖之前的操作

然后执行取反操作的时候，如果lazy<>-1 那么对lazy取反（0-->1 1-->0) 否则再对rev取反

 type node=record
        l,r,lm1,rm1,m1,lm0,rm0,m0,sum:longint;
      end;

 var tree:array[..] of node;
     lazy,a:array[..] of integer;
     rev:array[..] of boolean;
     ch,i,n,m,x,y:longint;

 function max(a,b:longint):longint;
   begin
     if a>b then exit(a) else exit(b);
   end;

 function min(a,b:longint):longint;
   begin
     if a>b then exit(b) else exit(a);
   end;

 procedure swap(var a,b:longint);
   var c:longint;
   begin
     c:=a;
     a:=b;
     b:=c;
   end;

 procedure fill1(i:longint);
   var l,r:longint;
   begin
     l:=tree[i].l;
     r:=tree[i].r;
     tree[i].sum:=r-l+;
     tree[i].lm1:=r-l+;
     tree[i].rm1:=r-l+;
     tree[i].m1:=r-l+;
     tree[i].lm0:=;
     tree[i].rm0:=;
     tree[i].m0:=;
   end;

 procedure fill0(i:longint);
   var l,r:longint;
   begin
     l:=tree[i].l;
     r:=tree[i].r;
     tree[i].sum:=;
     tree[i].lm0:=r-l+;
     tree[i].rm0:=r-l+;
     tree[i].m0:=r-l+;
     tree[i].lm1:=;
     tree[i].rm1:=;
     tree[i].m1:=;
   end;

 procedure change(i:longint);
   var l,r:longint;
   begin
     l:=tree[i].l;
     r:=tree[i].r;
     tree[i].sum:=(r-l+)-tree[i].sum;
     swap(tree[i].m1,tree[i].m0);
     swap(tree[i].lm1,tree[i].lm0);
     swap(tree[i].rm1,tree[i].rm0);
   end;

 procedure update(i:longint);   //由下向上更新
   var l,r,m,p:longint;
   begin
     l:=tree[i].l;
     r:=tree[i].r;
     m:=(l+r) shr ;
     tree[i].sum:=tree[i*].sum+tree[i*+].sum;
 //
     tree[i].lm1:=tree[i*].lm1;
     if tree[i*].lm1=m-l+ then
       tree[i].lm1:=tree[i].lm1+tree[i*+].lm1;

     tree[i].rm1:=tree[i*+].rm1;
     if tree[i*+].rm1=r-m then
       tree[i].rm1:=tree[i].rm1+tree[i*].rm1;

     tree[i].m1:=max(tree[i].lm1,tree[i].rm1);
     p:=max(tree[i*].rm1+tree[i*+].lm1,max(tree[i*].m1,tree[i*+].m1));
     tree[i].m1:=max(p,tree[i].m1);
 //
     tree[i].lm0:=tree[i*].lm0;
     if tree[i*].lm0=m-l+ then
       tree[i].lm0:=tree[i].lm0+tree[i*+].lm0;

     tree[i].rm0:=tree[i*+].rm0;
     if tree[i*+].rm0=r-m then
       tree[i].rm0:=tree[i].rm0+tree[i*].rm0;

     tree[i].m0:=max(tree[i].lm0,tree[i].rm0);
     p:=max(tree[i*].rm0+tree[i*+].lm0,max(tree[i*].m0,tree[i*+].m0));
     tree[i].m0:=max(p,tree[i].m0);
   end;

 procedure pushdown(i:longint);   //传递标记
   begin
     if lazy[i]<>- then
     begin
       lazy[i*]:=lazy[i];
       lazy[i*+]:=lazy[i];
       if lazy[i]= then
       begin
         fill1(i*);
         fill1(i*+);
       end
       else begin
         fill0(i*);
         fill0(i*+);
       end;
       lazy[i]:=-;
       rev[i]:=false;  
     end;
     if rev[i] then
     begin
       if lazy[i*]<>- then lazy[i*]:=-lazy[i*]
       else rev[i*]:=not rev[i*];
       if lazy[i*+]<>- then lazy[i*+]:=-lazy[i*+]
       else rev[i*+]:=not rev[i*+];
       change(i*+);
       change(i*);
       rev[i]:=false;
     end;
   end;

 procedure build(i,l,r:longint);
   var m:longint;
   begin
     tree[i].l:=l;
     tree[i].r:=r;
     lazy[i]:=-;
     if l=r then
     begin
       tree[i].sum:=a[l];
       if a[l]= then
       begin
         tree[i].lm1:=;
         tree[i].rm1:=;
         tree[i].m1:=;
       end
       else begin
         tree[i].lm0:=;
         tree[i].rm0:=;
         tree[i].m0:=;
       end;
     end
     else begin
       m:=(l+r) shr ;
       build(i*,l,m);
       build(i*+,m+,r);
       update(i);
     end;
   end;

 procedure work(i,l,r:longint);
   var m:longint;
   begin
     if (x<=l) and (y>=r) then
     begin
       if rev[i]=true then rev[i]:=false;
       lazy[i]:=ch;
       if ch= then fill1(i)
       else fill0(i);
     end
     else begin
       if (lazy[i]<>-) or (rev[i]) then pushdown(i);
       m:=(l+r) shr ;
       if x<=m then work(i*,l,m);
       if y>=m+ then work(i*+,m+,r);
       update(i);
     end;
   end;

 procedure reverse(i,l,r:longint);
   var m:longint;
   begin
     if (x<=l) and (y>=r) then
     begin
       if lazy[i]<>- then lazy[i]:=-lazy[i]
       else rev[i]:=not rev[i];
       change(i);
     end
     else begin
       if (lazy[i]<>-) or rev[i] then pushdown(i);
       m:=(l+r) shr ;
       if x<=m then reverse(i*,l,m);
       if y>=m+ then reverse(i*+,m+,r);
       update(i);
     end;
   end;

 function asksum(i,l,r:longint):longint;
   var m,t:longint;
   begin
     if (x<=l) and (y>=r) then exit(tree[i].sum)
     else begin
       if (lazy[i]<>-) or rev[i] then pushdown(i);
       m:=(l+r) shr ;
       t:=;
       if (x<=m) then t:=t+asksum(i*,l,m);
       if y>=m+ then t:=t+asksum(i*+,m+,r);
       update(i);
       exit(t);
     end;
   end;

 function askmax(i,l,r:longint):longint;
   var m,t,t1,t2:longint;
   begin
     if (x<=l) and (y>=r) then exit(tree[i].m1)
     else begin
       if (lazy[i]<>-) or rev[i] then pushdown(i);
       m:=(l+r) shr ;
       t1:=;
       t2:=;
       t:=;
       if (x<=m) then t1:=askmax(i*,l,m);
       if y>=m+ then t2:=askmax(i*+,m+,r);
       if (x<=m) and (y>=m+) then t:=min(tree[i*].rm1,m-x+)+min(tree[i*+].lm1,y-m); //注意不能少考虑这种情况
       t:=max(t,max(t1,t2));
       update(i);
       exit(t);
     end;
   end;

 begin
   readln(n,m);
   for i:= to n do
     read(a[i]);
   build(,,n);   //初始化
   for i:= to m do
   begin
     readln(ch,x,y);
     inc(x);
     inc(y);
     if ch= then
       work(,,n)
     else if ch= then
       work(,,n)
     else if ch= then
       reverse(,,n)
     else if ch= then
       writeln(asksum(,,n))
     else if ch= then
       writeln(askmax(,,n));
   end;
 end.