455B - A Lot of Games(思维+tire上博弈)

https://codeforces.com/problemset/problem/455/B

---

思路：

开始看这个题，以为k次单纯看奇偶就好。想了一会发现不是，先手如果能输也能赢可以一直演戏到最后一盘然后获胜。

网上大部分题解没怎么看懂。最后结合几篇还可以的看懂了。

我用的分开dfs两遍的方法。

dfs1判一个先手是否可以赢。 其条件是该节点的所有儿子都是必败态。

dfs2判一个先手是否可以输。其条件是该节点的一个儿子是必胜态。

设a=dfs1,b=dfs2.

那么结果的讨论为

如果a==0.那么second

如果a==1&&b==1,那么first

不然的话，就是单纯后手赢，判k的奇偶性。

有一个细节的地方，字典树的dfs是从根节点搜起的，而根节点是没有字母的。这样会多一层根节点的层。我是直接遍历第一层字母层，然后开搜。觉得这样好理解一点。

参考博客:

https://blog.csdn.net/qq_42479630/article/details/105058016?utm_medium=distribute.pc_relevant.none-task-blog-baidujs_title-0&spm=1001.2101.3001.4242

https://blog.csdn.net/cq_phqg/article/details/38460695?utm_medium=distribute.pc_relevant_t0.none-task-blog-2%7Edefault%7EBlogCommendFromMachineLearnPai2%7Edefault-1.control&dist_request_id=&depth_1-utm_source=distribute.pc_relevant_t0.none-task-blog-2%7Edefault%7EBlogCommendFromMachineLearnPai2%7Edefault-1.control

#include<iostream>
#include<vector>
#include<queue>
#include<cstring>
#include<cmath>
#include<map>
#include<set>
#include<cstdio>
#include<algorithm>
#define debug(a) cout<<#a<<"="<<a<<endl;
using namespace std;
const int maxn=1e6+1000;
typedef int LL;
inline LL read(){LL x=0,f=1;char ch=getchar();	while (!isdigit(ch)){if (ch=='-') f=-1;ch=getchar();}while (isdigit(ch)){x=x*10+ch-48;ch=getchar();}
return x*f;}
LL tree[maxn][28],root=0,tot=0;
void insert(string x){
     LL p=root;
     for(LL i=0;i<x.size();i++){
         if(!tree[p][x[i]-'a'+1]) tree[p][x[i]-'a'+1]=++tot;
         p=tree[p][x[i]-'a'+1];
     }
}
///判先手能否赢---->如果其儿子都是必败
///叶子状态是必胜态
bool dfs1(LL id){
   bool flag=1;LL temp=0;
   for(LL j=1;j<=26;j++){
      if(tree[id][j]!=0){
         flag=0;///如果有儿子，该状态由儿子决定
         temp|=dfs1(tree[id][j]);
      }
   }
   if(flag) return 1;
   if(temp==0){
     return 1;
   }
   else return 0;
}
///判先手能否输--->只要其儿子存在必胜态
bool dfs2(LL id){
   bool flag=1;
   for(LL j=1;j<=26;j++){
      if(tree[id][j]!=0){
        flag=0;///如果有儿子，状态由其儿子决定
        bool temp=dfs2(tree[id][j]);
        if(temp==1){
            return 0;
        }
      }
   }
   if(flag)  return 0;
   else return 1;
}
int main(void){
   cin.tie(0);std::ios::sync_with_stdio(false);
   string s;
   LL n,k;cin>>n>>k;
   for(LL i=1;i<=n;i++){
       cin>>s;
       insert(s);
   }
   LL a=0,b=0;
   for(LL i=1;i<=26;i++){
      if(tree[root][i]){
         LL temp=dfs1(tree[root][i]);
         if(temp){
            a=1;break;
         }
      }
   }
   for(LL i=1;i<=26;i++){
      if(tree[root][i]){
         LL temp=dfs2(tree[root][i]);
         if(temp){
            b=1;break;
         }
      }
   }
   if(a==0){///先手没法赢
      cout<<"Second"<<"\n";
   }
   else if(a&&b){
      cout<<"First"<<"\n";
   }
   else{
      if(k&1) cout<<"First"<<"\n";
      else cout<<"Second"<<"\n";
   }
   return 0;
}