
参考自博客:http://blog.****.net/keshuai19940722/article/details/38455269
//字典树,博弈
根据当前节点的后续来确定当前节点的状态,0是由对手决定,1是只有可能输,2是只有可能赢,3是可以决定自己的胜负。这些状态是要综合所有后续情况确定的。
#include<stdio.h>
#include<iostream>
#include<string.h>
#include<string>
#include<algorithm>
using namespace std;
int pos=;
string s; struct tt
{
int val,arr[];
tt(){memset(arr,-,sizeof(arr));val=;}
}a[]; void insert(int id,int d)
{
if(d==s.length())return ; int t=s[d]-'a';
if(a[id].arr[t]==-)
a[id].arr[t]=++pos;
insert(a[id].arr[t],d+);
} int solve(int d)
{
int ans=;
int flag=;
for(int i=;i<;i++)
{
if(a[d].arr[i]!=-)
{
flag=;
ans|=solve(a[d].arr[i]);
}
} if(flag)
ans=;
return -ans;
}
int main()
{
int n,m;
cin>> n>>m;
pos=;
while(n--)
{
cin>>s;
insert(, );
}
int ans = - solve(); if(ans==)cout <<"First"<<endl;
else if(ans==||ans==)cout <<"Second"<<endl;
else
{
if(m&)cout <<"First"<<endl;
else cout <<"Second"<<endl;
}
return ;
}