COJ975 WZJ的数据结构(负二十五)

时间:2020-12-16 05:13:38

试题描述

输入一个字符串S,回答Q次问题,给你l,r,输出子序列[l,r]的最长连续回文串长度。

输入

第一行为一个字符串S。

第二行为一个正整数Q。

接下来Q行每行为l,r。

输出

对于每个询问,输出答案。

输入示例

aababababaabababaaa

4

1 3

2 6

1 10

2 7

输出示例

2

5

9

5

其他说明

1<=|S|,Q<=100000

1<=l<=r<=|S|

由于求区间的最长回文串长度,这显然不是很容易的事情,我们考虑用分块来维护答案。

我们每SIZE个元素分成一块,询问时要得到大块之间的答案以及小部分贡献的答案。

前者我们可以预处理出来(马拉车或PAM),时间复杂度O(N^2/SIZE)。

后者我们可以用PAM,当回文串的一段在小段时,肯定是左端在左小段,右端在右小段。两者是对称的,我们开始考虑怎么求回文串右端在右小段的答案。

预处理每个位置在PAM上的节点,但这可能超过询问边界,所以我们要不停地沿失配边向上走,当节点的的长度<=限制长度时返回。

如果暴力的话虽然对于随机数据表现很好,但会被特殊数据卡。因此我们可以用倍增来做,那么这一部分的时间复杂度为O(Q*SIZE*logSIZE)。

总时间复杂度为O(N^2/SIZE+Q*SIZE*logSIZE),实测SIZE取[150,200]即可。

#include<cstdio>
#include<cctype>
#include<queue>
#include<cmath>
#include<stack>
#include<cstring>
#include<algorithm>
#define rep(i,s,t) for(int i=s;i<=t;i++)
#define ren for(int i=first[x];i;i=next[i])
using namespace std;
inline int read() {
int x=,f=;char c=getchar();
for(;!isdigit(c);c=getchar()) if(c=='-') f=-;
for(;isdigit(c);c=getchar()) x=x*+c-'';
return x*f;
}
const int maxn=;
char ch[maxn];
int lpos[maxn],rpos[maxn],nowret;
struct PAM {
int last,cnt,to[maxn][],l[maxn],fa[maxn];
int first[maxn],next[maxn],To[maxn],anc[maxn][],e;
void init() {
memset(to,,sizeof(to));
memset(l,,sizeof(l));
memset(fa,,sizeof(fa));
memset(first,,sizeof(first));
cnt=fa[]=;l[]=-;last=e=;
}
void extend(int c,int n,int id) {
int p=last;
while(ch[n]!=ch[n-l[p]-]) p=fa[p];
if(!to[p][c]) {
int np=++cnt,k=fa[p];l[np]=l[p]+;
while(ch[n]!=ch[n-l[k]-]) k=fa[k];
fa[np]=to[k][c];to[p][c]=np;
}
nowret=max(nowret,l[last=to[p][c]]);
if(id>) lpos[id]=last;
else rpos[-id]=last;
}
stack<int> S;
void dfs(int x) {
S.push(x);
while(!S.empty()) {
x=S.top();S.pop();
anc[x][]=fa[x];
rep(i,,) anc[x][i]=anc[anc[x][i-]][i-];
ren S.push(To[i]);
}
}
void AddEdge(int u,int v) {
To[++e]=v;next[e]=first[u];first[u]=e;
}
void build() {
fa[]=;rep(i,,cnt) if(i!=) AddEdge(fa[i],i);
dfs();
}
int solve(int x,int limit) {
if(l[x]<=limit) return l[x];
for(int i=;i>=;i--) if(l[anc[x][i]]>limit) x=anc[x][i];
return l[fa[x]];
}
}sol1,sol2;
int n,SIZE;
int ans[][],bl[maxn],st[maxn],en[maxn];
int main() {
scanf("%s",ch+);n=strlen(ch+);SIZE=;
rep(i,,n) {
bl[i]=(i-)/SIZE+;
en[bl[i]]=i;
if(!st[bl[i]]) st[bl[i]]=i;
}
rep(i,,bl[n]) {
sol1.init();nowret=;
char c=ch[st[i]-];ch[st[i]-]='~';
rep(j,st[i],n) {
sol1.extend(ch[j]-'a',j,);
ans[i][bl[j]]=max(ans[i][bl[j]],nowret);
}
ch[st[i]-]=c;
}
sol1.init();sol2.init();
rep(i,,n) sol1.extend(ch[i]-'a',i,i);
reverse(ch+,ch+n+);
rep(i,,n) sol2.extend(ch[i]-'a',i,-(n-i+));
sol1.build();sol2.build();
int m=read();
while(m--) {
int l=read(),r=read(),ret=;
if(bl[l]+>=bl[r]) rep(i,l,r) ret=max(ret,sol1.solve(lpos[i],i-l+));
else {
ret=ans[bl[l]+][bl[r]-];
rep(i,l,en[bl[l]]) ret=max(ret,sol2.solve(rpos[i],r-i+));
rep(i,st[bl[r]],r) ret=max(ret,sol1.solve(lpos[i],i-l+));
}
printf("%d\n",ret);
}
return ;
}