NOIPの模拟_2016_7_19_t2_弄提纲

题目

Description

新日暮里中，比冲是一位博学的哲学教授。由于最近要帮学生准备考试，他决定弄个提纲给学生。然而同事van不服气，觉得这样学生就没有了自我思考，便在提纲中添加废话。
比冲很无奈，他想找回原稿。我们把现在的提纲看成是一个字符串S。他知道van只会在原稿结尾添加语句，也就是说，原稿是S的前缀。
现在比冲有m个询问，以此来找出原稿。每次给出两个位置l,r，问以l与r结尾的字符串中，有多少个字符串符合原稿的性质，最长的有多长。

Input

第一行一个只包含小写字母的字符串S，代表被改过的提纲。注意字符串从1开始编号。
第二行一个正整数m，即询问数。
接下来m行，每行两个正整数l,r，即位置。

Output

共m行，每行两个正整数a,b，a表示有多少个合法字符串，b为最长合法字符串长度。

Sample Input

输入1：
nguangdongren
2
5 13
6 10
输入2：
ababbaabbaababab
3
14 16
3 6
2 4

Sample Output

输出1：
1 1
1 2
输出2：
2 4
1 1
1 2

Data Constraint

30%:|S|<=300;m<=300
60%: |S|<=3000;m<=100000
100%:|S|<=30000;m<=100000
当我打这一题的题解时已经快要下课啦，为了不影响我的腐败宿舍生活，我决定很无耻的随便随便乱扯两句草草了事23333，我们处理出kmp中的fail数组，设fail[i]为i
的父亲，根节点的深度为零，用这样的方法建立一棵tree，对于每次的查询x,y我们用倍增找到他们的lca，然后输出他们lca的深度以及lca的位置就可以了。
贴代码（我感觉我的倍增打的好丑啊2333）

var    deep,next:array[0..30005]of longint;    f:array[0..30005,0..20]of longint;    bz:array[0..30005]of boolean;    s:ansistring;    i,j,k,l,n,x,y,len,p:longint;procedure dfs(x:longint);begin    if deep[next[x]]=0 then dfs(next[x]);    deep[x]:=deep[next[x]]+1;end;procedure kmp;begin    readln(s);    len:=length(s);    for i:=2 to len do    begin        while (j>0) and (s[j+1]<>s[i]) do j:=next[j];        if s[j+1]=s[i] then inc(j);        next[i]:=j;        bz[j]:=true;        f[i,0]:=j;    end;end;procedure makefather;begin    for j:=1 to p do        for i:=1 to len do            f[i,j]:=f[f[i,j-1],j-1];end;begin    kmp;    deep[0]:=1;    for i:=2 to len do if bz[i]=false then dfs(i);    i:=1;    p:=0;    while i<len do    begin        i:=i*2;        inc(p);    end;    if i>len then dec(p);    makefather;    readln(n);    for i:=1 to n do    begin        readln(x,y);        if deep[x]<deep[y] then        begin            l:=x;            x:=y;            y:=l;        end;        l:=deep[x]-deep[y];        j:=1;        k:=0;        while l>0 do        begin            if l and 1=1 then x:=f[x,k];            inc(k);            j:=j*2;            l:=l div 2;        end;        k:=0;        j:=1;        while j<deep[x] do        begin            j:=j*2;            inc(k);        end;        if j>deep[x] then dec(k);        for j:=k downto 0 do            if f[x,j]<>f[y,j] then            begin                x:=f[x,j];                y:=f[y,j];            end;        if x<>y then x:=f[x,0];        writeln(deep[x]-1,' ',x);    end;end.