bzoj 2803: [Poi2012]Prefixuffix（双Hash）

2803: [Poi2012]Prefixuffix

Time Limit: 10 Sec   Memory Limit: 64 MB
Submit: 413   Solved: 167
[ Submit][ Status][ Discuss]

Description

对于两个串S1、S2，如果能够将S1的一个后缀移动到开头后变成S2，就称S1和S2循环相同。例如串ababba和串abbaab是循环相同的。
给出一个长度为n的串S，求满足下面条件的最大的L：
1. L<=n/2
2. S的L前缀和S的L后缀是循环相同的。

Input

第一行一个正整数n (n<=1,000,000)。第二行n个小写英文字母，表示串S。

Output

一个整数，表示最大的L。

Sample Input

15

ababbabababbaab

Sample Output

6

①如果一个hash会错，那就用两种不同的hash规则，必须两个hash值都相等

②两个字符串循环相同，那么这两个字符串可以表示为AB和BA的形式

例如ababba和串abbaab循环相同，A=ab，B=abba

③令F[x]表示子串[x, n-x+1]中长度为F[x]的前缀和长度为F[x]的后缀完全相同（最长长度）

那么有F[x]>=F[x-1]-2

有这么多提示就已经很好弄了，想想吧

#include<stdio.h>
#include<string.h>
#include<algorithm>
using namespace std;
#define LL long long
char str[1000005];
LL Hash[2][1000005], Pow[2][1000005];
int mod[2] = {73939133, 646560112};
LL Jud(int x, int y)
{
	int i;
	LL val = 0;
	for(i=0;i<=1;i++)
		val += (Hash[i][y]-Hash[i][x-1]*Pow[i][y-x+1]%mod[i]+mod[i])%mod[i];
	return val;
}
int main(void)
{
	int n, i, j, ans;
	Pow[0][0] = Pow[1][0] = 1;
	while(scanf("%d", &n)!=EOF)
	{
		scanf("%s", str+1);
		for(i=1;i<=n;i++)
		{
			Pow[0][i] = Pow[0][i-1]*128%mod[0], Hash[0][i] = (Hash[0][i-1]*128+str[i])%mod[0];
			Pow[1][i] = Pow[1][i-1]*128%mod[1], Hash[1][i] = (Hash[1][i-1]*128+str[i])%mod[1];
		}
		ans = j = 0;
		for(i=n/2;i>=1;i--)
		{
			if(Jud(1, i)==Jud(n-i+1, n))
			{
				for(;j>=0;j--)
				{
					if(Jud(i+1, i+j)==Jud(n-i-j+1, n-i))
					{  
						ans = max(ans, i+j);
						break;
					}
				}
			}
			j = min(j+2, n/2-i);
		}
		printf("%d\n", ans);
	}
	return 0;
}