有一个两人游戏,游戏是这样的,有n个非空串。在游戏的过程是,两个玩家轮流向一个字符串后面加字母,刚开始字符串是空的。每一次操作是向当前字符串后面添加字符,形成的新字符串一定要是这n个串中某一个或几个的前缀,如果无法做到,就输了。
这样的游戏似乎过于简单了,现在对这个游戏进行一下改进,让玩家玩K次这样的游戏,第i次的败者,将会作为第i+1次的先手进行这个游戏。第k次游戏的赢家就是整个游戏的赢家。
现在给定n个字符串和k,问是先手胜还是后手胜。
Input
单组测试数据。 第一行有两个整数n 和 k (1 ≤ n ≤ 10^5; 1 ≤ k ≤ 10^9) 接下来n行每一行有一个非空串。字符串的总长度不超过10^5,都由小字母构成。
Output
如果先手胜输出First,否则输出Second。
Input示例
2 3 a b
Output示例
First
System Message
(题目提供者)
C++的运行时限为:1000 ms ,空间限制为:131072 KB
示例及语言说明请按这里
允许其他 AC 的用户查看此代码,分享代码才能查看别人的代码并有机会获得勋章
题解:建一棵Trie树,将所有字符串插入树中,然后进行类似于树形DP的操作,和一般的博弈不同,因为要进行k轮,并且失败者下一轮会变成先手,所以先手要保证自己最终必赢的情况下,当前轮他可能采取必赢策略也可能采取必输的策略(有可能他要故意输掉前k-1轮,赢下最后一轮),故进行树形DP的时候要分别按照先手必赢、先手必输、可输可赢、无法控制四种状态DP即可。。。
#include<map>
#include<stack>
#include<queue>
#include<vector>
#include<string>
#include<math.h>
#include<stdio.h>
#include<iostream>
#include<string.h>
#include<stdlib.h>
#include<algorithm>
#include<functional>
using namespace std;
typedef long long ll;
#define inf 1000000000
#define mod 1000000007
#define maxn 160050
#define lowbit(x) (x&-x)
#define eps 1e-9
char str[maxn];
int size,a[maxn][30],b[maxn];
void insert()
{
int i,len=strlen(str),now=0;
for(i=0;i<len;i++)
{
int v=str[i]-'a';
if(a[now][v]==0)
a[now][v]=++size;
now=a[now][v];
}
}
void dfs(int x)
{
int i,vis=0;
for(i=0;i<26;i++)
{
if(a[x][i]>0)
{
vis=1;
dfs(a[x][i]);
b[x]|=b[a[x][i]]^3;
}
}
if(vis==0)
b[x]=1;
}
int main(void)
{
ll n,k,i,j;
scanf("%lld%lld",&n,&k);
for(i=1;i<=n;i++)
{
scanf("%s",str);
insert();
}
dfs(0);
if(b[0]==1 || b[0]==0)
printf("Second\n");
if(b[0]==2)
{
if(k%2)
printf("First\n");
else
printf("Second\n");
}
if(b[0]==3)
printf("First\n");
return 0;
}