[KMP][BZOJ1355][Baltic2009]Radio Transmission

Description

给你一个字符串，它是由某个字符串不断自我连接形成的。 但是这个字符串是不确定的，现在只想知道它的最短长度是多少。

Input

第一行给出字符串的长度,$1 < L \le 1,000,000$. 第二行给出一个字符串，全由小写字母组成。

Output

输出最短的长度。

SampleInput

8
cabcabca

SampleOutput

3

Hint

对于样例,我们可以利用”abc”不断自我连接得到”abcabcabc”,读入的cabcabca,是它的子串。

---

首先让我们来研究一下结果的含义。

不妨设结果为串$T$。 则原串为：

我们怎样利用起KMP中的nxt数组呢？

由于$T$串是最小循环子串，所以可以标出KMP中$nxt[n]$(n为$|A|$)为：

结果为n-nxt[n]!但是为什么呢？

---

如果T不是最小循环子串的话，nxt[n]必定还可以再加长。

否则，$nxt[n]$若再往左边扩展，不妨设增长的为$T2$，剩下的$T1$,分两种情况讨论。

1.$|T1|>=|T2|$

将两个串对齐可得：

若两串匹配，则显然可得$T2$是$T1$的前缀，即$T1=T2+R$，且$R$也是$T1$的前缀，余下的为$T2$，即$T1=R+T2$，则显然$T1$是比$T$更小的循环子串，与前设矛盾，

故两串必定不匹配。

---

2.$|T1|<|T2|$

将两个串对齐可得：

同理。

若两串匹配，则显然可得$T1$是$T2$的前缀，即$T2=T1+R$，且$R$也是$T2$的前缀，余下的为$T1$，即$T2=R+T1$，则显然$T2$是比$T$更小的循环子串，与前设矛盾，

故两串必定不匹配。

---

这样一来，我们就证明了答案为$n-nxt[n]$!

然后就可以直接套KMP模板了。

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
int nxt[1000001],n;
char a[1000001];
int main(){
    scanf("%d%s",&n,a);
    int k=0;
    for(int i=2;i<=n;i++){
        while(k&&a[k]!=a[i-1])k=nxt[k];
        if(a[k]==a[i-1])k++;
        nxt[i]=k;
    }
    printf("%d\n",n-nxt[n]);
}