您的位置:首页 > 其它

【KMP求最小周期】POJ2406-Power Strings

2016-03-07 18:56 543 查看
【题意】

给出一个字符串,求出最小周期。

【思路】

对KMP的next数组的理解与运用orz

①证明:如果最小周期不等于它本身,则前缀和后缀必定有交叉。


如果没有交叉,以当前的next
为最小周期, 中间部分可能会小于next
(无解),或者中间可能由若干个前缀组成,此时next
会变大,舍去!

-----------------------

-----------------------


②证明:假设满足了n%(n-next[i])==0,那么n-next[i]是周期

这部分证明直接引用这里的:http://www.cnblogs.com/wuyiqi/archive/2012/01/06/2314078.html


-----------------------

-----------------------

k m x j i

由上,next【i】=j,两段红色的字符串相等(两个字符串完全相等),s[k....j]==s[m....i]

设s[x...j]=s[j....i](xj=ji)

则可得,以下简写字符串表达方式

kj=kx+xj;

mi=mj+ji;

因为xj=ji,所以kx=mj,如下图所示

-------------

-------------

k m x j

看到了没,此时又重复上面的模型了,kx=mj,所以可以一直这样递推下去


③证明:n%(n-next
)是最小的周期。


红色的部分为n-next
。假设存在一个小于(n-next
)的最小周期,假设为绿色部分。由于后面的部分都是在不断循环绿色部分,则下方的橙色部分必定是原串的一个前缀。而原串的next
长度等于后缀等于紫色部分,相反小于橙色部分,与next
的定义矛盾。

---------------------

---------------------


得证:如果n%(n-next
)==0,则最小周期为(n-next
),否则就是它本身。


一整个下午复习了KMP的裸体然后证明这个证明到现在……果然还是没有领悟KMP的精髓。

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
const int MAXN=1000000+500;
char str[MAXN];
int next[MAXN];

int getnext(int len)
{
int i=0,j=-1;
next[i]=j;
while (i<len)
{
if (j==-1 || str[i]==str[j]) next[++i]=++j;
else j=next[j];
}
return next[len];
}

int main()
{
while (scanf("%s",str))
{
if (str[0]=='.') break;
int len=strlen(str);
int T=len-getnext(len);
if (len%T==0) cout<<len/T<<endl;
else cout<<1<<endl;
}
return 0;
}
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: