LA 3026 Period

KMP算法中状态转移图的构造

根据后缀函数的定义 错位部分的长度我i-f[i]

如果这i个字符组成一个周期串，那么错位部分恰好是一个循环节，因此(i-f[i])*k=i(注意看k>1，因此i-f[i]不能等于i，即必须有f[i]>0)

#include<bits/stdc++.h>
using namespace std;
int N;
int f[1000020];
char s[1000020];
void getFail(char* P,int* f)
{
    f[0]=0,f[1]=0;
    for(int i=1;i<N;i++)
    {
        int j=f[i];
        while(j&&P[i]!=P[j])
            j=f[j];
        f[i+1]=P[i]==P[j]?j+1:0;
    }
}
//int find(char* T,char* P,int* f)
//{
//    int n=strlen(T),m=strlen(P);
//    getFail(P,f);
//    int j=0;
//    for(int i=0;i<n;i++)
//    {
//        while(j&&P[j]!=T[i])
//            j=f[j];
//        if(P[j]==T[i])
//            j++;
//        if(j==m)
//            printf("%d\n",i-m+1);
//    }
//}
int main()
{
    int kase=1;
    while(scanf("%d",&N)==1&&N)
    {
        scanf("%s",s);
        printf("Test case #%d\n",kase);
        kase++;
        getFail(s,f);
        for(int i=2;i<=N;i++)
        {
            if(f[i]>0&&i%(i-f[i])==0)
                printf("%d %d\n",i,i/(i-f[i]));
        }
        printf("\n");
    }
    return 0;
}