KMP LA3026

KMP的精髓在于fail数组记录0到i-1的后缀跟前缀的最长匹配（当然本身匹配是忽略的），其实具体实现的代码还是比较抽象的，不是太好理解；

这题揭示了KMP的fail数组的一个性质，如果f[i]>0 && i%(i-f[i])==0，那么模式串本身就是一个有循环节的字符串。

#include <iostream>
#include <fstream>
#include <algorithm>
#include <cstdio>
#include <cstring>

using namespace std;
#define maxn 1000005

char p[maxn];
int f[maxn];

int main()
{
    freopen("1.in","r",stdin);
    int Case=0, n;
    while (scanf("%d",&n)==1 && n) {
        scanf("%s",p);
        f[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);
        }

        printf("Test case #%d\n",++Case);
        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;
}