给定 n
堆石子以及一个由 k
个不同正整数构成的数字集合 S
。
现在有两位玩家轮流操作,每次操作可以从任意一堆石子中拿取石子,每次拿取的石子数量必须包含于集合 S
,最后无法进行操作的人视为失败。
问如果两人都采用最优策略,先手是否必胜。
输入格式
第一行包含整数 k
,表示数字集合 S
中数字的个数。
第二行包含 k
个整数,其中第 i
个整数表示数字集合 S
中的第 i
个数 si
。
第三行包含整数 n
。
第四行包含 n
个整数,其中第 i
个整数表示第 i
堆石子的数量 hi
。
输出格式
如果先手方必胜,则输出 Yes。
否则,输出 No。
数据范围
1≤n,k≤100
,
1≤si,hi≤10000
输入样例:
2
2 5
3
2 4 7
输出样例:
Yes
SG函数:表示当前状态所不能到达状态中最小的自然数。
必胜状态:SG不等于0;
必败状态:SG等于0。
如果有多个图,将每个初始的SG值异或,等于0必败,不等于0必胜。
cpp
#include <iostream>
#include <cstring>
#include <algorithm>
#include <unordered_set>
using namespace std;
const int M = 110, N = 10010;
int m, n;
int s[M], f[N]; //s存可以取的数,f表明一个状态的sg值,一个状态是一个数,一个确定石子个数的堆可以分解成一个图表示状态。
int sg(int x)
{
if(f[x] != -1) return f[x]; //避免重复计算,如果x状态算过的话,就直接返回这个状态的sg值
unordered_set<int> S;//存能到达的状态的sg值。
for(int i = 0; i < m; i ++ ) //遍历每一个图(堆,石子堆)
if(x >= s[i])
S.insert(sg(x - s[i]));
for(int i = 0; ; i ++ )
if(!S.count(i)) //找到最小的不存在的状态自然数,说明当前状态的sg值就是i这个数
return f[x] = i;
}
int main ()
{
cin>>m;
for(int i = 0; i < m; i ++ ) cin>>s[i];
cin>>n;
memset(f, -1, sizeof f);
int res = 0;
while(n -- )
{
int x;
cin>>x;
res ^= sg(x);
}
if(res) puts("Yes");
else puts("No");
return 0;
}