CF149E Martian Strings

一、题目

点此看题

二、解法

先对原串的正串和反串建出后缀自动机，正串维护最小出现位置，反串维护最大出现位置。

对于每个询问，我们先把给定串的正串在第一个自动机上匹配，一直到不能匹配为止，存下每个位置在第一行串的最小出现位置，在把给定串的反串也做相同的事情。然后枚举分界点，先看分解点两端有没有匹配到，再判断最小出现位置要比最大出现位置小，因为是建的反串，所以最大出现位置指的是字符串的首位的位置。

时间复杂度$O(m\times len)$，可以参考我的代码$qwq$。

#include <cstdio>
#include <cstring>
#include <iostream>
using namespace std;
const int M = 200005;
int read()
{
 int x=0,flag=1;char c;
 while((c=getchar())<'0' || c>'9') if(c=='-') flag=-1;
 while(c>='0' && c<='9') x=(x<<3)+(x<<1)+(c^48),c=getchar();
 return x*flag;
}
int n,m,ans,a[1005],b[1005];char s[M];
struct automaton
{
    int cnt,last,len[M],fa[M],ch[M][26];
    int Max[M],Min[M],c[M],A[M];
    automaton() {cnt=last=1;}
    void add(int c,int i)
    {
        int p=last,np=last=++cnt;
        len[np]=len[p]+1;
        for(;p && !ch[p][c];p=fa[p]) ch[p][c]=np;
        if(!p) fa[np]=1;
        else
        {
            int q=ch[p][c];
            if(len[q]==len[p]+1) fa[np]=q;
            else
            {
                int nq=++cnt;
                fa[nq]=fa[q];
                Max[nq]=Min[nq]=Max[q];//不要忘记赋值哦qwq
                memcpy(ch[nq],ch[q],sizeof ch[q]);
                len[nq]=len[p]+1;
                fa[q]=fa[np]=nq;
                for(;p && ch[p][c]==q;p=fa[p]) ch[p][c]=nq;
            }
        }
        Min[last]=Max[last]=i;
    }
    void build()
    {
        for(int i=1;i<=cnt;i++) ++c[len[i]];
        for(int i=1;i<=n;i++) c[i]+=c[i-1];
        for(int i=1;i<=cnt;i++) A[c[len[i]]--]=i;
        for(int i=cnt;i>=1;i--)
        {
            Min[fa[A[i]]]=min(Min[fa[A[i]]],Min[A[i]]);
            Max[fa[A[i]]]=max(Max[fa[A[i]]],Max[A[i]]);
        }
    }
}A,B;
int main()
{
    scanf("%s",s+1);
    n=strlen(s+1);
    for(int i=1;i<=n;i++) A.add(s[i]-'A',i);
    for(int i=n;i>=1;i--) B.add(s[i]-'A',i);
    A.build();B.build();
    m=read();
    while(m--)
    {
        scanf("%s",s+1);
        n=strlen(s+1);
        for(int i=1;i<=n;i++)
            a[i]=b[i]=0;
        int p=1,flag=0;
        for(int i=1;i<=n;i++)
        {
            int c=s[i]-'A';
            if(A.ch[p][c]) p=A.ch[p][c],a[i]=A.Min[p];
            else break;
        }
        p=1;
        for(int i=n;i>=1;i--)
        {
            int c=s[i]-'A';
            if(B.ch[p][c]) p=B.ch[p][c],b[i]=B.Max[p];
            else break;
        }
        for(int i=1;i<n;i++)
            if(a[i] && b[i+1] && a[i]<b[i+1])
                flag=1;
        ans+=flag;
    }
    printf("%d\n",ans);
}