CF455B A Lot of Games

一、题目

点此看题

二、解法

$\text{CF}$的博弈题都是神仙题，蒟蒻被吊打…

先建出$trie$树，我们考虑$trie$上每个节点的胜负态，由于本题的特殊性：当前局博弈的目标不一定是赢。我们设计$4$种状态：

• 必胜态，只能转移到必败态，二进制表示为$10$
• 必败态，只能转移到必胜态，二进制表示为$01$
• 可胜可败态，即可转移到必胜态，又可以转移到必败态，或者到无法控制态，二进制表示为$11$
• 无法控制态，即只能转移到可胜可败态，二进制表示为$00$

首先叶子肯定是必败态，$trie$树从底向上算当前点的状态，结合定义，转移如下：
$$sg[u]|=sg[v]\oplus 3$$然后我们对根节点的胜败态进行讨论：

• 必胜态，则要考虑$k$（轮数）的奇偶性，为奇则先手赢
• 必败态，先手一直输，然后一直先开始，所以先手必败
• 可胜可败态，先手先一直败，让自己保持先手，最后选取必胜态，先手必胜
• 无法控制态，后手让先手一直赢，最后后手选取必胜态，先手必败

然后就按照我说的打代码就行了，这题真的神仙$qwq$

#include <cstdio>
#include <cstring>
const int M = 100005;
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,k,cnt,ch[M][26],sg[M];
char s[M];
void ins()
{
    int p=1;
    for(int i=0;i<m;i++)
    {
        int c=s[i]-'a';
        if(!ch[p][c]) ch[p][c]=++cnt;
        p=ch[p][c];
    }
}
void dfs(int u)
{
    int f=0;
    for(int i=0;i<26;i++)
    {
        if(!ch[u][i]) continue;
        dfs(ch[u][i]);f=1;
        sg[u]|=(sg[ch[u][i]]^3);
    }
    if(!f) sg[u]=1;
}
int main()
{
    n=read();k=read();
    cnt=1;
    for(int i=1;i<=n;i++)
    {
        scanf("%s",s),m=strlen(s);
        ins();
    }
    dfs(1);
    if(sg[1]==0)
        puts("Second");
    if(sg[1]==1)
        puts("Second");
    if(sg[1]==2)
        puts(k%2?"First":"Second");
    if(sg[1]==3)
        puts("First");
}