题目链接:https://loj.ac/problem/10244
解题思路
每次取完石子就到一个新的状态,状态图是一个有向无环图,可以利用sg函数解决,如果必胜的话,最小的第一次取可以直接暴力枚举判断得到。
AC代码
#include <iostream>
#include <stdio.h>
#include <cstring>
#include <algorithm>
using namespace std;
const int maxn=1e3+5;
const int inf=0x3f3f3f3f;
bool vis[maxn];
int n,m,Max;
int a[15];
int b[15];
int c[15];
int sg[maxn];
void get_sg()
{
sg[0]=0;
for(int i=1;i<=Max;++i)
{
int ma=-1;
memset(vis,0,sizeof(vis));
for(int j=1;j<=m&&(i-b[j])>=0;++j)
{
vis[sg[i-b[j]]]=1;
ma=max(ma,sg[i-b[j]]);
}
int j=0;
while(vis[j])
j++;
sg[i]=j;
}
}
int tmp[15];
bool check(int x,int y)
{
for(int i=1;i<=n;++i)
tmp[i]=a[i];
tmp[x]-=y;
int ans=0;
for(int i=1;i<=n;++i)
ans^=sg[tmp[i]];
if(ans)
return false;
else
return true;
}
int main()
{
scanf("%d",&n);
for(int i=1;i<=n;++i)
{
scanf("%d",&a[i]);
Max=max(Max,a[i]);
}
scanf("%d",&m);
for(int i=1;i<=m;++i)
{
scanf("%d",&b[i]);
c[b[i]]=1;
}
get_sg();
int ans=0;
for(int i=1;i<=n;++i)
ans^=sg[a[i]];
if(ans)
{
puts("YES");
bool flag=0;
for(int i=1;i<=n;++i)
{
for(int j=1;j<=a[i];++j)
if(check(i,j)&&c[j])
{
flag=1;
printf("%d %d\n",i,j);
break;
}
if(flag)
break;
}
}
else
{
puts("NO");
}
return 0;
}