这两道题好像啊

贡献一种使用SAM和ACAM草两道题的方法

下面假装有 \(O(\sum |S|=m)=O(n)\)。

你看看,这CF换过多少个出题人啦?换汤不换药啦!其实这两道题是同一个人出的

CF587F

根号分治。把长度大于 \(B\) 的串全部拿出来,有 \(\frac{m}{B}\) 个串。

然后对于这些串,每个串建一个 SAM,然后把 \(n\) 个串全部丢进来匹配。只需要对 SAM 的每一个节点维护 endpos 的大小即可。复杂度 \(O(\frac{nm}{B})\)。

对于剩下的部分,查询一个串在一个区间中出现过多少次。首先将询问差分成前缀和。

然后从左往右扫每一个串。能够被一个串贡献到的后缀一定在 fail 树上该节点的子树中。

查询的时候暴力调一遍 trie 的祖先就好了。

需要 \(O(n)\) 次区间加和 \(O(qB)\) 次单点查询。用差分转化成 \(O(n)\) 次单点修改和 \(O(qB)\) 次前缀和。使用分块维护即可。(\(O(\sqrt{n})-O(1)\))

取 \(B=\sqrt{\frac{nm}{q}}\) 即可得到 \(O(\sqrt{nmq}+n\sqrt{n})\) 的优秀复杂度。

#include<cstring>
#include<cstdio>
#include<vector>
#include<cmath>
typedef unsigned ui;
const ui SZ=512,M=1e5+5;
ui n,m,q,B,num,id[SZ],t[M],l[M],r[M],k[M],cnt[SZ][M];ui tot(1),fail[M],trans[M][26];
char S[M<<1],*s[M];ui len[M];std::vector<ui>Q[M];ui ans[M];bool vis[M];
namespace SAM{
ui tot,lst,f[M<<1],sz[M<<1],len[M<<1],trans[M<<1][26];
inline void Insert(const ui&s){
ui q,p,nq,np;
p=lst;len[np=lst=++tot]=len[p]+1;
while(p&&!trans[p][s])trans[p][s]=np,p=f[p];
if(!p)f[np]=1;
else{
if(len[q=trans[p][s]]==len[p]+1)f[np]=q;
else{
len[nq=++tot]=len[p]+1;f[nq]=f[q];f[q]=f[np]=nq;
memcpy(trans[nq],trans[q],104);
while(p&&trans[p][s]==q)trans[p][s]=nq,p=f[p];
}
}
}
inline ui Match(char*s,const ui&n){
ui u(1);for(ui i=0;i<n;++i)u=trans[u][s[i]-97];return sz[u];
}
inline void Clear(){
while(tot)memset(trans[tot],0,104),f[tot]=sz[tot]=len[tot]=0,--tot;
tot=lst=1;
}
inline void Build(char*s,const ui&n){
static ui CB[M],id[M<<1];
for(ui i=0;i<n;++i)Insert(s[i]-97),++sz[lst];
for(ui i=1;i<=n;++i)CB[i]=0;
for(ui u=1;u<=tot;++u)++CB[len[u]];
for(ui i=1;i<=n;++i)CB[i]+=CB[i-1];
for(ui u=tot;u>=1;--u)id[CB[len[u]]--]=u;
for(ui i=tot;i>1;--i)sz[f[id[i]]]+=sz[id[i]];
}
}
struct Block{
ui n,B,P,S[SZ],L[M],R[M],s[M],pos[M];
inline void init(const ui&m){
B=ceil(sqrt(n=m));
for(ui i=1;i<=n;++i){
pos[i]=(i-1)/B+1;L[i]=(pos[i]-1)*B+1;R[i]=pos[i]*B;
if(R[i]>n)R[i]=n;
}
P=pos[n];
}
inline void Add(const ui&x){
if(x>n)return;
for(ui i=x;i<=R[x];++i)++s[i];
for(ui i=pos[x];i<=P;++i)++S[i];
}
inline void Del(const ui&x){
if(x>n)return;
for(ui i=x;i<=R[x];++i)--s[i];
for(ui i=pos[x];i<=P;++i)--S[i];
}
inline ui Qry(const ui&x){
return s[x]+S[pos[x]-1];
}
}block;
struct Fail{
ui cnt,h[M];
ui dfc,L[M],R[M],dfn[M];
struct Edge{
ui v,nx;
}e[M<<1];
inline void Add(const ui&u,const ui&v){
e[++cnt]=(Edge){v,h[u]};h[u]=cnt;
}
inline void init(const ui&u){
dfn[u]=++dfc;L[u]=dfc;for(ui E=h[u];E;E=e[E].nx)init(e[E].v);R[u]=dfc;
}
inline void Mdf(const ui&u){
block.Add(L[u]);block.Del(R[u]+1);
}
inline ui Qry(const ui&u){
return block.Qry(dfn[u]);
}
}failtree;
inline void Insert(char*s,const ui&n){
ui u(1);
for(ui i=0;i<n;++i){
const ui&c=s[i]-97;
if(!trans[u][c])trans[u][c]=++tot;
u=trans[u][c];
}
}
inline ui Qry(char*s,const ui&n){
ui u(1),ans(0);
for(ui i=0;i<n;++i)ans+=failtree.Qry(u=trans[u][s[i]-97]);
return ans;
}
inline void Build(){
static ui L,R,q[M];L=1;
for(ui c=0;c<26;++c){
if(trans[1][c])fail[trans[1][c]]=1,q[++R]=trans[1][c];
else trans[1][c]=1;
}
while(L<=R){
const ui&u=q[L++];
for(ui c=0;c<26;++c){
if(trans[u][c])fail[trans[u][c]]=trans[fail[u]][c],q[++R]=trans[u][c];
else trans[u][c]=trans[fail[u]][c];
}
}
}
inline void init(){
B=ceil(sqrt(1.*n*m/q));{
ui cnt(0);
for(ui i=1;i<=n;++i)cnt+=len[i]>=B;
if(cnt>=SZ)B=ceil(sqrt(m));
}
for(ui i=1;i<=n;++i)if(len[i]>=B)id[++num]=i;
for(ui i=1;i<=num;++i){
SAM::Clear();SAM::Build(s[id[i]],len[id[i]]);t[id[i]]=i;
for(ui j=1;j<=n;++j)cnt[i][j]=cnt[i][j-1]+SAM::Match(s[j],len[j]);
}
for(ui i=1;i<=n;++i)Insert(s[i],len[i]);Build();block.init(tot);
for(ui u=2;u<=tot;++u)failtree.Add(fail[u],u);failtree.init(1);
}
inline void Solve(){
for(ui i=0;i<=n;++i){
if(i){
ui u(1);
for(ui k(0);k<len[i];++k)u=trans[u][s[i][k]-97];failtree.Mdf(u);
}
for(ui&id:Q[i])if(len[k[id]]<B){
if(vis[id])ans[id]+=Qry(s[k[id]],len[k[id]]);
else ans[id]-=Qry(s[k[id]],len[k[id]]),vis[id]=true;
}
else ans[id]=cnt[t[k[id]]][r[id]]-cnt[t[k[id]]][l[id]-1];
}
}
signed main(){
scanf("%u%u",&n,&q);s[0]=S;
for(ui i=1;i<=n;++i){
scanf("%s",s[i]=s[i-1]+len[i-1]);len[i]=strlen(s[i]);m+=len[i];
}
for(ui i=1;i<=q;++i){
scanf("%u%u%u",l+i,r+i,k+i);
Q[l[i]-1].push_back(i);Q[r[i]].push_back(i);
}
init();Solve();
for(ui i=1;i<=q;++i)printf("%u\n",ans[i]);
}

CF547E

直接使用 SAM 套线段树!!1大炮打蚊子

把所有串插到广义 SAM 里面,然后直接建立线段树。

提前处理每个串匹配到的位置。然后处理一个 endpos 的大小就好了。(其实是前一道题第一部分变成多串)

先建出广义 SAM,然后把每个串丢进去匹配,在路径上修改线段树,最后在 parent tree 上线段树合并即可。优秀的 \(O(n+(m+q)\log m)\)。

#include<cstring>
#include<cstdio>
typedef unsigned ui;
const ui M=2e5+5;
ui n,m,cnt,tot(1),sam(1),lst[M],trie[M][26];
ui f[M<<1],len[M<<1],root[M<<1],trans[M<<1][26];
char S[M],*s[M];ui Len[M],pos[M];
struct Node{
ui L,R,sum;
}t[M*30];
inline void Mdf(ui&u,const ui&x,const ui&L=1,const ui&R=n){
if(!u)u=++cnt;++t[u].sum;
if(L<R){
const ui mid=L+R>>1;
if(x<=mid)Mdf(t[u].L,x,L,mid);
else Mdf(t[u].R,x,mid+1,R);
}
}
inline ui Qry(const ui&u,const ui&l,const ui&r,const ui&L=1,const ui&R=n){
if(!u||l>R||L>r)return 0;
if(l<=L&&R<=r)return t[u].sum;
const ui mid=L+R>>1;return Qry(t[u].L,l,r,L,mid)+Qry(t[u].R,l,r,mid+1,R);
}
inline ui Merge(const ui&q,const ui&p){
if(!q||!p)return q|p;
const ui u=++cnt;t[u].sum=t[q].sum+t[p].sum;
t[u].L=Merge(t[q].L,t[p].L);t[u].R=Merge(t[q].R,t[p].R);
return u;
}
inline ui Insert(const ui&lst,const ui&s){
ui q,p,nq,np;
p=lst;len[np=++sam]=len[p]+1;
while(p&&!trans[p][s])trans[p][s]=np,p=f[p];
if(!p)f[np]=1;
else{
if(len[q=trans[p][s]]==len[p]+1)f[np]=q;
else{
len[nq=++sam]=len[p]+1;f[nq]=f[q];f[np]=f[q]=nq;
memcpy(trans[nq],trans[q],104);
while(p&&trans[p][s]==q)trans[p][s]=nq,p=f[p];
}
}
return np;
}
inline void Insert(char*s,const ui&n){
ui u(1);
for(ui i=0;i<n;++i){
const ui&c=s[i]-97;
if(!trie[u][c])trie[u][c]=++tot;
u=trie[u][c];
}
}
inline ui Mdf(char*s,const ui&n,const ui&id){
ui u(1);
for(ui i=0;i<n;++i)Mdf(root[u=trans[u][s[i]-97]],id);
return u;
}
inline void Build(){
static ui L,R,q[M],CB[M],id[M<<1];q[L=R=1]=1;lst[1]=1;
while(L<=R){
const ui&u=q[L++];
for(ui c=0;c<26;++c)if(ui v=trie[u][c]){
lst[v]=Insert(lst[u],c);q[++R]=v;
}
}
for(ui i=1;i<=n;++i)pos[i]=Mdf(s[i],Len[i],i);
for(ui u=1;u<=sam;++u)++CB[len[u]];
for(ui i=1;i<=tot;++i)CB[i]+=CB[i-1];
for(ui u=sam;u>=1;--u)id[CB[len[u]]--]=u;
for(ui i=sam;i>1;--i)root[f[id[i]]]=Merge(root[f[id[i]]],root[id[i]]);
}
signed main(){
scanf("%u%u",&n,&m);s[0]=S;
for(ui i=1;i<=n;++i){
scanf("%s",s[i]=s[i-1]+Len[i-1]);Len[i]=strlen(s[i]);Insert(s[i],Len[i]);
}
Build();
for(ui i=1;i<=m;++i){
ui l,r,k;scanf("%u%u%u",&l,&r,&k);
printf("%u\n",Qry(root[pos[k]],l,r));
}
}

CF587F&CF547E题解的更多相关文章

  1. 【CF587F】Duff is Mad AC自动机+分块

    [CF587F]Duff is Mad 题意:给出n个串$s_1,s_2..s_n$,有q组询问,每次给出l,r,k,问你编号在[l,r]中的所有串在$s_k$中出现了多少次. $\sum|s_i|, ...

  2. 2016 华南师大ACM校赛 SCNUCPC 非官方题解

    我要举报本次校赛出题人的消极出题!!! 官方题解请戳:http://3.scnuacm2015.sinaapp.com/?p=89(其实就是一堆代码没有题解) A. 树链剖分数据结构板题 题目大意:我 ...

  3. noip2016十连测题解

    以下代码为了阅读方便,省去以下头文件: #include <iostream> #include <stdio.h> #include <math.h> #incl ...

  4. BZOJ-2561-最小生成树 题解(最小割)

    2561: 最小生成树(题解) Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 1628  Solved: 786 传送门:http://www.lyd ...

  5. Codeforces Round #353 (Div. 2) ABCDE 题解 python

    Problems     # Name     A Infinite Sequence standard input/output 1 s, 256 MB    x3509 B Restoring P ...

  6. 哈尔滨理工大学ACM全国邀请赛(网络同步赛)题解

    题目链接 提交连接:http://acm-software.hrbust.edu.cn/problemset.php?page=5 1470-1482 只做出来四道比较水的题目,还需要加强中等题的训练 ...

  7. 2016ACM青岛区域赛题解

    A.Relic Discovery_hdu5982 Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/65536 K (Jav ...

  8. poj1399 hoj1037 Direct Visibility 题解 (宽搜)

    http://poj.org/problem?id=1399 http://acm.hit.edu.cn/hoj/problem/view?id=1037 题意: 在一个最多200*200的minec ...

  9. 网络流n题 题解

    学会了网络流,就经常闲的没事儿刷网络流--于是乎来一发题解. 1. COGS2093 花园的守护之神 题意:给定一个带权无向图,问至少删除多少条边才能使得s-t最短路的长度变长. 用Dijkstra或 ...

随机推荐

  1. js修改css

    转载请注明来源:https://www.cnblogs.com/hookjc/ <style type="text/css"> .style{font-size:9pt ...

  2. Mac 使用自带php和Apache 安装配置Xdebug 开启本地调试模式

    Mac 安装配置php xdebug 本地调试 0.原理图 https://paper.seebug.org/308/ 测试demo构建方法 新建空白项目,目录选择Apache默认项目目录 1.下载x ...

  3. 关于String不可变的一些理解

    原创:转载需注明原创地址 https://www.cnblogs.com/fanerwei222/p/11683720.html 一直对String不可变感到疑问, 不知为何说String是不可变的, ...

  4. 自定义UITableview自带侧滑删除按钮样式 by 徐

    效果如下: 实现原理: 1.打开tableview自带的侧滑删除功能 核心代码: 1 -(void)tableView:(UITableView *)tableView commitEditingSt ...

  5. VUE3 之 动态组件 - 这个系列的教程通俗易懂,适合新手

    1. 概述 暗示效应告诉我们: 巧妙的暗示会在不知不觉中剥夺我们的判断力,对我们的思维形成一定的影响,造成我们行为的些许改变或者偏差. 例如你的朋友说你脸色不太好,是不是病了,此时,你可能就会感觉浑身 ...

  6. 《手把手教你》系列技巧篇(六十五)-java+ selenium自动化测试 - cookie -下篇(详细教程)

    1.简介 今天这一篇,宏哥主要讲解:利用WebDriver 提供可以读取.添加和删除cookie 信息的相关操作方法.验证浏览器中是否存在某个cookie.原因是:因为基于真实的cookie 的测试是 ...

  7. ubuntu关机和重启

    本博客旨在自我学习使用,如有任何疑问请及时联系博主 linux下常用的关机命令有:shutdown.halt.poweroff.init:重启命令有:reboot.下面本文就主要介绍一些常用的关机命令 ...

  8. 1、Linux基础--相关软件安装与网络配置

    1.虚拟机(VM安装) 2.网络配置 3.Linux操作系统安装 4.xshell安装

  9. Solution -「CEOI 2006」「洛谷 P5974」ANTENNA

    \(\mathcal{Description}\)   Link.   给定平面上 \(n\) 个点,求最小的能覆盖其中至少 \(m\) 个点的圆半径及一个可能的圆心.   \(n\le500\),坐 ...

  10. Solution -「ARC 058C」「AT 1975」Iroha and Haiku

    \(\mathcal{Description}\)   Link.   称一个正整数序列为"俳(pái)句",当且仅当序列中存在连续一段和为 \(x\),紧接着连续一段和为 \(y ...