算法模板——splay区间反转 2

实现功能：同splay区间反转 1（基于BZOJ3223 文艺平衡树）

这次改用了一个全新的模板（HansBug：琢磨了我大半天啊有木有），大大简化了程序，同时对于splay的功能也有所完善

这里面没有像一般二叉排序树那样子用一个参量进行排序，而是直接以中序遍历来构建了一个普通的二叉树（当然也可以把每个点的中序遍历排名视作参量），然后插入的时候就是指定位置插入（这个就比较像是文本插入了）

总之得到了较大的提升，代码优美程度也提高不少

 var
    i,j,k,l,m,n,head,tot,ll:longint;
    a,lef,rig,b,c:array[..] of longint;
 procedure swap(var x,y:longint);
           var z:longint;
           begin
                z:=x;x:=y;y:=z;
           end;
 procedure ext(x:longint);  //经典的下推操作，有木有很像线段树呢= =
           begin
                if x= then exit;
                if c[x]= then exit;
                if lef[x]<> then c[lef[x]]:=-c[lef[x]];
                if rig[x]<> then c[rig[x]]:=-c[rig[x]];
                swap(lef[x],rig[x]);
                c[x]:=;
           end;
 procedure rt(var x:longint);  //lt、rt函数和Treap的极其相似!!!
           var f,l:longint;
           begin
                ext(x);ext(lef[x]);
                if (x=) or (lef[x]=) then exit;
                f:=x;l:=lef[x];
                b[lef[x]]:=b[x];
                b[x]:=+b[rig[x]]+b[rig[lef[x]]];
                lef[f]:=rig[l];
                rig[l]:=f;
                x:=l;
           end;
 procedure lt(var x:longint);
           var f,r:longint;
           begin
                ext(x);ext(rig[x]);
                if (x=) or (rig[x]=) then exit;
                f:=x;r:=rig[x];
                b[rig[x]]:=b[x];
                b[x]:=+b[lef[x]]+b[lef[rig[x]]];
                rig[f]:=lef[r];
                lef[r]:=f;
                x:=r;
           end;
 procedure splay(var head:longint;x:longint);   //萌萌哒伸展——而且还可以支持伸展的任意位置，只要设定head的位置，比如像后面的splay(rig[head],x);
           begin
                if head= then exit;
                ext(head);
                if (b[lef[head]]+)=x then exit;
                if x<(b[lef[head]]+) then
                   begin
                        ext(lef[head]);
                        if x=(b[lef[lef[head]]]+) then rt(head) else
                           if x<(b[lef[lef[head]]]+) then
                              begin
                                   splay(lef[lef[head]],x);
                                   rt(head);rt(head);
                              end
                           else
                               begin
                                    splay(rig[lef[head]],x--b[lef[lef[head]]]);
                                    lt(lef[head]);rt(head);
                               end;
                   end
                else
                    begin
                         ext(rig[head]);
                         x:=x--b[lef[head]];
                         if x=(b[lef[rig[head]]]+) then lt(head) else
                            if x<(b[lef[rig[head]]]+) then
                               begin
                                    splay(lef[rig[head]],x);
                                    rt(rig[head]);lt(head);
                               end
                            else
                                begin
                                     splay(rig[rig[head]],x--b[lef[rig[head]]]);
                                     lt(head);lt(head);
                                end;
                    end;
           end;
 procedure ins(x,y:longint);  //这里的ins操作已经可以支持指定位置插入子伸展树了
           begin
                if head= then
                   begin
                        head:=y;
                        exit;
                   end;
                if x=b[head] then
                   begin
                        splay(head,b[head]);
                        rig[head]:=y;
                        inc(b[head],b[y]);
                   end
                else if x= then
                     begin
                          splay(head,);
                          lef[head]:=y;
                          inc(b[head],b[y]);
                     end
                else begin
                     splay(head,x);
                     splay(rig[head],x+);
                     lef[rig[head]]:=y;
                     inc(b[rig[head]],b[y]);
                     inc(b[head],b[y]);
                end;
           end;
 procedure putinvalue(x,y:longint);  //加入单个值
          begin
               inc(tot);
               A[TOT]:=x;b[tot]:=;
               lef[tot]:=;rig[tot]:=;
               ins(y,tot);
          end;

 procedure turnover(x,y:longint);  //翻转，核心思想还是打标记
           begin
                if x=y then exit;
                if (x=) and (y=n) then
                   begin
                        c[head]:=-c[head];
                        exit;
                   end;
                if (x=) then
                   begin
                        splay(head,y+);
                        c[lef[head]]:=-c[lef[head]];
                   end
                else if (y=n) then
                     begin
                          splay(head,x-);
                          c[rig[head]]:=-c[rig[head]];
                     end
                else begin
                     splay(head,x-);
                     splay(rig[head],y-x+);
                     c[lef[rig[head]]]:=-c[lef[rig[head]]];
                end;
           end;
 function showtree(head:longint):ansistring;
          var s1,s2,s3,s4:ansistring;
          begin
               if head= then exit('');
               str(a[head],s1);
               s2:=showtree(lef[head]);
               s3:=showtree(rig[head]);
               if c[head]= then
                  begin
                       s4:=s2;
                       s2:=s3;
                       s3:=s4;
                  end;
               if s3<>'' then s3:=','+s3;
               s2:=s2+s3;
               if s2<>'' then s2:='('+s2+')';
               exit(s1+s2);
          end;
 procedure putout(x:longint);
           begin
                if x= then exit;
                ext(x);
                putout(lef[x]);
                write(a[x],' ');
                putout(rig[x]);
           end;
 begin
      readln(n,m);head:=;tot:=;
      for i:= to n do putinvalue(i,i-);
      fillchar(c,sizeof(c),);
      for i:= to m do
          begin
               readln(j,k);
               turnover(j,k);
               l:=;

          end;
      putout(head);
      writeln;
      readln;
 end.