先预处理出来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;

}