[APIO2014]回文串 后缀自动机_Manancher_倍增

Code:

// luogu-judger-enable-o2
#include <cstdio>
#include <algorithm>
#include <cstring>
#define setIO(s) freopen(s".in","r",stdin)
#define maxn 400000
#define N 28
#define LOG 25
#define ll long long
using namespace std;
int last=1,tot=1,n;
char str[maxn];
int ch[maxn][N],cnt[maxn],f[maxn],dis[maxn],rk[maxn],position[maxn];
int fa[maxn][LOG+1],st[maxn];
int C[maxn];
long long ans;
struct Suffix_Automaton{
    void ins(int c){
        int p=last,np=++tot; last=np; dis[np]=dis[p]+1,position[dis[np]]=np;
        while(p&&!ch[p][c])ch[p][c]=np,p=f[p];
        if(!p) f[np]=1;
        else{
            int q=ch[p][c],nq;
            if(dis[q]==dis[p]+1) f[np]=q;
            else{
                nq=++tot;
                dis[nq]=dis[p]+1;
                memcpy(ch[nq],ch[q],sizeof(ch[q]));
                f[nq]=f[q],f[q]=f[np]=nq;
                while(p&&ch[p][c]==q) ch[p][c]=nq,p=f[p];
            }
        }
        cnt[last]=1;
    }
    void build(){
        for(int i=0;i<n;++i) ins(str[i]-'a');
        for(int i=1;i<=tot;++i) ++C[dis[i]];
        for(int i=1;i<=tot;++i) C[i]+=C[i-1];
        for(int i=1;i<=tot;++i) rk[C[dis[i]]--]=i;
        for(int i=tot;i>=1;--i) cnt[f[rk[i]]]+=cnt[rk[i]];
        for(int i=1;i<=tot;++i) fa[i][0]=f[i];
        for(int i=1;i<LOG;++i)
            for(int j=1;j<=tot;++j) fa[j][i]=fa[fa[j][i-1]][i-1];
    }
    void update(int l,int r)
    {
        int p=position[r+1];
        for(int j=st[r+1];j>=0;--j) if(dis[fa[p][j]]>=r-l+1) p = fa[p][j];
        ans=max(ans,(ll)cnt[p]*(r-l+1));
    }
}sam;
struct Manancher{
    int p[maxn];
    char s[maxn];
    int Init(){
        int len=strlen(str);
        s[0]='$',s[1]='#';
        int j=1;
        for(int i=0;i<len;++i)
            s[++j]=str[i],s[++j]='#';
        s[++j]='\0';
        return j;
    }
    void manancher(){
        int len=Init(),id=1,mx=1;
        for(int i=1;i<len;++i){
            if(mx>i) p[i]=min(p[2*id-i],mx-i);
            else p[i]=1;
            while(s[i-p[i]]==s[i+p[i]])
            {
                if(s[i-p[i]]>='a'&&s[i-p[i]]<='z') sam.update((i-p[i])/2-1,(i+p[i])/2-1);
                ++p[i];
            }
            if(mx<i+p[i]) id=i,mx=i+p[i];
        }
    }
}man;
int main(){
    //setIO("input");
    scanf("%s",str),n=strlen(str);
    for(int i=1;i<=n;++i) st[i]=st[i>>1]+1;
    sam.build(),man.manancher();
    printf("%lld",ans);
    return 0;
}