[KMP fail树] BZOJ3670: [Noi2014]动物园

题目要求的 $num_i$ 就等于 $fail$ 树中 $i$ 的满足编号 $\le \lfloor \frac i 2\rfloor$ 的祖先的最大深度。
如何求 $num_i$ 呢？其实暴力一点的话把 $fail$ 树建出来倍增肯定是可以的。实际上可以做到线性。
求 $num_i$ 可以用类似求 $nxt$ 数组的方法，应该有 $num_i+1 \ge num_{i+1}$，所以是对的，具体看代码吧。

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long LL;
const int maxn=1000005,MOD=1e9+7;
int _test,n,fail[maxn],dep[maxn];
LL ans;
char s[maxn];
int main(){
    freopen("bzoj3670.in","r",stdin);
    freopen("bzoj3670.out","w",stdout);
    scanf("%d",&_test);
    while(_test--){
        scanf("%s",s+1); n=strlen(s+1);
        ans=1;
        fail[1]=0; dep[0]=1; dep[1]=2;
        for(int i=2,j=0,k=0;i<=n;i++){
            while(j&&s[j+1]!=s[i]) j=fail[j];
            if(s[j+1]==s[i]) j++;
            fail[i]=j; dep[i]=dep[j]+1;
            while(k&&s[k+1]!=s[i]) k=fail[k];
            if(s[k+1]==s[i]) k++;
            while(k>i/2) k=fail[k]; (ans=ans*dep[k])%=MOD;
        }
        printf("%lld\n",ans);
    }
    return 0;
}