HDU 5724 Chess（状态压缩+组合博弈）

题目链接：点击打开链接

题目大意：一共n行20列，每行若干个棋子，对每个棋子，可以移动到右边距离最近的空格。两个人轮流移动，不能移动者输，问先手是否可以胜利

解题思路：每行20格，我们可以把状态压缩到一个int变量state里，对于每一个状态，求出下一个状态做上标记，SG[state]就是mex，也就是vis数组中第一个为false的下标。然后再把n行的SG函数进行异或，为0则必败，否则必胜。预处理暴力从0开始枚举，也可以记忆化搜索。

#include <set>
#include <map>
#include <cmath>
#include <stack>
#include <queue>
#include <vector>
#include <string>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
typedef long long LL;
#define FIN freopen("in.txt", "r", stdin);
#define FOUT freopen("out.txt", "w", stdout);
#define lson l, mid, cur << 1
#define rson mid + 1, r, cur << 1 | 1
const int INF = 0x3f3f3f3f;
const int MAXN = (1 << 20) + 50;
const int MOD = 1e9 + 7;

int SG[MAXN];

int DP(int state)
{
    if (SG[state] != -1)
        return SG[state];
    bool vis[22];
    memset(vis, false, sizeof(vis));
    for (int i = 0; i < 20; i++)
    {
        if (!(state & (1 << i)))//找到可以移动的棋子
            continue;
        for (int j = i + 1; j < 20; j++)//找到i右边最近的空格
        {
            if (state & (1 << j))
                continue;
            //state ^ (1 << i) ^ (1 << j)为state状态第i位移动到第j位后的状态
            vis[DP(state ^ (1 << i) ^ (1 << j))] = true; 
            break;
        }
    }
    for (int i = 0; i < 22; i++)//找到最小的mex没有出现过的下标
        if (!vis[i])
        {
            SG[state] = i;
            break;
        }
    return SG[state];
}

int main()
{
#ifndef ONLINE_JUDGE
    FIN;
#endif // ONLINE_JUDGE
    memset(SG, -1, sizeof(SG));
    for (int i = 0; i < (1 << 20); i++)
        DP(i);
    int tcase;
    scanf("%d", &tcase);
    while (tcase--)
    {
        int n;
        scanf("%d", &n);
        int ans = 0;
        for (int i = 0; i < n; i++)
        {
            int t, tstate = 0;
            scanf("%d", &t);
            for (int j = 0; j < t; j++)
            {
                int tt;
                scanf("%d", &tt);
                tstate |= (1 << (tt - 1));
            }
            ans ^= SG[tstate];
        }
        printf("%s\n", ans == 0 ? "NO" : "YES");
    }
    return 0;
}