Codeforces Round #244 (Div. 2) D. Match & Catch(后缀自动机裸题)

题目链接：Codeforces Round #244 (Div. 2) D. Match & Catch

题意：

给你两个串A,B，问你是否存在一个串x，使得x是A,B的子串，并且只在A,B中出现一次。

题解：

对于两个串分别建立后缀自动机，更新一下right集，然后dfs一下，更新一下答案就行了。

#include<bits/stdc++.h>
#define mst(a,b) memset(a,b,sizeof(a))
#define F(i,a,b) for(int i=(a);i<=(b);++i)
using namespace std;

const int N=5e3+7,tyn=26,M=N*2;
struct SAM{
    int tr[M][tyn],f[M],ml[M],ed,last,p,x,r,q;
    int cnt[M],b[M],d[M];
    inline int gid(char x){return x-'a';}
    inline void nc(int s,int &p){
        ml[p=++ed]=s,f[ed]=cnt[ed]=0,mst(tr[ed],0);
    }
    void clear(){ed=0,nc(0,last);}
    void add(int w){
        nc(ml[x=last]+1,p),last=p,cnt[p]=1;
        while(x&&!tr[x][w])tr[x][w]=p,x=f[x];
        if(!x)f[p]=1;
        else if(ml[x]+1==ml[q=tr[x][w]])f[p]=q;
        else{
            nc(ml[x]+1,r),f[r]=f[q],f[p]=f[q]=r;
            memcpy(tr[r],tr[q],sizeof(tr[r]));
            while(x&&tr[x][w]==q)tr[x][w]=r,x=f[x];
        }
    }
    void upright(int mx=0){
        F(i,0,ed)d[i]=0;
        F(i,1,ed)d[mx<ml[i]?mx=ml[i]:ml[i]]++;
        F(i,1,mx)d[i]+=d[i-1];
        F(i,1,ed)b[d[ml[i]]--]=i;
        for(int i=ed;i;--i)cnt[f[b[i]]]+=cnt[b[i]];
    }//从1开始
    void build(char *s){for(int i=1;s[i];i++)add(gid(s[i]));}
}sam[2];

char s[N];
int ans=INT_MAX;

void go(int x,int y,int len)
{
    if(len>ans)return;
    if(len&&sam[0].cnt[x]==1&&sam[1].cnt[y]==1)
    {
        ans=min(ans,len);
        return;
    }
    F(i,0,25)if(sam[0].tr[x][i]&&sam[1].tr[y][i])
        go(sam[0].tr[x][i],sam[1].tr[y][i],len+1);
}

int main(){
    scanf("%s",s+1);
    sam[0].clear(),sam[0].build(s),sam[0].upright();
    scanf("%s",s+1);
    sam[1].clear(),sam[1].build(s),sam[1].upright();
    go(1,1,0);
    printf("%d\n",ans==INT_MAX?-1:ans);
    return 0;
}