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;
}