【BZOJ 4556】[Tjoi2016&Heoi2016]字符串 SAM+二分+主席树
这道题市面上就两种法:一种是SA+二分+主席树,一种是SAM+二分+主席树(有不少人打线段树合并???)(除此之外还有一种利用炒鸡水的数据的暴力SA,贼快.....)(当时学SA的时候没做这道题,现在早忘了SA了)
分析题意:就是对于一个字符串,每次询问一个子串在另一个子串里能匹配上的最大前缀(非严格前缀)长度.
我们知道,处理前缀的工具并不是十分充足,后缀倒是有一大帮,所以说把字符串倒过来,而把字符串倒过来是SAM处理问题时的常用技巧.现在,我们直接找答案,仍然很难找到一种时间复杂度合法的做法,那么我们发现这个东西,是具有可二分的性质的,所以我们二分.这时,我们的问题转化为了"给出某个子串的right和len,快速求出其在某一区间内有无相同子串",然后利用SAM的节点的性质,我们又可以把问题转化为"给出某个子串的right和len,询问其所在节点的right集合是否存在元素在某一区间",到此,我们的问题已经很清晰了.
对于找到这个子串所在的节点,我们可以找到其right所对应的前缀所在的节点(这个我们在构造的时候就可以处理出来),然后在parent树上倍增找到包含有长度为len的子串的节点,接下来就是看在其right集合中是否存在元素在某个区间内,这个时候我们就可以搞出parent树的dfs序,并对dfs序建立主席树,主席树的线段树区间维护的是right集合.
好了我们得到了一种O(nlog^2n)的优秀做法!!!
#include <cstdio>
#include <cstring>
#include <algorithm>
char xB[(<<)+],*xS=xB,*xT=xB;
#define gtc (xS==xT&&(xT=(xS=xB)+fread(xB,1,1<<15,stdin),xS==xT)?0:*xS++)
inline void read(int &x){
register char ch=gtc;bool symbol=false;
for(x=;ch<''||ch>'';ch=gtc)if(ch=='-')symbol=true;
for(;ch>=''&&ch<='';x=(x<<)+(x<<)+ch-'',ch=gtc);
if(symbol)x=-x;
}
const int N=;
const int A=;
const int B=;
char s[N],tmp[N];
int pos[N];
int trans[N<<][A],max[N<<],link[N<<];
int last,rt,sz;
#define newnode(a) (max[++sz]=(a),sz)
int id[N<<],dfn[N<<],L[N<<],R[N<<];
int n,m;
struct V{
int to,next;
}c[N<<];
int head[N<<],t;
inline void add(int x,int y){
c[++t].to=y,c[t].next=head[x],head[x]=t;
}
int f[N<<][B];
int Ti;
struct Segment_Tree{
Segment_Tree *ch[];
int size;
inline void* operator new (size_t);
}*root[N<<],*C,*mempool,*null;
#define mid ((l+r)>>1)
inline void* Segment_Tree:: operator new(size_t){
if(C==mempool){
C=new Segment_Tree[(<<)+];
mempool=C+(<<)+;
}
return C++;
}
inline void Init(){
null=new Segment_Tree;
null->ch[]=null->ch[]=null;
null->size=;
root[]=null;
last=rt=newnode();
}
int w,q,nw,nq;
inline void insert(int x){
w=last,nw=newnode(max[w]+);
while(w&&trans[w][x]==)trans[w][x]=nw,w=link[w];
if(!w)link[nw]=rt;
else if(max[w]+==max[trans[w][x]])
link[nw]=trans[w][x];
else{
q=trans[w][x],nq=newnode(max[w]+);
memcpy(trans[nq],trans[q],sizeof(trans[nq]));
while(w&&trans[w][x]==q)trans[w][x]=nq,w=link[w];
link[nq]=link[q],link[q]=link[nw]=nq;
}
last=nw,id[nw]=max[nw],pos[max[nw]]=nw;
}
inline void insert(Segment_Tree *&p,Segment_Tree *lst,int l,int r,int aim){
p=new Segment_Tree(),*p=*lst;
++p->size;if(l==r)return;
if(aim<=mid)insert(p->ch[],lst->ch[],l,mid,aim);
else insert(p->ch[],lst->ch[],mid+,r,aim);
}
inline int query(Segment_Tree *a,Segment_Tree *b,int l,int r,int z,int y){
if(z<=l&&r<=y)return b->size-a->size;
int ret=;
if(z<=mid)ret+=query(a->ch[],b->ch[],l,mid,z,y);
if(mid<y)ret+=query(a->ch[],b->ch[],mid+,r,z,y);
return ret;
}
inline void dfs(int x){
L[x]=++Ti,dfn[Ti]=x;
for(int i=;i<B;++i)f[x][i]=f[f[x][i-]][i-];
for(int i=head[x];i;i=c[i].next)
f[c[i].to][]=x,dfs(c[i].to);
R[x]=Ti;
}
inline int get(int x,int len){
for(int i=B-;i>=;--i)
if(max[f[x][i]]>=len)
x=f[x][i];
return x;
}
inline bool check(int st,int len,int l,int r){
if(r-l+<len)return false;
int x=get(pos[st],len);
return query(root[L[x]-],root[R[x]],,n,l+len-,r);
}
int main(){
//freopen("rio.in","r",stdin);
Init(),scanf("%d%d%s",&n,&m,tmp+);
register int i;
for(i=;i<=n;++i)s[i]=tmp[n-i+];
for(i=;i<=n;++i)insert(s[i]-'a');
for(i=;i<=sz;++i)add(link[i],i);dfs();
for(i=;i<=sz;++i){
root[i]=root[i-];
if(id[dfn[i]])insert(root[i],root[i-],,n,id[dfn[i]]);
}
int a,b,x,y,l,r,ans;
while(m--){
read(b),read(a),read(y),read(x);
a=n-a+,b=n-b+,x=n-x+,y=n-y+;
r=y-x+,l=,ans=;
while(l<=r)
if(check(y,mid,a,b))ans=mid,l=mid+;
else r=mid-;
printf("%d\n",ans);
}
return ;
}
【BZOJ 4556】[Tjoi2016&Heoi2016]字符串 SAM+二分+主席树的更多相关文章
- bzoj 4556 [Tjoi2016&Heoi2016]字符串——后缀数组+主席树
题目:https://www.lydsy.com/JudgeOnline/problem.php?id=4556 本来只要查 ht[ ] 数组上的前驱和后继就行,但有长度的限制.可以二分答案解决!然后 ...
- Bzoj 4556: [Tjoi2016&Heoi2016]字符串
4556: [Tjoi2016&Heoi2016]字符串 Time Limit: 20 Sec Memory Limit: 128 MBSubmit: 177 Solved: 92[Sub ...
- [BZOJ4556][Tjoi2016&Heoi2016]字符串 后缀数组+主席树
4556: [Tjoi2016&Heoi2016]字符串 Time Limit: 20 Sec Memory Limit: 128 MB Description 佳媛姐姐过生日的时候,她的小 ...
- BZOJ 4556: [Tjoi2016&Heoi2016]字符串(后缀数组 + 二分答案 + 主席树 + ST表 or 后缀数组 + 暴力)
题意 一个长为 \(n\) 的字符串 \(s\),和 \(m\) 个询问.每次询问有 \(4\) 个参数分别为 \(a,b,c,d\). 要你告诉它 \(s[a...b]\) 中的所有子串 和 \(s ...
- BZOJ 4556 [Tjoi2016&Heoi2016]字符串 ——后缀数组 ST表 主席树 二分答案
Solution 1: 后缀数组暴力大法好 #include <map> #include <cmath> #include <queue> #include &l ...
- ●BZOJ 4556 [Tjoi2016&Heoi2016]字符串
题链: http://www.lydsy.com/JudgeOnline/problem.php?id=4556 题解: 巨恶心...但是题很好呀,可以练习好几个比较麻烦的算法~ 1).预处理 首先用 ...
- bzoj 4552: [Tjoi2016&Heoi2016]排序【二分+线段树】
二分值mid,然后把>=mid的赋值为1,其他赋值为0,每次排序就是算出区间内01的个数,然后分别把0和1放到连续的一段内,这些都可以用线段树来维护 二分的判断条件是操作完之后q位置上是否为1 ...
- 4556: [Tjoi2016&Heoi2016]字符串
4556: [Tjoi2016&Heoi2016]字符串 链接 分析: 首先可以二分这个长度.此时需要判断是否存在一个以b结尾的前缀,满足与[c,d]的lcp大于等于mid. 如果我们把串翻转 ...
- [HEOI2016] 字符串 - 后缀数组,主席树,ST表,二分
[HEOI2016] 字符串 Description 给定一个字符串 \(S\), 有 \(m\) 个询问,每个询问给定参数 \((a,b,c,d)\) ,求 \(s[a..b]\) 的子串与 \(s ...
随机推荐
- Ruby字符串的一些方法
最近因为公司需求开始看ruby,先从ruby的基本数据类型开始看 看到ruby的字符串类型string,发现ruby中的字符串单双引号是不一样的,这点和Python有那么点不一样 主要是我们对字符串进 ...
- Java基础——内部类
一.什么是内部类 将一个类定义在另一个类里面或者一个方法里面,这样的类称为内部类 内部类所在的类在编译成功后,会出现这样两个class文件:OuterClass.class和OuterClass$In ...
- CSS3不一样的下拉选择框
本例中包含两个下拉选择框的动画示例,本例中并未使用select标签.本例中第一个案例也可用于标题.导航栏等位置. 案例一: html布局 <div class="content&quo ...
- 暗影精灵3安装无线网卡驱动(ubuntu16.04)
干货,无线网卡安装步骤: 1. 由于暗影精灵3的无线网卡较新,版本为Realtek Device b822,(查看命令为lspci | grep -i net,Ethernet controller代 ...
- ExtJs工具篇(1)——在Aptana3中安装ExtJS 代码提示插件
首先得下载Aptana 这个软件,我下载的是Aptana3这个版本.下载后,在"帮助"菜单中选择"安装新软件",弹出下面的对话框: 我们需要安装一个叫做&quo ...
- iOS开发中常见的一些异常
iOS开发中常见的异常包括以下几种NSInvalidArgumentExceptionNSRangeExceptionNSGenericExceptionNSInternallnconsistency ...
- vs编译报错 BLOCK_TYPE_IS_VALID(pHead->nBlockUse)
1.重复释放内存导致,new delete和malloc free两个组合分配的堆空间都不能重复释放两次: 2.用delete或者free释放栈空间导致内存空间被破坏(栈空间内存的头部有系统写入的一些 ...
- Hadoop入门案列,初学者Coder
1.WordCount Job类: package com.simope.mr.wcFor; import org.apache.hadoop.conf.Configuration; import o ...
- 【赛后补题】(HDU6228) Tree {2017-ACM/ICPC Shenyang Onsite}
这条题目当时卡了我们半天,于是成功打铁--今天回来一看,mmp,贪心思想怎么这么弱智.....(怪不得场上那么多人A了 题意分析 这里是原题: Tree Time Limit: 2000/1000 M ...
- 类和实例属性的查找顺序 mro查找
如果多个类继承父类,然后又被多个类继承这种复杂的问题,可以使用 mro方法 例如: class A: pass class C(D): pass class B(D): pass class A(B, ...