1014: [JSOI2008]火星人prefix

Description

火星人最近研究了一种操作：求一个字串两个后缀的公共前缀。比方说，有这样一个字符串：madamimadam，我们将这个字符串的各个字符予以标号：序号： 1 2 3 4 5 6 7 8 9 10 11 字符 m a d a m i m a d a m 现在，火星人定义了一个函数LCQ(x, y)，表示：该字符串中第x个字符开始的字串，与该字符串中第y个字符开始的字串，两个字串的公共前缀的长度。比方说，LCQ(1, 7) = 5, LCQ(2, 10) = 1, LCQ(4, 7) = 0 在研究LCQ函数的过程中，火星人发现了这样的一个关联：如果把该字符串的所有后缀排好序，就可以很快地求出LCQ函数的值；同样，如果求出了LCQ函数的值，也可以很快地将该字符串的后缀排好序。 尽管火星人聪明地找到了求取LCQ函数的快速算法，但不甘心认输的地球人又给火星人出了个难题：在求取LCQ函数的同时，还可以改变字符串本身。具体地说，可以更改字符串中某一个字符的值，也可以在字符串中的某一个位置插入一个字符。地球人想考验一下，在如此复杂的问题中，火星人是否还能够做到很快地求取LCQ函数的值。
Input

第一行给出初始的字符串。第二行是一个非负整数M，表示操作的个数。接下来的M行，每行描述一个操作。操作有3种，如下所示： 1、 询问。语法：Q x y，x, y均为正整数。功能：计算LCQ(x, y) 限制：1 <= x, y <= 当前字符串长度。 2、 修改。语法：R x d，x是正整数，d是字符。功能：将字符串中第x个数修改为字符d。限制：x不超过当前字符串长度。 3、 插入：语法：I x d，x是非负整数，d是字符。功能：在字符串第x个字符之后插入字符d，如果x = 0，则在字符串开头插入。限制：x不超过当前字符串长度。
Output

对于输入文件中每一个询问操作，你都应该输出对应的答案。一个答案一行。
Sample Input
madamimadam
7
Q 1 7
Q 4 8
Q 10 11
R 3 a
Q 1 7
I 10 a
Q 2 11

Sample Output
5
1
0
2
1
数据规模：
对于100%的数据，满足：
1、 所有字符串自始至终都只有小写字母构成。
2、 M <= 150,000
3、 字符串长度L自始至终都满足L <= 100,000
4、 询问操作的个数不超过10,000个。

对于第1，2个数据，字符串长度自始至终都不超过1,000
对于第3，4，5个数据，没有插入操作。

看了题解，知道使用splay维护hash值，但是严重超时（自己评测还好，bzoj上时间是两倍多）

没办法，看AC代码，对着调，发现取得hash值的方法不同

它的做法：先把l旋到根，然后向右边遍历，取hash值，取完之后如果发现深度太大（根据自己的情况而定，它取得40，我取的23）就把它旋到根，在程序里用一个step记录深度

type
    node=record
    son:array[0..1]of longint;
      fa,a,size:longint;
      hash:int64;
    end;
const
    maxn=100010;
    h=10000007;
var
    tree:array[0..maxn]of node;
    n,root,len,tot:longint;
    mi:array[0..maxn]of int64;
    s:array[0..maxn]of char;
 
procedure swap(var x,y:longint);
var
    t:longint;
begin
    t:=x;x:=y;y:=t;
end;
 
procedure new(x:longint);
begin
    with tree[x] do
      begin
        size:=1+tree[son[0]].size+tree[son[1]].size;
        hash:=((tree[son[0]].hash*27+a)*mi[tree[son[1]].size]+tree[son[1]].hash)mod h;
      end;
end;
 
function build(l,r,f:longint):longint;
var
    mid:longint;
begin
    mid:=(l+r)>>1;
    if (mid<>1) and (mid<>len+2) then tree[mid].a:=ord(s[mid-1])-ord('a')+1;
    with tree[mid] do
      begin
        fa:=f;
        hash:=a;
        if mid>l then son[0]:=build(l,mid-1,mid);
        if mid<r then son[1]:=build(mid+1,r,mid);
      end;
    new(mid);
    exit(mid);
end;
 
procedure init;
var
    i:longint;
begin
    while not eoln do
      begin
        inc(len);
        read(s[len]);
      end;
    mi[0]:=1;
    for i:=1 to 100010 do
      mi[i]:=mi[i-1]*27 mod h;
    root:=build(1,len+2,0);
    tot:=len+2;
end;
 
procedure rotate(x,w:longint);
var
    y:longint;
begin
    with tree[x] do
      begin
        y:=fa;
        tree[y].son[w]:=son[1 xor w];
        if son[1 xor w]<>0 then tree[son[1 xor w]].fa:=fa;
        son[1 xor w]:=y;
        if root=y then root:=x
        else
          if tree[tree[y].fa].son[0]=y then tree[tree[y].fa].son[0]:=x
          else tree[tree[y].fa].son[1]:=x;
        fa:=tree[y].fa;
        tree[y].fa:=x;
        new(y);
      end;
end;
 
procedure splay(x,z:longint);
begin
    with tree[x] do
      while fa<>z do
        begin
          if tree[fa].fa=z then
            if tree[fa].son[0]=x then rotate(x,0)
            else rotate(x,1)
          else
            begin
              if tree[fa].son[0]=x then
                if tree[tree[fa].fa].son[0]=fa then
                  begin
                    rotate(fa,0);
                    rotate(x,0);
                  end
                else
                  begin
                    rotate(x,0);
                    rotate(x,1);
                  end
              else
                if tree[tree[fa].fa].son[0]=fa then
                  begin
                    rotate(x,1);
                    rotate(x,0);
                  end
                else
                  begin
                    rotate(fa,1);
                    rotate(x,1);
                  end;
            end;
        end;
    new(x);
end;
 
function find(x:longint):longint;
begin
    find:=root;
    while x<>0 do
      with tree[find] do
        begin
          if x<=tree[son[0]].size then find:=son[0]
          else
            if x=tree[son[0]].size+1 then exit(find)
            else
              begin
                dec(x,tree[son[0]].size+1);
                find:=son[1];
              end;
        end;
end;
 
function get(l,len:longint):int64;
var
    now,step:longint;
begin
    splay(find(l+1),0);
    now:=tree[root].son[1];
    dec(len);
step:=0;
    get:=tree[root].a;
    while len>0 do
      begin
inc(step);
        if len=tree[now].size then
        begin
          get:=(get*mi[len]+tree[now].hash)mod h;
if step>23 then splay(now,0);
          exit;
        end;
        if len=tree[tree[now].son[0]].size+1 then
        begin
          get:=(get*mi[len]+tree[tree[now].son[0]].hash*27+tree[now].a)mod h;
if step>23 then splay(now,0);
          exit;
        end;
        if len<=tree[tree[now].son[0]].size then now:=tree[now].son[0]
        else
          begin
            get:=(get*mi[tree[tree[now].son[0]].size+1]+tree[tree[now].son[0]].hash*27+tree[now].a)mod h;
            dec(len,tree[tree[now].son[0]].size+1);
            now:=tree[now].son[1];
          end;
      end;
end;
 
procedure q;
var
    l,r,left,right,mid:longint;
begin
    readln(l,r);
    if l>r then swap(l,r);
    left:=0;
    right:=len-r+1;
    while left<right do
      begin
        mid:=(left+right+1)>>1;
        if get(l,mid)=get(r,mid) then left:=mid
        else right:=mid-1;
      end;
    writeln(left);
end;
 
procedure r;
var
    s:char;
    x:longint;
begin
    read(x,s,s);
    splay(find(x+1),0);
    tree[root].a:=ord(s)-ord('a')+1;
    new(root);
    readln;
end;
 
procedure ins;
var
    s:char;
    x:longint;
begin
    inc(len);
    read(x,s,s);
    x:=find(x+1);
    splay(x,0);
    inc(tot);
    with tree[tot] do
      begin
        a:=ord(s)-ord('a')+1;
        son[1]:=tree[x].son[1];
        tree[son[1]].fa:=tot;
        tree[x].son[1]:=tot;
        fa:=x;
      end;
    new(tot);
    new(x);
    readln;
end;
 
procedure work;
var
    s:char;
    i,m:longint;
begin
    readln(m);
    for i:=1 to m do
      begin
        read(s);
        case s of
          'Q':q;
          'R':r;
          'I':ins;
        end;
      end;
end;
 
begin
    init;
    work;
end.