POJ1961（kmp中Next数组的性质）

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

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

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

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