bzoj 1874: [BeiJing2009 WinterCamp]取石子游戏【博弈论】

先预处理出来sg值，然后先手必败状态就是sg[a[i]]的xor和为0（nim）
如果xor和不为0，那么一定有办法通过一步让xor和为0，具体就是选一个最大的sg[a[i]]，把它去成其他sg值的xor和，这样后手的xor和就是0了
当然并不一定要取最大的，只要sg[a[i]]>(ans^sg[a[i]])即可，从小到大枚举，然后判一下是否能取这么多即可

#include<iostream>
#include<cstdio>
using namespace std;
const int N=1005;
int n,m,a[N],b[N],sg[N],v[N],ti,ans;
int main()
{
	scanf("%d",&n);
	for(int i=1;i<=n;i++)
		scanf("%d",&a[i]);
	scanf("%d",&m);
	for(int i=1;i<=m;i++)
		scanf("%d",&b[i]);
	for(int i=1;i<=1000;i++)
	{
		ti++;
		for(int j=1;j<=m;j++)
			if(i-b[j]>=0)
				v[sg[i-b[j]]]=ti;
		for(int j=0;j<=1000;j++)
			if(v[j]!=ti)
			{
				sg[i]=j;
				break;
			}
	}
	for(int i=1;i<=n;i++)
		ans^=sg[a[i]];
	if(!ans)
		puts("NO");
	else
	{
		puts("YES");
		for(int i=1;i<=n;i++)
			for(int j=1;j<=m;j++)
				if(sg[a[i]-b[j]]==(ans^sg[a[i]]))
				{
					printf("%d %d\n",i,b[j]);
					return 0;	  
				} 
	}
	return 0;
}