动物园

题目

很少见的题目+题目大意，只是觉得题目好，毕竟还讲解了KMP的next

题目大意：

我觉得这道题已经概括的很好了，于是我只做对题目的一些小剪枝就放上来了：
要求求出一个num数组一一对于字符串 S 的前 i 个字符构成的子串，既是它的后缀同时又是它的前缀，并且该后缀与该前缀不重叠，将这种字符串的数量记作 num[i] 。例如 S 为aaaaa，则 num[4] = 2 。这是因为 S 的前 4 个字符为aaaa，其中a和aa都满足性质‘既是后缀又是前缀’，同时保证这个后缀与这个前缀不重叠。而aaa虽然满足性质‘既是后缀又是前缀’，但是这个后缀与这个前缀重叠了，所以不能计算在内。
为了避免大量的输出，你不需要输出 num[i] 分别是多少，你只需要输出所有( num[i]+1 )的乘积，对 1,000,000,007 取模的结果即可。

解题思路：

题目都讲了KMP，那就KMP咯
我们其实只要在求 next 的过程中，顺便把这个公共前后缀的数量递推一下，就得到了一个弱化版的 num 数组：可以重叠的公共前后缀数量，我们称之为 ans
但是想一想，假如我们拿到的串是1e6个’a’，那么上面那个算法就会被卡成O(n^2)，道理的话大家可以想一想（每一次递归都只会把next[i]变小1）
那么我们需要做一个优化，来解决这个问题，而解决问题的核心就是：减少重复递归
减少重复递归……有没有想到什么？
没错，就是如同求next时一样的方法！
我们将递归用的变量j的值不更新，这样，求完了i的答案以后，j的位置一定在i/2的左边，也就是它已经满足要求了
这时再递归求解，总时间效率是O(n)的

WA了几次 下了一个数据

input

5
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaxpuvf
abababababababababababababababababababababababdgcd
abcbaabcbaabcbaabcbaabcbaabcbaabcbaabcbaabcbafmlqh
abacababacababacababacababacababacababacababadjyxq
aabaacaabaacaabaacaabaacaabaacaabaacaabaacaabjtaxw

output

592345761
371390093
121623872
675691877
481106999

Accepted code：

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define N 1000010
#define ll long long
#define mod 1000000007
using namespace std;
int next[N],ans[N];
ll cnt;
char a[N];
int main() {
    int T,i,j;scanf("%d",&T);
    while(T--) {
        scanf("%s",a);int len=strlen(a);
        memset(next,0,sizeof(next));
        j=0;ans[0]=0;ans[1]=1;
        for(i=1;i<len;i++) {
            while(j&&(a[i]!=a[j])) j=next[j];
            j+=(a[i]==a[j]);
            next[i+1]=j;
            ans[i+1]=ans[j]+1;
        }
        j=0;cnt=1;
        for(i=1;i<len;i++) {
            while(j&&(a[i]!=a[j])) j=next[j];
            j+=(a[i]==a[j]);
            while((j<<1)>(i+1)) j=next[j];
            cnt=(cnt*(ll)(ans[j]+1))%mod;
        }
        printf("%lld\n",cnt);
    }
}