bzoj 5084: hashit
Description
你有一个字符串S,一开始为空串,要求支持两种操作
在S后面加入字母C
删除S最后一个字母
问每次操作后S有多少个两两不同的连续子串
Solution
先忽略删除操作,建出最终的串的 \(SAM\),构建过程的所有可能的串的 \(SAM\) 都包括在这里面
要维护 \(\sum len[x]-len[fa[x]]\)
考虑插入一个结点会产生的贡献,因为每一条边只会贡献一次,所以需要容斥减掉一些贡献
那么需要考虑已经被加入的结点中与这个点 \(dfs\) 序相邻的,他们的 \(lca\) 以上的部分需要被减去
取与两个相邻节点的 \(lca\) 中深度较大的一个减去贡献,或者容斥一下
用 \(set\) 维护一下 \(dfs\) 序
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=2e5+10;
char s[N];int cur=1,cnt=1,fa[N],len[N],ch[N][26],pos[N],FA[N][21],b[N],dep[N];
int n,st[N],tp=0,head[N],Head[N],nxt[N*4],to[N*4],num=0,la[N],dfn[N],DFN=0;
set<int>v;set<int>::iterator it,wt;
inline void link(int x,int y){nxt[++num]=head[x];to[num]=y;head[x]=num;}
inline void Link(int x,int y){nxt[++num]=Head[x];to[num]=y;Head[x]=num;}
inline void ins(int p,int c){
cur=++cnt;len[cur]=len[p]+1;
for(;p && !ch[p][c];p=fa[p])ch[p][c]=cur;
if(!p)fa[cur]=1;
else{
int q=ch[p][c];
if(len[p]+1==len[q])fa[cur]=q;
else{
int nt=++cnt;len[nt]=len[p]+1;
memcpy(ch[nt],ch[q],sizeof(ch[nt]));
fa[nt]=fa[q];fa[cur]=fa[q]=nt;
for(;p && ch[p][c]==q;p=fa[p])ch[p][c]=nt;
}
}
}
inline void bfs(){
queue<int>Q;
for(int i=head[0];i;i=nxt[i])Q.push(to[i]),la[to[i]]=1;
while(!Q.empty()){
int x=Q.front();Q.pop();
ins(la[x],s[x]-'a');pos[x]=cur;
for(int i=head[x];i;i=nxt[i])
Q.push(to[i]),la[to[i]]=cur;
}
}
inline void dfs(int x){
b[dfn[x]=++DFN]=x;
for(int i=1;i<=20;i++)FA[x][i]=FA[FA[x][i-1]][i-1];
for(int i=Head[x];i;i=nxt[i])dep[to[i]]=dep[x]+1,FA[to[i]][0]=x,dfs(to[i]);
}
inline int lca(int x,int y){
if(dep[x]<dep[y])swap(x,y);
int deep=dep[x]-dep[y];
for(int i=20;i>=0;i--)if(deep>>i&1)x=FA[x][i];
if(x==y)return x;
for(int i=20;i>=0;i--)if(FA[x][i]!=FA[y][i])x=FA[x][i],y=FA[y][i];
return FA[x][0];
}
ll ans=0;
inline void Modify(int x,int o){
if(o==1)v.insert(x);
it=wt=v.find(x);
ans+=o*len[b[x]];
if(wt!=v.begin())--wt,ans-=o*len[lca(b[*wt],b[x])];
if(it!=--v.end())++it,ans-=o*len[lca(b[*it],b[x])];
if(*it!=x && *wt!=x)ans+=o*len[lca(b[*it],b[*wt])];
if(o==-1)v.erase(x);
}
int main(){
freopen("C.in","r",stdin);
freopen("C.out","w",stdout);
scanf("%s",s+1);n=strlen(s+1);
for(int i=1;i<=n;i++){
if(s[i]=='-')tp--;
else link(st[tp],i),st[++tp]=i;
}
bfs();
for(int i=1;i<=cnt;i++)Link(fa[i],i);
dfs(1);tp=0;
for(int i=1;i<=n;i++){
if(s[i]=='-')Modify(dfn[pos[st[tp--]]],-1);
else Modify(dfn[pos[st[++tp]=i]],1);
printf("%lld\n",ans);
}
return 0;
}
bzoj 5084: hashit的更多相关文章
- BZOJ 5084: hashit 后缀自动机(原理题)
比较考验对后缀自动机构建过程的理解. 之前看题解写的都是树链的并,但是想了想好像可以直接撤销,复杂度是线性的. 自己想出来的,感觉后缀自动机的题应该不太能难倒我~ 注意:一定要手画一下后缀自动机的构建 ...
- BZOJ 2127: happiness [最小割]
2127: happiness Time Limit: 51 Sec Memory Limit: 259 MBSubmit: 1815 Solved: 878[Submit][Status][Di ...
- BZOJ 3275: Number
3275: Number Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 874 Solved: 371[Submit][Status][Discus ...
- BZOJ 2879: [Noi2012]美食节
2879: [Noi2012]美食节 Time Limit: 10 Sec Memory Limit: 512 MBSubmit: 1834 Solved: 969[Submit][Status] ...
- bzoj 4610 Ceiling Functi
bzoj 4610 Ceiling Functi Description bzoj上的描述有问题 给出\(n\)个长度为\(k\)的数列,将每个数列构成一个二叉搜索树,问有多少颗形态不同的树. Inp ...
- BZOJ 题目整理
bzoj 500题纪念 总结一发题目吧,挑几道题整理一下,(方便拖板子) 1039:每条线段与前一条线段之间的长度的比例和夹角不会因平移.旋转.放缩而改变,所以将每条轨迹改为比例和夹角的序列,复制一份 ...
- 【sdoi2013】森林 BZOJ 3123
Input 第一行包含一个正整数testcase,表示当前测试数据的测试点编号.保证1≤testcase≤20. 第二行包含三个整数N,M,T,分别表示节点数.初始边数.操作数.第三行包含N个非负整数 ...
- 【清华集训】楼房重建 BZOJ 2957
Description 小A的楼房外有一大片施工工地,工地上有N栋待建的楼房.每天,这片工地上的房子拆了又建.建了又拆.他经常无聊地看着窗外发呆,数自己能够看到多少栋房子. 为了简化问题,我们考虑这些 ...
- 【splay】文艺平衡树 BZOJ 3223
Description 您需要写一种数据结构(可参考题目标题),来维护一个有序数列,其中需要提供以下操作:翻转一个区间,例如原有序序列是5 4 3 2 1,翻转区间是[2,4]的话,结果是5 2 3 ...
随机推荐
- 学习使用MS SQL Server游标(CURSOR)
说实的,使用MS SQL Server这样久,游标一直没有使用过.以前实现相似的功能,都是使用WHILE循环加临时表来实现.刚才有参考网上示例练习写了一下.了解到游标概念与语法. 下面代码示例中,先是 ...
- char *p="abc" 与 char p[]="abc" 的区别
本文来源于网络 出处:点我 有这样一段代码: #include "stdio.h" char *get_string_1() { char p[] = "hello wo ...
- CentOS71611部署Django
web.conf <VirtualHost *:> WSGIScriptAlias / /var/www/datacn/datacn/wsgi.py Alias /static/ /var ...
- 2.1、Softmax Regression模型
Softmax Regression模型 由于Logistics Regression算法复杂度低,容易实现等特点,在工业中的到广泛的使用,但是Logistics Regression算法主要用于处理 ...
- How to: Create a Business Model in the XPO Data Model Designer
How to: Create a Business Model in the XPO Data Model Designer This topic provides step-by-step inst ...
- LeetCode4. 两个排序数组的中位数
4. 两个排序数组的中位数 问题描述 There are two sorted arrays nums1 and nums2 of size m and n respectively.Find the ...
- POJ_1284 Primitive Roots 【原根性质+欧拉函数运用】
一.题目 We say that integer x, 0 < x < p, is a primitive root modulo odd prime p if and only if t ...
- BZOJ - 2005 莫比乌斯水题
\(gcd=k+1\)时,每一个的贡献都是\(2k+1\) \(gcd=1\)时,每一个贡献为\(1\) #include<iostream> #include<algorithm& ...
- setlocal enabledelayedexpansion 解释
看字面的意思是:设置本地为延迟扩展.其实也就是:延迟变量,全称"延迟环境变量扩展", 在cmd执行命令前会对脚本进行预处理,其中有一个过程是变量识别过程,在这个过程中,如果有两个% ...
- UVa 253
UVa 253 #include <iostream> #include <cstdio> #include <string> #include <cstri ...