[jsoi2011]括号序列

这题狠狠地坑了一爹啊。我优化半天递归非递归，自顶向下，自下向上的splay都写了一遍测试，结果最快的还是递归和自顶向下的。

 

，还是一直TLE。然后测了一下C++标程。比我的弱PASCAL还慢。

交上bzoj一测。C++AC。我的TLE。。

Q_Qpascal木有O2开关啊

 

 

言归正传。。这题看到reverse操作自然而然想到splay。。然后就是如何维护输出值

我们对于一个括号序列

我们可以把左括号当做1.右括号当做-1。遇到一个右括号找到前面的左括号都删去= =

我们可以知道。。最后一定是

））））（（（（（（这种形式的。

那么我们找到没得匹配的右括号最多的。。。

 

那这个做例子 ((()(()))))))(((((()(

 

 ((()(()))))))(((((()(

加粗表示匹配的括号。

那么我们维护一个前缀和 。。找到从左到右最小的和（未匹配的右括号最多）x。从右到左最大的（未匹配左括号最多）y

 

)))  |   ((((((

一个括号序列分成一堆右括号和左括号。

那么修改的最小值就是（abs(x)+1)/2 + (y+1)/2

 

 

 

一下的我弱p代码- -懒得改成C去A这题了。= =

 

 

program p2209; var lmax,lt,bj,w,rt,rmax,p,q,lmin,s,rmin,sum :array[0..100002]of longint; root,num,n,qq,tot,tmp :longint; ch :char; procedure updata(tot:longint); begin sum[tot]:=w[tot]+sum[lt[tot]]+sum[rt[tot]]; s[tot]:=s[lt[tot]]+s[rt[tot]]+1; if lmax[lt[tot]]>sum[lt[tot]]+w[tot]+lmax[rt[tot]] then lmax[tot]:=lmax[lt[tot]] else lmax[tot]:=sum[lt[tot]]+w[tot]+lmax[rt[tot]]; if rmax[rt[tot]]>sum[rt[tot]]+w[tot]+rmax[lt[tot]] then rmax[tot]:=rmax[rt[tot]] else rmax[tot]:= sum[rt[tot]]+w[tot]+rmax[lt[tot]]; if lmin[lt[tot]]>-sum[lt[tot]]-w[tot]+lmin[rt[tot]] then lmin[tot]:=lmin[lt[tot]] else lmin[tot]:= -sum[lt[tot]]-w[tot]+lmin[rt[tot]]; if rmin[rt[tot]]>-sum[rt[tot]]-w[tot]+rmin[lt[tot]] then rmin[tot]:=rmin[rt[tot]] else rmin[tot]:=-sum[rt[tot]]-w[tot]+rmin[lt[tot]] end; function build(l,r:longint):longint; var mid :longint; begin if l>r then exit(0); mid:=(l+r) shr 1; inc(tot); build:=tot; lt[build]:=build(l,mid-1); read(Ch); if ch='(' then w[build]:=1 else w[build]:=-1; rt[build]:=build(mid+1,r); updata(build); end; procedure change(tot:longint); begin tmp:=lmax[tot];lmax[tot]:=lmin[tot];lmin[tot]:=tmp; tmp:=rmax[tot];rmax[tot]:=rmin[tot];rmin[tot]:=tmp; w[tot]:=-w[tot]; sum[tot]:=-sum[tot]; bj[tot]:=bj[tot] xor 1; end; procedure reserve(tot:longint); begin tmp:=lt[tot];lt[tot]:=rt[tot];rt[tot]:=tmp; tmp:=lmax[tot];lmax[tot]:=rmax[tot];rmax[tot]:=tmp; tmp:=lmin[tot];lmin[tot]:=rmin[tot];rmin[tot]:=tmp; bj[tot]:=bj[tot] xor 2; end; procedure init; begin readln(n,qq); build(1,n); readln; end; procedure mark(tot:longint); begin if bj[tot] and 2<>0 then begin if lt[tot]<>0 then reserve(lt[tot]); if rt[tot]<>0 then reserve(rt[tot]); bj[tot]:=bj[tot] xor 2; end; if bj[tot] and 1<>0 then begin if lt[tot]<>0 then change(lt[tot]); if rt[tot]<>0 then change(rt[tot]); bj[tot]:=bj[tot] xor 1; end; end; procedure left(var root:longint); var tmp:longint; begin tmp:=rt[root]; if bj[tmp]<>0 then mark(tmp); rt[root]:=lt[tmp]; updata(root); lt[tmp]:=root; root:=tmp; end; procedure right(var root:longint); var tmp:longint; begin tmp:=lt[root]; if bj[tmp]<>0 then mark(tmp); lt[root]:=rt[tmp]; updata(root); rt[tmp]:=root; root:=tmp; end; procedure splay(var root:longint); begin if bj[root]<>0 then mark(root); if num=s[lt[root]]+1 then exit; if num<s[lt[root]]+1 then begin if num<>s[lt[lt[root]]]+1 then begin if num<=s[lt[lt[root]]] then begin right(root); splay(lt[root]); end else splay(lt[root]); end; right(root); end else begin if num<>s[lt[rt[root]]]+2+s[lt[root]] then begin if num>s[lt[rt[root]]]+2+s[lt[root]] then begin left(root); num:=num-s[lt[root]]-1; splay(rt[root]); end else begin num:=num-s[lt[root]]-1; splay(rt[root]); end; end; left(root); end; updata(root); end; procedure main; var a,b,t,x,y:longint; begin root:=1; while lt[root]<>0 do begin inc(s[root]); root:=lt[root]; end; inc(s[root]); lt[root]:=n+1; s[n+1]:=1; root:=n+2; lt[root]:=1; updata(root); while qq>0 do begin dec(qq); readln(t,x,y); num:=y+2; splay(root); num:=x; splay(lt[root]); if t=0 then begin a:=lmin[rt[lt[root]]]; b:=rmax[rt[lt[root]]]; writeln((a+1) shr 1+(b+1) shr 1); end else if t=1 then change(rt[lt[root]]) else reserve(rt[lt[root]]); end; end; begin assign(input,'1.in');assign(output,'1.out'); reset(input);rewrite(output); init; main; close(input);close(output); end.