计蒜客A1623 A String Game（SAM上求sg函数）

题意：

数据范围：n<=100，|t|<=1e5，所有串总长度不超过3e7

解法：

类似石子游戏,
只需要求出所有s串的sg值异或和就是整个游戏的sg函数值.
每个s串的sg值为下一步得到的串的sg值的Mex.

由于s以及s添加一个字符之后的到的s'都是t的子串,
对t串建立SAM,在SAM上dfs求sg函数即可

最后如果sg=0则必败,否则必胜

code：

#include<bits/stdc++.h>
using namespace std;
const int maxm=4e5+5;
char s[maxm];
char t[maxm];
struct SAM{
    int ch[maxm][26];
    int fa[maxm],l[maxm];//l[]是等价类的最长字符串长度len
    int last=1,tot=1;//tot是节点数量
    void add(int c){//传入s[i]-'a'而不是s[i]
        int p=last,np=++tot;last=np;l[np]=l[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(l[p]+1==l[q])fa[np]=q;
            else{
                int nq=++tot;l[nq]=l[p]+1;
                memcpy(ch[nq],ch[q],sizeof ch[q]);
                fa[nq]=fa[q];fa[q]=fa[np]=nq;
                for(;ch[p][c]==q;p=fa[p])ch[p][c]=nq;
            }
        }
    }
    int sg[maxm];
    int dfs(int x){
        if(sg[x]!=-1)return sg[x];
        int mark[30]={0};
        for(int i=0;i<26;i++){
            int v=ch[x][i];
            if(!v)continue;
            mark[dfs(v)]=1;
        }
        for(int i=0;i<30;i++){
            if(!mark[i]){
                return sg[x]=i;
            }
        }
        return sg[x]=0;//
    }
    void init(){
        for(int i=1;i<=tot;i++){
            memset(ch[i],0,sizeof ch[i]);
            fa[i]=l[i]=0;
            sg[i]=-1;
        }
        last=tot=1;
    }
}S;
signed main(){
    memset(S.sg,-1,sizeof S.sg);
    while(scanf("%s",t)!=EOF){
        S.init();
        int len=strlen(t);
        for(int i=0;i<len;i++)S.add(t[i]-'a');
        //
        int n;scanf("%d",&n);
        int ans=0;
        for(int i=1;i<=n;i++){
            scanf("%s",s);
            int len2=strlen(s);
            int x=1;
            for(int j=0;j<len2;j++){
                x=S.ch[x][s[j]-'a'];
            }
            ans^=S.dfs(x);
        }
        //
        if(ans){
            puts("Alice");
        }else{
            puts("Bob");
        }
    }
    return 0;
}

---