【APIO2014】Palindromes

#103. 【APIO2014】Palindromes

统计

• 描述
• 提交
• 自定义测试

给你一个由小写拉丁字母组成的字符串 ss。我们定义 ss 的一个子串的存在值为这个子串在 ss 中出现的次数乘以这个子串的长度。

对于给你的这个字符串 ss，求所有回文子串中的最大存在值。

输入格式

一行，一个由小写拉丁字母（a~z）组成的非空字符串 ss。

输出格式

输出一个整数，表示所有回文子串中的最大存在值。

样例一

input

abacaba

output

7

explanation

用 ∣s∣∣s∣ 表示字符串 ss 的长度。

一个字符串 s1s2…s∣s∣s1s2…s∣s∣ 的子串是一个非空字符串 sisi+1…sjsisi+1…sj，其中 1≤i≤j≤∣s∣1≤i≤j≤∣s∣。每个字符串都是自己的子串。

一个字符串被称作回文串当且仅当这个字符串从左往右读和从右往左读都是相同的。

这个样例中，有 77 个回文子串 a，b，c，aba，aca，bacab，abacaba。他们的存在值分别为 4,2,1,6,3,5,74,2,1,6,3,5,7。

所以回文子串中最大的存在值为 77。

样例二

input

www

output

4

限制与约定

第一个子任务共 8 分，满足 1≤∣s∣≤1001≤∣s∣≤100。

第二个子任务共 15 分，满足 1≤∣s∣≤10001≤∣s∣≤1000。

第三个子任务共 24 分，满足 1≤∣s∣≤100001≤∣s∣≤10000。

第四个子任务共 26 分，满足 1≤∣s∣≤1000001≤∣s∣≤100000。

第五个子任务共 27 分，满足 1≤∣s∣≤3000001≤∣s∣≤300000。

时间限制：1s1s

空间限制：256MB256MB

下载

样例数据下载

思路：

1、manacher找出回文串

2、suffix数组向上向下二分找出串t出现次数

3、用RMQ加速

#include<cstdio>
#include<cstring>
#include<iostream>
using namespace std;
const int N=3e5+;
typedef long long ll;
int n,p[N<<],f[N][],log2[N];
char s[N],S[N<<];
int c[N],h[N],sa[N],tsa[N],rank[N],trank[N];
ll ans;
void DA(int maxx=){
    int p;
    for(int i=;i<=maxx;i++) c[i]=;
    for(int i=;i<=n;i++) c[rank[i]=s[i]]++;
    for(int i=;i<=maxx;i++) c[i]+=c[i-];
    for(int i=n;i;i--) sa[c[rank[i]]--]=i;
    trank[sa[]]=p=;
    for(int i=;i<=n;i++){
        if(rank[sa[i]]!=rank[sa[i-]]) p++;
        trank[sa[i]]=p;
    }
    for(int i=;i<=n;i++) rank[i]=trank[i];
    for(int k=;p<n;k<<=,maxx=p){
        p=;
        for(int i=n-k+;i<=n;i++) tsa[++p]=i;
        for(int i=;i<=n;i++) if(sa[i]>k) tsa[++p]=sa[i]-k;
        for(int i=;i<=maxx;i++) c[i]=;
        for(int i=;i<=n;i++) trank[i]=rank[tsa[i]];
        for(int i=;i<=n;i++) c[trank[i]]++;
        for(int i=;i<=maxx;i++) c[i]+=c[i-];
        for(int i=n;i;i--) sa[c[trank[i]]--]=tsa[i];
        trank[sa[]]=p=;
        for(int i=;i<=n;i++){
            if(rank[sa[i]]!=rank[sa[i-]]||rank[sa[i]+k]!=rank[sa[i-]+k]) p++;
            trank[sa[i]]=p;
        }
        for(int i=;i<=n;i++) rank[i]=trank[i];
    }
    for(int i=,k=;i<=n;i++){
        int j=sa[rank[i]-];
        while(s[i+k]==s[j+k]) k++;
        h[rank[i]]=k;if(k>) k--;
    }
}
void RMQ(){
    for(int i=;i<=n;i++) f[i][]=h[i];
    for(int i=;i<=n;i++) log2[i]=log2[i>>]+;
    for(int j=;j<=log2[n];j++){
        for(int i=;i+(<<j)-<=n;i++){
            f[i][j]=min(f[i][j-],f[i+(<<j-)][j-]);
        }
    }
}
int query(int l,int r){
    if(l>r) return ;//WA*1
    int k=log2[r-l+];
    return min(f[l][k],f[r-(<<k)+][k]);
}
ll solve(int l,int r){
    if(l>r) return ;//WA*1
    int pos=rank[l],L=,R=pos,up=pos,dn=pos;
    while(L+<R){//WA*1
        int mid=L+R>>;
        if(query(mid+,pos)>=r-l+) R=mid,up=mid;
        else L=mid;
    }
    L=pos,R=n+;//WA*1
    while(L+<R){
        int mid=L+R>>;
        if(query(pos+,mid)>=r-l+) L=mid,dn=mid;
        else R=mid;
    }
    return 1LL*(dn-up+)*(r-l+);
}
int opl,opr,lal=-,rar=-;
void find(char c,int pos,int d){//WA*1
    bool f=;
    if(c!='#') pos++;else f=;
    pos/=;d/=;
    opr=pos+d;
    pos-=d;
    if(f) pos++;
    opl=pos;
}
void manacher(){
    int l=-;
    for(int i=;i<=n;i++) S[++l]='#',S[++l]=s[i];
    S[++l]='#';
    int id=,mx=-;ll t;
    for(int i=;i<l;i++){
        if(id+mx>i) p[i]=min(p[id*-i],id+mx-i);
        while(i-p[i]->=&&i+p[i]+<=l&&S[i-p[i]-]==S[i+p[i]+]){
            p[i]++;
            if(id+mx<i+p[i]){
                find(S[i],i,p[i]);
                if(opl==lal&&opr==rar) continue;
                lal=opl;rar=opr;//TLE*1
                t=solve(opl,opr);
                if(ans<t) ans=t;
            }
        }
        if(id+mx<i+p[i]) id=i,mx=p[i];
    }
}
int main(){
    scanf("%s",s+);n=strlen(s+);
    DA();RMQ();//WA*1
    manacher();
    cout<<ans;
    return ;
}