[BZOJ4556][TJOI2016&&HEOI2016]字符串(二分答案+后缀数组+RMQ+主席树)

4556: [Tjoi2016&Heoi2016]字符串

Time Limit: 20 Sec  Memory Limit: 128 MB
Submit: 1360  Solved: 545
[Submit][Status][Discuss]

Description

佳媛姐姐过生日的时候,她的小伙伴从某东上买了一个生日礼物。生日礼物放在一个神奇的箱子中。箱子外边写了

一个长为n的字符串s,和m个问题。佳媛姐姐必须正确回答这m个问题,才能打开箱子拿到礼物,升职加薪,出任CE

O,嫁给高富帅,走上人生巅峰。每个问题均有a,b,c,d四个参数,问你子串s[a..b]的所有子串和s[c..d]的最长公

共前缀的长度的最大值是多少?佳媛姐姐并不擅长做这样的问题,所以她向你求助,你该如何帮助她呢?

Input

输入的第一行有两个正整数n,m,分别表示字符串的长度和询问的个数。接下来一行是一个长为n的字符串。接下来

m行,每行有4个数a,b,c,d,表示询问s[a..b]的所有子串和s[c..d]的最长公共前缀的最大值。1<=n,m<=100,000,

字符串中仅有小写英文字母,a<=b,c<=d,1<=a,b,c,d<=n

Output

对于每一次询问,输出答案。

Sample Input

5 5
aaaaa
1 1 1 5
1 5 1 1
2 3 2 3
2 4 2 3
2 3 2 4

Sample Output

1
1
2
2
2

HINT

Source

[Submit][Status][Discuss]

无脑数据结构三合一,先建出数组求出height数组和ST表,然后二分答案,找到符合二分限制的名次范围,然后根据这个范围在主席树中找[a,b-mid+1]中是否存在解。

代码一长就出错,而且这道题我的程序常数不知道为什么是别人的两倍,试了各种卡常技巧都没用,最后在我准备放弃的最后一刻竟然A掉了:主席树查询不要写成que(rt[r])-que(rt[l-1]),而要写成que(rt[l-1],rt[r]),这样减少了重复定位的时间。这个优化比其它的register和数组维数互换等等方法效果明显的多。

#include<cstdio>
#include<cstring>
#include<algorithm>
#define rg register int
#define rep(i,l,r) for (rg i=(l); i<=(r); i++)
using namespace std;

const int N=200100;
int n,m,a,b,c,d,nd,h[N],x[N],y[N],s[N],sa[N],rt[N],rk[N],lg[N],ls[N*20],rs[N*20],sm[N*20],st[N][20];
char S[N];

void rd(int &x){
	x=0; char ch=getchar();
	while (ch<‘0‘ || ch>‘9‘) ch=getchar();
	while (ch>=‘0‘ && ch<=‘9‘) x=x*10+ch-‘0‘,ch=getchar();
}

bool Cmp(rg l,rg r,rg k){ return l+k<=n && r+k<=n && y[l]==y[r] && y[l+k]==y[r+k]; }

void build(rg m){
	memset(y,0,sizeof(y));
	rep(i,0,m) s[i]=0;
	rep(i,1,n) s[x[i]=S[i]-‘a‘+1]++;
	rep(i,1,m) s[i]+=s[i-1];
	for (rg i=n; i; i--) sa[s[x[i]]--]=i;
	for (rg k=1,p=0; p<n; k<<=1,m=p){
		p=0;
		rep(i,n-k+1,n) y[++p]=i;
		rep(i,1,n) if (sa[i]>k) y[++p]=sa[i]-k;
		rep(i,0,m) s[i]=0;
		rep(i,1,n) s[x[y[i]]]++;
		rep(i,1,m) s[i]+=s[i-1];
		for (rg i=n; i; i--) sa[s[x[y[i]]]--]=y[i];
		rep(i,1,n) y[i]=x[i]; p=1; x[sa[1]]=1;
		rep(i,2,n) x[sa[i]]=Cmp(sa[i],sa[i-1],k)?p:++p;
	}
}

void getheight(){
	int k=0; rep(i,1,n) rk[sa[i]]=i;
	rep(i,1,n){
		for (rg j=sa[rk[i]-1]; i+k<=n && j+k<=n && S[i+k]==S[j+k]; k++);
		h[rk[i]]=k; if (k) k--;
	}
}

void rmq(){
	rep(i,1,n) st[i][0]=h[i];
	rep(j,1,lg[n]) rep(i,1,n-(1<<j)+1) st[i][j]=min(st[i][j-1],st[i+(1<<(j-1))][j-1]);
}

void add(int y,int &x,int L,int R,int pos){
	x=++nd; sm[x]=sm[y]+1; ls[x]=ls[y]; rs[x]=rs[y];
	if (L==R) return; int mid=(L+R)>>1;
	if (pos<=mid) add(ls[y],ls[x],L,mid,pos); else add(rs[y],rs[x],mid+1,R,pos);
}

int que(int y,int x,int L,int R,int l,int r){
	if (!x) return 0;
	if (L==l && r==R) return sm[x]-sm[y];
	int mid=(L+R)>>1;
	if (r<=mid) return que(ls[y],ls[x],L,mid,l,r);
	else if (l>mid) return que(rs[y],rs[x],mid+1,R,l,r);
		else return que(ls[y],ls[x],L,mid,l,mid)+que(rs[y],rs[x],mid+1,R,mid+1,r);
}

int ask(rg l,rg r){ rg t=lg[r-l+1]; return min(st[l][t],st[r-(1<<t)+1][t]); }

void getrange(rg x,int &l,int &r,rg mid){
	l=r=x;
	for (int i=17; ~i && r<n; i--) if (r+(1<<i)<=n && ask(x+1,r+(1<<i))>=mid) r=r+(1<<i);
	for (int i=17; ~i && l>1; i--) if (l-(1<<i)>=0 && ask(l-(1<<i)+1,x)>=mid) l=l-(1<<i);
}

int jud(rg mid){
	int l,r; getrange(rk[c],l,r,mid);
	if (que(rt[l-1],rt[r],1,n,a,b-mid+1)>0) return 1; else return 0;
}

int main(){
	freopen("bzoj4556.in","r",stdin);
	freopen("bzoj4556.out","w",stdout);
	scanf("%d%d%s",&n,&m,S+1);
	lg[1]=0; rep(i,2,n) lg[i]=lg[i>>1]+1;
	build(30); getheight(); rmq();
	rep(i,1,n) add(rt[i-1],rt[i],1,n,sa[i]);
	while (m--){
		rd(a); rd(b); rd(c); rd(d);
		if (!jud(1)) { printf("0\n"); continue; }
		int l=1,r=min(d-c+1,b-a+1),ans=0;
		while (l<r){
			int mid=(l+r)>>1;
			if (jud(mid)) ans=mid,l=mid+1; else r=mid;
		}
		if (jud(l)) printf("%d\n",l); else printf("%d\n",ans);
	}
	return 0;
}

原文地址:https://www.cnblogs.com/HocRiser/p/8654588.html

时间: 2024-08-03 05:33:19

[BZOJ4556][TJOI2016&&HEOI2016]字符串(二分答案+后缀数组+RMQ+主席树)的相关文章

[LuoguP4094] [HEOI2016] [TJOI2016]字符串(二分答案+后缀数组+ST表+主席树)

[LuoguP4094] [HEOI2016] [TJOI2016]字符串(二分答案+后缀数组+ST表+主席树) 题面 给出一个长度为\(n\)的字符串\(s\),以及\(m\)组询问.每个询问是一个四元组\((a,b,c,d)\),问\(s[a,b]\)的所有子串和字符串\(s[c,d]\)的最长公共前缀长度的最大值. \(n,m \leq 10^5\) 分析 显然答案有单调性.首先我们二分答案\(mid\),考虑如何判定. 如果mid这个答案可行,那么一定存在一个后缀x,它的开头在\([a,

Bzoj4556: [Tjoi2016&amp;Heoi2016]字符串 后缀数组

4556: [Tjoi2016&Heoi2016]字符串 Time Limit: 20 Sec  Memory Limit: 128 MBSubmit: 169  Solved: 87[Submit][Status][Discuss] Description 佳媛姐姐过生日的时候,她的小伙伴从某东上买了一个生日礼物.生日礼物放在一个神奇的箱子中.箱子外边写了 一个长为n的字符串s,和m个问题.佳媛姐姐必须正确回答这m个问题,才能打开箱子拿到礼物,升职加薪,出任CE O,嫁给高富帅,走上人生巅峰.

bzoj4556: [Tjoi2016&amp;Heoi2016]字符串 (后缀数组加主席树)

题目是给出一个字符串,每次询问一个区间[a,b]中所有的子串和另一个区间[c,d]的lcp最大值,首先求出后缀数组,对于lcp的最大值肯定是rank[c]的前驱和后继,但是对于这个题会出现问题,就是题目中有区间的限制. For example: 5 1 aaaab 1 2 3 5 对于这个样例,如果直接找到aab的前驱是 aaab,然后由于区间的原因答案是1,但是如果我们再往前找的话,找到aaaab,答案会变成2.那就出现了错误.考虑一下怎么做可以去除这种影响呢? 我们可以二分一下,首先对于[a

[bzoj4556] [Tjoi2016&amp;Heoi2016]字符串

翻转原串,建后缀自动机. 然后先考虑最朴素的思路,找到d所对应的节点,然后一直往上走,并更新答案. 发现由于有a,b的限制,更新答案需要取min,很不爽,不如二分答案. 然后就可以转化为判定性问题,用字符串定位技术找到当前的cd对应的字符串(其实就是倍增+len判定), 判定当前的节点是否有当前a,b范围的right集. 要知道每个节点的right集具体是什么用dfs序建立主席树即可. #include<iostream> #include<cstdio> #include<

BZOJ 1717: [Usaco2006 Dec]Milk Patterns 产奶的模式( 二分答案 + 后缀数组 )

二分答案m, 后缀数组求出height数组后分组来判断. ------------------------------------------------------------ #include<bits/stdc++.h> using namespace std; const int maxn = 20009; struct HASH { int id[maxn], N; HASH() { N = 0; } inline void work() { sort(id, id + N); N

bzoj 4552 [Tjoi2016&amp;Heoi2016]排序——二分答案

题目:https://www.lydsy.com/JudgeOnline/problem.php?id=4552 二分答案,把 >= mid 的设成1.< mid 的设成0,之后排序就变成区间赋值了. #include<cstdio> #include<cstring> #include<algorithm> #define ls Ls[cr] #define rs Rs[cr] using namespace std; const int N=1e5+5,

poj 1743 二分答案+后缀数组 求不重叠的最长重复子串

题意:给出一串序列,求最长的theme长度 (theme:完全重叠的子序列,如1 2 3和1 2 3  or  子序列中每个元素对应的差相等,如1 2 3和7 8 9) 要是没有差相等这个条件那就好办多了,直接裸题. 一开始想了个2B方法,后来发现真心2B啊蛤蛤蛤 1 for i=1 to 88 do 2 { 3 for j=1 to length 4 { 5 r2[j]=r[j]+i; 6 if (r2[j]>88) r2[i]-=88; 7 } 8 把新序列r2连接到原序列r的后面 9 pr

poj 3261 二分答案+后缀数组 求至少出现k次的最长重复子序列

1 #include "stdio.h" 2 #define maxn 20010 3 4 int wa[maxn],wb[maxn],wv[maxn],ws[maxn]; 5 int rank[maxn],height[maxn]; 6 int r[maxn],sa[maxn],ans[maxn]; 7 int n,res,k; 8 9 int cmp(int *r,int a,int b,int l) 10 { 11 return r[a]==r[b]&&r[a+l

[TJOI2016 &amp; HEOI2016] 字符串

[题目链接] https://www.lydsy.com/JudgeOnline/problem.php?id=4556 [算法] 不难发现 , 对于每个询问        ans = max{ min{b - i + 1 , lcp(i , c) } (a <= i <= b) 不妨二分答案mid , 那么问题就转化为求 max{ lcp(i  , c) } (a <= i <= b - mid + 1) 而我们知道 , 所有lcp(i , j) <= k的i是连续的一段区