P3426 [POI2005]SZA-Template

P3426 [POI2005]SZA-Template

链接

分析：

　　首先T一定是S的一个前缀，也是一个后缀。

　　判断一个前缀s[1...i]是不是满足条件，那么求出s[1...i]在s中出现的所有位置，如果相邻的两个位置之间的距离的最大值小于等于i，那么就是满足的。

　　于是可以建出fail树，每次从根到n走，那么出现的位置的个数是递减的，于是链表维护即可。

代码：

#include<cstdio>
#include<algorithm>
#include<iostream>
#include<cstring>
#include<cmath>
#include<cctype>
#include<set>
#include<queue>
#include<vector>
#include<map>
#include<bitset>
using namespace std;
typedef long long LL;

inline int read() {
    int x=,f=;char ch=getchar();for(;!isdigit(ch);ch=getchar())if(ch=='-')f=-;
    for(;isdigit(ch);ch=getchar())x=x*+ch-'';return x*f;
}

const int N = ;
int p[N], L[N], R[N], to[N], mx;
vector<int> T[N];
char s[N];

void del(int x) {
    if (x) {
        int a = L[x], b = R[x];
        mx = max(mx, b - a);
        L[b] = a, R[a] = b;
    }
    for (auto v : T[x]) if (v != to[x]) del(v);
}
int main() {
    scanf("%s", s + );
    int n = strlen(s + );
    p[] = ;
    for (int j = , i = ; i <= n; ++i) {
        while (j && s[j + ] != s[i]) j = p[j];
        if (s[j + ] == s[i]) j ++;
        p[i] = j;
    }
    for (int i = ; i <= n; ++i) T[p[i]].push_back(i);
    for (int i = n; i; i = p[i]) to[p[i]] = i;
    for (int i = ; i <= n; ++i) L[i] = i - , R[i] = i + ;
    int now = ;
    del();
    while (now < mx) { del(now), now = to[now]; }
    cout << now;
    return ;
}

’