博弈论(二)——#10244. 「一本通 6.7 练习 1」取石子游戏

题目链接：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;
}