bzoj2342 [Shoi2011]双倍回文 （回文树）

题意：

在字符串s中寻找一个最长字串，这个子串必须是回文串并且这个字串的前半部分也是回文串。这个最长字串长度是4的倍数。

分析：

对于结点u，它的fail结点就是一个最长回文后缀，再fail一下，就又是一个短了一些的回文后缀，以此类推。对于u，我们只需要一直往上fail，看有没有一个fail结点长度是u的一半，有的话就找到了一个。

将这个过程反向过来，建立一个fail的树，从根节点dfs一下用vis标记长度即可。

代码：

#include <bits/stdc++.h>
using namespace std;
#define ms(a,b) memset(a,b,sizeof(a))
#define lson rt*2,l,(l+r)/2
#define rson rt*2+1,(l+r)/2+1,r
typedef unsigned long long ull;
typedef long long ll;
const int MAXN=5e5+5;
const double EPS=1e-8;
const int INF=0x3f3f3f3f;
const int MOD = 1e9+7;
int n, ans, vis[MAXN];
char s[MAXN];
vector<int> E[MAXN];
void addedge(int u,int v){
    E[u].push_back(v);
}
struct palin_tree{
    int ch[MAXN][30], fail[MAXN], len[MAXN], last, tot, cnt[MAXN];
    palin_tree(){
        len[1] = -1;    tot = 1;    fail[0] = 1;
        E[1].push_back(0);
    }
    int insert(int c, int n, char *s){
        int x = last;
        while(s[n-1-len[x]] != s[n])    x = fail[x];
        if(!ch[x][c]){
            int v = ++tot, k = fail[x];
            len[v] = len[x] + 2;
            while(s[n-1-len[k]] != s[n])    k = fail[k];
            fail[v] = ch[k][c];
            E[fail[v]].push_back(v);
            ch[x][c] = v;
        }
        last = ch[x][c];
        cnt[last]++;
        return len[ch[x][c]];
    }
}T;
void dfs(int u){
    if(T.len[u]%4==0 && vis[T.len[u]/2])    ans = max(ans,T.len[u]);
    vis[T.len[u]]++;
    for(int i=0;i<(int)E[u].size();i++){
        dfs(E[u][i]);
    }
    vis[T.len[u]]--;
}
int main(){
    ios::sync_with_stdio(false);
    scanf("%d",&n);
    scanf("%s",s+1);
    for(int i=1;i<=n;i++){
        T.insert(s[i]-'a',i,s);
    }
    dfs(1);
    cout << ans << endl;
    return 0;
}