蓝桥杯 ACwing习题

https://www.acwing.com/problem/content/143/

/* aabaabaabaab
这一个字符串的的所有循环节是
第二个是 aabaab循环节的长度是6 由两个 aab 组成     6 2
第三个是 aabaabaab 循环节的长度是 9 循环节是 由3个aab组成 9 3
第四个是 aabaabaabaab 本身 , 循环节的长度是 3 aab 由4个 aab组成  12 4

解释完样例后
很轻易地可以知道本题是kmp
所以在做的时候需要知道 next 数组表示的是什么意思
next 数组表示的是最长的不平凡前缀和后缀的长度
也就是 [1 , i] == [i - ne[i] + 1 , j] 
我们通过画图可以知道 1 - ne[i] 是等于 模板串的 1 - ne[i] 的
又因为模板串的 1 - ne[i] = 匹配串的[i - ne[i] , i - ne[i] + 循环节的长度]
一次类推可以知道 这个长度就是循环节的长度 , 而且这个长度就是 i - ne[i]
怎么说明循环节存在呢?
那就是 i 能够整除 (i - ne[i]) 比如说 aabaa 的话是存在前缀等于后缀的的, 但是由于 5 % 2 不等于 0 所以这个也不是循环节
a aa aab aaba
a aa baa abaa
ne[5] = 2;

当然了什么时候 i == ne[i] 呢  就是自己等于自己 或者写成 ne[i] == 0 的话也是只有自己本身是一个循环节 
非平凡指的是除去第一个 或者是 除去最后一个字符 所有的前缀的集合
*/

#include <iostream>
#include <cstring>
#include <algorithm>

using namespace std;

const int N = 1000010;

char str[N];
int ne[N];
int n;

void get()
{
    for(int i = 2 , j = 0 ; i <= n ; i ++)
    {
        while(j && str[i] != str[j + 1]) j = ne[j];
        if(str[j + 1] == str[i]) j ++;
        ne[i] = j;
    }
}

int main()
{
    int t = 1;
    while(cin >> n , n)
    {
        cin >> str + 1;
        get();
        
        printf("Test case #%d\n" , t ++);
        for(int i = 2 ; i <= n ; i ++)
        {
            int t = i - ne[i];
            if(i % t == 0 && ne[i])
            {
                printf("%d %d\n" , i , i / t);
            }
        }
        cout << endl;
    }
    
    return 0;
}