【COCI2012】覆盖字符串

【题目描述】

给出一个长度为N的小写字母串，现在Mirko有M个若干长度为Li字符串。现在Mirko要用这M个字符串去覆盖给出的那个字符串的。覆盖时，必须保证：
1.Mirko的字符串不能拆开，旋转；
2.Mirko的字符串必须和给出的字符串的某一连续段完全一致才能覆盖，
3.若干次覆盖可以部分重叠
4.Mirko的字符串可以无限使用。
求给出的字符串当中，有多少个字母是无法覆盖的。

【题解】

很魔性的一道题，一看就知道是AC自动机，这里有个小优化，插入时判断一下：如果模式串是文本的子串就插入。

然后就转化为了线段覆盖问题。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<ctime>
#include<algorithm>
using namespace std;
#define MAXN 2500010
int n,m,cnt,ans,v[MAXN],q[MAXN],fail[MAXN],k[MAXN],tr[1000100][27],vis[27][27][27][27][27];
char b[MAXN],ch[5010];
inline int read()
{
    int x=0,f=1;  char ch=getchar();
    while(!isdigit(ch))  {if(ch=='-')  f=-1;  ch=getchar();}
    while(isdigit(ch))  {x=x*10+ch-'0';  ch=getchar();}
    return x*f;
}
void insert(int p)
{
    int now=0;
    for(int i=1;i<=p;i++)
    {
        if(!tr[now][ch[i]]) tr[now][ch[i]]=++cnt;
        now=tr[now][ch[i]];
    }
    v[now]=p;
}
void build()
{
    int head=0,tail=0;
    for(int i=0;i<26;i++)  if(tr[0][i])  q[++tail]=tr[0][i];
    while(++head<=tail)
    {
        int x=q[head];
        for(int i=0;i<26;i++)
        {
            int y=tr[x][i];
            if(!y) continue;
            q[++tail]=y;
            int temp=fail[x];
            while(temp&&!tr[temp][i])  temp=fail[temp];
            fail[y]=tr[temp][i];
        }
    }
}
void work()
{
    for(int i=1,x=0;i<=n;i++)
    {
        while(x&&!tr[x][b[i]]) x=fail[x]; x=tr[x][b[i]];  int temp=x;
        while(temp) {if(v[temp]) k[i-v[temp]+1]=v[temp];  temp=fail[temp];}
    }
    for(int i=1,last=0;i<=n;i++)
    {
        if(k[i])  last=max(last,k[i]+i-1);
        if(last<i)  ans++;
    }
    printf("%d
",ans);
}
int main()
{
    //freopen("cin.in","r",stdin);
    //freopen("cout.out","w",stdout);
    n=read();  scanf("%s",b+1);
    for(int i=1;i<=n;i++)  b[i]=b[i]-'a';
    for(int i=5;i<=n;i++)  vis[b[i]][b[i-1]][b[i-2]][b[i-3]][b[i-4]]=1;
    m=read();
    for(int i=1;i<=m;i++)  
    {
        scanf("%s",ch+1);  bool flag=0;  int len=strlen(ch+1);
        for(int j=1;j<=len;j++)  ch[j]=ch[j]-'a';
        for(int j=5;j<=len;j++)  if(!vis[ch[j]][ch[j-1]][ch[j-2]][ch[j-3]][ch[j-4]]) {flag=1;break;}
        if(!flag)  insert(len);
    }
    build();
    work();
    return 0;
}