2016.4.09Test:problem1:绕口令:脑洞+hash

题目大意：有一个环状字符串，定义理想字符串为没有任意两个相邻的字符相同的字符串，问能不能从原串中删去K(0<=K<n)个连续字符使得理想

分析：可以将删掉k个连续字符的问题，化为等价的保留k个连续字符的问题。
如果原串任意两个相邻字符都不相同（包括第一个和最后一个），那么选出的k个连续字符合法的条件就是第一个字符和最后一个字符不相同。如果不能选出k个字符，那么原串任何两个在环上距离为k - 1的字符是相同的（k≥2）。于是就可以得出结论，如果L表示原串长度，将环上的所有字符按位置除以GCD(L, k - 1)的余数，分为GCD(L, k - 1)个等价类，则每个等价类中的元素都相等。所以只需要对L的所有约数计算这个即可。这个是不超过O(NlogN)的，实际上大约是线性。
否则，可以在相邻字符相同的位置将字符串断开，分成至少一个段，每个段都是普通的字符串。那么选择k个连续字符肯定不能跨过一段。类似于上面的分析，在一个长度为T的段内选择k个连续字符（k≥2）不可行的充要条件是，它的(T - k + 1)-前缀与(T - k + 1)-后缀相同。用Hash或者KMP判断均可。时间复杂度是O(N)。

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<iostream>
#include<algorithm>
#define LL long long
using namespace std;
const int maxn=1000010;
const LL mod=23333333333333333LL;
int f[maxn],n,g[maxn];
char s[maxn],tmp[maxn];

void judge(int len){
	LL pr=0,suc=0,pow=1;
	for (int i=1;i<len;++i){
		pr=(pr*31+(tmp[i-1]-'a'+1))%mod;
		suc=(suc+(tmp[len-i]-'a'+1)*pow)%mod;
		pow=pow*31%mod;
		if (pr!=suc) f[n-len+i-1]=1;
	}
}

int gcd(int a,int b){
	return b==0?a:gcd(b,a%b);
}

void solve(){
	n=strlen(s);
	for (int i=0;i<n;++i) f[i]=0;
	f[n-1]=1;
	int flag=-1;
	for (int i=0;flag==-1&&i<n;++i)
	    if (s[i]==s[(i+1)%n]) flag=i;
	if (flag==-1){
		for (int i=1;i<n;++i)
		    if (!(n%i)){
				g[i]=0;
				for (int j=0;!g[i]&&j<n;j++)
				    if (s[j]!=s[(j+i)%n]) g[i]=1;
		    }
		f[0]=1;
		for (int i=1;i<n-1;++i)
		    f[i]=g[gcd(n-i-1,n)];
	}else{
		int last=flag;
		for (int i=flag+1;i<n;++i)
		    if (s[i]==s[(i+1)%n]){
				int len=i-last;
				for (int j=0;j<len;++j) tmp[j]=s[last+1+j];
				judge(len); last=i;
		    }
		int len=n-last+flag;
		for (int j=0;j<len;++j) tmp[j]=s[(last+1+j)%n];
		judge(len);
	}
	for (int i=0;i<n;++i) printf("%d",f[i]);
	printf("\n");
}

int main(){
	int Case=0;
	while (scanf("%s",s)==1)
	    printf("Case %d: ",++Case),solve();
}