POJ1961（kmp中Next数组的性质）

对于某个位置i，i - Next[i]是循环节长度，i整除(i - Next[i])时是完整的几个循环元。

 

const int maxn = 1e6 + 5;
int n, kase, Next[maxn];
char ch[maxn];

inline void Calc_Next(char *a, int len) {
    Next[1] = 0;
    for (int i = 2, j = 0; i <= len; ++i) {
        while (j > 0 && a[i] != a[j + 1])    j = Next[j];
        if (a[i] == a[j + 1])    j++;
        Next[i] = j;
    }
}

int main() {
    while (~scanf("%d", &n) && n) {
        scanf("%s", ch + 1);
        Calc_Next(ch, n);
        printf("Test case #%d\n", ++kase);
        for (int i = 2; i <= n; ++i) {
            if (i % (i - Next[i]) == 0 && i / (i - Next[i]) > 1) {
                printf("%d %d\n", i, i / (i - Next[i]));
            }
        }
        puts("");
    }
    return 0;
}