洛谷 P4595 [COCI2011-2012#5] POPLOCAVANJE

题面

题意

给出一个字符串S(长度不超过300000)和至多5000个串，用这至多5000个串去覆盖S，每个串允许用多次，且允许串重叠，则S中至少有几个字符不被覆盖。
空间限制为64MB

做法

这题可以用后缀自动机和AC自动机都可以直接做，但是因为空间限制，都不能直接建。
但是注意到这5000个字符串相互独立，所以可以进行分块，对约根号个串建出AC自动机后，计算贡献，然后每次再清空重建即可

代码

#include<bits/stdc++.h>
#define N 300100
#define M 5010
using namespace std;

int n,m,s,ans,sum,tt=1,num[N];
string S,T[M];
struct Node
{
    int to[26],len,fail;
    void clear(){memset(to,0,sizeof(to));fail=len=0;}
}node[M*100];
queue<int>que;

inline void clear()
{
    int i,j;
    for(i=1;i<=tt;i++) node[i].clear();
    tt=1,sum=0;
}

inline void in(int u)
{
    int i,t,now=1;
    for(i=0;i<T[u].size();i++)
    {
	t=T[u][i]-'a';
	if(!node[now].to[t]) node[now].to[t]=++tt;
	now=node[now].to[t];
    }
    node[now].len=T[u].size();
}

inline void build()
{
    int i,j,t,p,q;
    for(i=0;i<26;i++)
    {
	t=node[1].to[i];
	if(!t) node[1].to[i]=1;
	else
	{
	    node[t].fail=1;
	    que.push(t);
	}
    }
    for(;!que.empty();)
    {
	q=que.front();
	que.pop();
	t=node[q].fail;
	node[q].len=max(node[q].len,node[t].len);
	for(i=0;i<26;i++)
	{
	    p=node[q].to[i];
	    if(!p) node[q].to[i]=node[t].to[i];
	    else
	    {
		node[p].fail=node[t].to[i];
		que.push(p);
	    }
	}
    }
}

inline void calc()
{
    build();
    int i,j,t,now=1;
    for(i=0;i<S.size();i++)
    {
	t=S[i]-'a';
	now=node[now].to[t];
	if(node[now].len)
	{
	    num[i+2]--;
	    num[i+2-node[now].len]++;
	}
    }
    clear();
}

int main()
{
    int i,j;
    cin>>n>>S>>m;
    for(i=1;i<=m;i++)
    {
	cin>>T[i];
	s+=T[i].size();
    }
    s=s/sqrt(m);
    random_shuffle(T+1,T+m+1);
    for(i=1,sum=0;i<=m;i++)
    {
	if(sum&&sum+T[i].size()>s) calc();
	in(i);
	sum+=T[i].size();
    }
    calc();
    for(i=1;i<=n;i++)
    {
	num[i]+=num[i-1];
	if(!num[i]) ans++;
    }
    cout<<ans;
}