KMP算法中的循环节问题

循环节问题包括 完全循环 和 不完全循环

完全循环

       对于一个具有循环节并且长为n的字符串，其循环节长为 n - n x t [ n - 1 ] ，并且满足n % ( n - n x t [ n - 1 ] ) ==0 , 这里nxt [ ]是KMP算法中的next 数组，并且是对于本博客上上上篇给出的KMP模板的方法构造nxt数组来说的。

（不同的构造方法可能式子不一样，比如有的方法下可能是 n - n x t [ n ] ）

不完全循环

      不完全循环是说需要补上一些位才能构成完整的循环，比如abca，就可以称为一个不完全循环，需要补上bc才能构成一个完整的循环。而完全循环则是类似abcabc这样的。设字符串长度为 len ，那循环节长度就是 len-nxt [len-1]，需要补全的位数就是循环节长度-nxt [ len-1 ]%循环节长度。

证明

其实写出一个字符串模拟一下就能感觉到。

        比如给出字符串：abcdabcdabcd，长度为12，而我们 nxt [ 12-1 ] = nxt [ 11 ] = 8，根据这个nxt数组的定义，它表示的是这个字符串前缀和后缀相等的最大长度，如果是完全循环，那么剩下的也就是 len-nxt [ 11 ]当然就是最大的循环节长度了。

        如果把字符串改为：abcdefabc，我们可以知道，循环节算的方法跟完全循环的一样，就是len - nxt [ len-1 ]=L，即abcdef，那么 nxt [ len-1 ] 就是最后剩下的一串字符，它可能大于循环节也可能小于循环节（大于循环节的时候：len - nxt [ len-1 ] < nxt [ len-1 ]，即 2 * nxt [ len-1 ] > len，比如azaza的情况）因此我们要用nxt [len-1] %循环节长度表示剩下的，而需要补全的当然就是循环节长度减去这个值啦。

 

下面是例题：

完全循环

HDU - 1358

代码：

#include
#include
#include
#define maxn 1000005

using namespace std;
char s[maxn];
int nxt[maxn];
int n;

void build()//构造nxt表
{
     int k=0;
     nxt[0]=0;
     for(int i=1;i

不完全循环

HDU - 3746 

代码：

#include
#include
#include
#define maxn 100005

using namespace std;
char s[maxn];
int nxt[maxn];
int n;

void build()
{
     int k=0;
     nxt[0]=0;
     for(int i=1;i

-------------------------这样以后--------------------------------基本上都是-------------------------------------板子------------------------------------了

呼呼