【BZOJ3670】动物园（KMP算法）

【BZOJ3670】动物园（KMP算法）

题面

BZOJ

题解

神TM阅读理解题

看完题目之后

想暴力：

搞个倍增数组来跳\(next\)

每次暴跳\(next\)

复杂度\(O(Tnlogn)\)

算一下，感觉复杂度差不多呀

很果断的交了一发

然后\(80\)分。。。

暴力代码送上：

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<set>
#include<map>
#include<vector>
#include<queue>
using namespace std;
#define MOD 1000000007
char s[1200000];
int nt[1200000];
int jp[1200000][21];
int main()
{
	int T;
	scanf("%d",&T);
	while(T--)
	{
		scanf("%s",s+1);
		nt[1]=0;
		int l=strlen(s+1);
		for(int i=2;i<=l;++i)
		{
			int j=nt[i-1];
			while(j&&s[i]!=s[j+1])j=nt[j];
			if(s[i]==s[j+1])nt[i]=j+1;
			else nt[i]=0;
			jp[i][0]=nt[i];
		}
		for(int j=1;j<20;++j)
			for(int i=1;i<=l;++i)
				jp[i][j]=jp[jp[i][j-1]][j-1];
		int ans=1;
		for(int i=2;i<=l;++i)
		{
			int tt=i;
			for(int j=19;j>=0;--j)
				if(jp[tt][j]*2>i)tt=jp[tt][j];
			int gg=0;
			for(int j=19;j>=0;--j)
				if(jp[tt][j])gg+=1<<j,tt=jp[tt][j];
			ans=1ll*ans*(gg+1)%MOD;
		}
		printf("%d\n",ans);
	}
	return 0;
}

---

然后我很不爽

把倍增数组的两维反了过来，防止反复横跳

然后我就\(AC\)了？？？

又一次感受到玄学强大的力量

这个\(O(Tnlogn)\)的复杂度果然很对呀。。。

暴力能AC？？？：

（BZOJ上都能AC？？？）

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<set>
#include<map>
#include<vector>
#include<queue>
using namespace std;
#define MOD 1000000007
char s[1200000];
int nt[1200000];
int jp[21][1200000];
int main()
{
	int T;
	scanf("%d",&T);
	while(T--)
	{
		scanf("%s",s+1);
		nt[1]=0;
		int l=strlen(s+1);
		for(int i=2;i<=l;++i)
		{
			int j=nt[i-1];
			while(j&&s[i]!=s[j+1])j=nt[j];
			if(s[i]==s[j+1])nt[i]=j+1;
			else nt[i]=0;
			jp[0][i]=nt[i];
		}
		for(int j=1;j<20;++j)
			for(int i=1;i<=l;++i)
				jp[j][i]=jp[j-1][jp[j-1][i]];
		int ans=1;
		for(int i=2;i<=l;++i)
		{
			int tt=i;
			for(int j=19;j>=0;--j)
				if(jp[j][tt]*2>i)tt=jp[j][tt];
			int gg=0;
			for(int j=19;j>=0;--j)
				if(jp[j][tt])gg+=1<<j,tt=jp[j][tt];
			ans=1ll*ans*(gg+1)%MOD;
		}
		printf("%d\n",ans);
	}
	return 0;
}

---

经历了这么滑稽的事情

还是想想有没有更加好的复杂度。。。

考虑记录一个数组\(cnt[i]\)

表示从\(i\)位置最多能够往前跳的次数

很明显的，\(cnt[i]=cnt[next[i]]+1\)

现在，我们只需要知道每一个位置能够跳到哪里就行了

还是最简单的暴力

每次从当前位置\(i\)开始，暴力向前跳到\(k\)

直到\(k*2<i\)为止，然后答案累乘\(cnt[k]+1\)

看起来每次暴跳的时间复杂度不太能够接受

最坏可以打到\(O(n^2)\)

但是考虑\(next\)数组是怎么求出来的

每次沿着前一个字符的\(next\)跳

直到找到一个合法的位置

因此，我们模仿这个过程

假设上一个字符跳到了\(k\)

那么，当前位置最多跳到\(k+1\)

很容易证明

假设当前位置跳到了一个合法的位置\(k'\)

那么，当前位置的前一个位置，必定可以跳到一个合法位置\(k'-1\)

所以，我们只需要类似\(KMP\)，每次利用上一次求出来的\(k\)接着跳就行了

这样的时间复杂度近似\(O(n)\)

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<set>
#include<map>
#include<vector>
#include<queue>
using namespace std;
#define rg register
#define MOD 1000000007
char s[1200000];
int nt[1200000];
int cnt[1200000];
int main()
{
	rg int T;
	scanf("%d",&T);
	while(T--)
	{
		scanf("%s",s+1);
		nt[1]=0;
		rg int l=strlen(s+1);
		for(rg int i=2;i<=l;++i)
		{
			rg int j=nt[i-1];
			while(j&&s[i]!=s[j+1])j=nt[j];
			if(s[i]==s[j+1])nt[i]=j+1;
			else nt[i]=0;
		}
		cnt[1]=1;
		rg int ans=1;
		for(rg int i=2;i<=l;++i)cnt[i]=cnt[nt[i]]+1;
		for(rg int i=2,k=0;i<=l;++i)
		{
			while(k&&s[k+1]!=s[i])k=nt[k];
			if(s[i]==s[k+1])k++;
			while(k*2>i)k=nt[k];
			ans=1ll*ans*(cnt[k]+1)%MOD;
		}
		printf("%d\n",ans);
	}
	return 0;
}