bzoj1056

花了一上午大概复习了一下splay，treap

像这种裸的数据结构题在js应该会越来越少

不过练练手也好，

这就是平衡树+hash，如果这是单纯的BST应用，还是写treap吧，好调试

 const rd=;
       ran=;

 type link=^node;
      node=record
        st:string[];
        loc:longint;
        next:link;
      end;

 var hash:array[..rd] of link;
     son:array[..,..] of longint;
     score,fa,count,key:array[..] of longint;
     na:array[..] of string[];
     t,tot,root,x,y,i,n:longint;
     what,ch:char;
     s,ss:string;

 procedure update(x:longint);
   begin
     count[x]:=count[son[x,]]+count[son[x,]]+;
   end;

 procedure clear(x:longint);
   begin
     count[x]:=;
     fa[x]:=;
     score[x]:=;
     key[x]:=;
     son[x,]:=;
     son[x,]:=;
     fa[]:=;
     count[]:=;
   end;

 function tran(x:string):longint;
   var l,i:longint;
   begin
     l:=length(x);
     tran:=;
     for i:= to l do
       tran:=tran*+ord(x[i])-;
   end;

 function get(x:string):longint;
   var l,i,s:longint;
       p:link;
   begin
     l:=length(x);
     s:=;
     for i:= to l do
       s:=(s+(sqr(ord(x[i]))*i mod rd)) mod rd;
     p:=hash[s];
     while p<>nil do
     begin
       if p^.st=x then
       begin
         get:=p^.loc;
         break;
       end;
       p:=p^.next;
     end;
     if p=nil then
     begin
       get:=-;
       new(p);
       inc(t);
       p^.loc:=t;
       p^.st:=x;
       p^.next:=hash[s];
       hash[s]:=p;
     end
     else if what='+' then
     begin
       inc(t);
       p^.loc:=t;
     end;
   end;

 procedure rotate(x,w:longint);
   var y:longint;
   begin
     y:=fa[x];
     if fa[y]= then root:=x
     else begin
       if son[fa[y],]=y then son[fa[y],]:=x
       else son[fa[y],]:=x;
     end;
     fa[x]:=fa[y];
     son[y,-w]:=son[x,w];
     fa[son[x,w]]:=y;
     son[x,w]:=y;
     fa[y]:=x;
     update(y);
     update(x);
   end;

 procedure up(x:longint);
   var y:longint;
   begin
     y:=fa[x];
     while y<> do
     begin
       if key[y]>key[x] then
       begin
         if son[y,]=x then rotate(x,)
         else rotate(x,);
       end
       else break;
       y:=fa[x];
     end;
     if y= then root:=x;
   end;

 procedure sift(x:longint);
   var j1,j2:longint;
   begin
     repeat
       j1:=son[x,];
       j2:=son[x,];
       if (j1=) and (j2=) then exit;
       if j1= then rotate(j2,)
       else if j2= then rotate(j1,)
       else begin
         if (key[j1]>key[j2]) then rotate(j2,)
         else rotate(j1,);
       end;
     until false;
   end;

 function rank(x:longint):longint;
   var y,p:longint;
   begin
     y:=fa[x];
     p:=x;
     rank:=count[son[x,]];
     while y<> do
     begin
       if son[y,]=p then rank:=rank+count[son[y,]]+;
       p:=y;
       y:=fa[p];
     end;
     rank:=rank+;
   end;

 function kth(x:longint):longint;
   var p:longint;
   begin
     p:=root;
     while true do
     begin
       if count[son[p,]]+=x then exit(p);
       if count[son[p,]]+>x then p:=son[p,]
       else begin
         x:=x-count[son[p,]]-;
         p:=son[p,];
       end;
     end;
   end;

 procedure insert(s:string;x:longint);
   var p:longint;
   begin
     clear(t);
     score[t]:=x;
     key[t]:=trunc(random(ran));
     na[t]:=s;
     if root= then
     begin
       root:=t;
       fa[t]:=;
     end
     else begin
       p:=root;
       repeat
         inc(count[p]);
         if x>score[p] then
         begin
           if son[p,]= then break;
           p:=son[p,];
         end
         else begin   //注意后插入的相等分数应放在左子树
           if son[p,]= then break; 
           p:=son[p,];
         end;
       until false;
       if score[p]>=x then son[p,]:=t else son[p,]:=t;  
       fa[t]:=p;
       up(t);
     end;
   end;

 procedure delete(x:longint);
   var y:longint;
   begin
     sift(x);
     y:=fa[x];
     while y<> do
     begin
       dec(count[y]);
       y:=fa[y];
     end;
     y:=fa[x];
     if son[y,]=x then son[y,]:= else son[y,]:=;
     clear(x);
   end;

 procedure ask(x:longint);
   var i,y:longint;
   begin
     if x+>tot then y:=tot else y:=x+;
     for i:=x to y do
     begin
       write(na[kth(i)]);
       if i<>y then write(' ');
     end;
     writeln;
   end;

 begin
   randomize;
   readln(n);
   t:=;
   for i:= to n do
   begin
     read(what);
     if what='?' then
     begin
       readln(s);
       if (s[]>='') and (s[]<='') then
       begin
         x:=tran(s);
         ask(x);
       end
       else begin
         x:=get(s);
         writeln(rank(x));
       end;
     end
     else begin
       s:='';
       read(ch);
       while ch<>' ' do
       begin
         s:=s+ch;
         read(ch);
       end;
       x:=;
       readln(ss);
       x:=tran(ss);
       y:=get(s);
       if y=- then
       begin
         inc(tot);
         insert(s,x);
       end
       else begin
         insert(s,x);
         delete(y);
       end;
     end;
   end;
 end.