【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[][],vis[][][][][];
 char b[MAXN],ch[];
 inline int read()
 {
     int x=,f=;  char ch=getchar();
     while(!isdigit(ch))  {if(ch=='-')  f=-;  ch=getchar();}
     while(isdigit(ch))  {x=x*+ch-'';  ch=getchar();}
     return x*f;
 }
 void insert(int p)
 {
     int now=;
     for(int i=;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=,tail=;
     for(int i=;i<;i++)  if(tr[][i])  q[++tail]=tr[][i];
     while(++head<=tail)
     {
         int x=q[head];
         for(int i=;i<;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=,x=;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]+]=v[temp];  temp=fail[temp];}
     }
     for(int i=,last=;i<=n;i++)
     {
         if(k[i])  last=max(last,k[i]+i-);
         if(last<i)  ans++;
     }
     printf("%d\n",ans);
 }
 int main()
 {
     //freopen("cin.in","r",stdin);
     //freopen("cout.out","w",stdout);
     n=read();  scanf("%s",b+);
     for(int i=;i<=n;i++)  b[i]=b[i]-'a';
     for(int i=;i<=n;i++)  vis[b[i]][b[i-]][b[i-]][b[i-]][b[i-]]=;
     m=read();
     for(int i=;i<=m;i++)
     {
         scanf("%s",ch+);  bool flag=;  int len=strlen(ch+);
         for(int j=;j<=len;j++)  ch[j]=ch[j]-'a';
         for(int j=;j<=len;j++)  if(!vis[ch[j]][ch[j-]][ch[j-]][ch[j-]][ch[j-]]) {flag=;break;}
         if(!flag)  insert(len);
     }
     build();
     work();
     return ;
 }