[洛谷P2375]动物园

题目←

很容易发现，题目要求的实际是某一位置的next[i]在小于等于 i/2时的回溯次数
但是暴力处理每一位的next[i]会n^2……
有一点是我没有发现的，也是对next数组理解不足所致：
对于长度确定的next[i]，它向前匹配的次数是一定的，因为next失配时也一直是从前缀中向前查找……
所以可以记录deep[i] -> next长度为i时向前匹配的次数
那在找第i位的答案时只需要找到第一个长度小于i/2的前缀，乘上它的回溯次数就好了

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#define mod 1000000007
using namespace std;
const int MAXN = 1000000 + 50;
char s1[MAXN];
int next[MAXN],sum[MAXN];
int n,T,p,q;
long long ans;
int deep[MAXN];
int main(){
    scanf("%d",&T);
    while(T --){
        //memset(next,0,sizeof(next));
        //memset(sum,0,sizeof(sum));
        ans = 1;
        scanf("%s",s1 + 1);
        n = strlen(s1 + 1);
        p = 0;q = 0;
        deep[0] = 0;deep[1] = 1;
        for(int i = 2;i <= n;i ++){
            next[i] = sum[i] = 0;
            while(p && s1[p + 1] != s1[i])
                p = next[p];
            if(s1[p + 1] == s1[i])
                p ++;
            next[i] = p;
            deep[i] = deep[p] + 1;
            while(q && (s1[q + 1] != s1[i] || q + 1 > i/2))
                q = next[q];
            if(s1[q + 1] == s1[i])
                q ++;
            ans = (ans*(deep[q] + 1))%mod;
        }
        printf("%lld\n",ans);
    }
    return 0;
}