codeforces 399 E. Game of Stones 博弈 状压打表

题目地址
http://codeforces.com/contest/768/problem/E

题意
有1<=n<=1e61<=n<=1e6堆石子，每堆石子个数为1<=s<=601<=s<=60，每次选一堆石子，取走任意石子（不能为0），唯一的限制条件是对某堆石子，每次取走的石子数不能重复，当一方不能取走任意石子时，此方判输，问双方均采用最优策略的胜负情况

思路
官方题解的思路是计算每个s值对应的sg函数,打表找规律，看到的很多代码都是把max(x|∑xi=0i<=s)max(x|∑i=0xi<=s)作为s的sg值大致的证明思路是这样的：一堆石子不能取重复的石子数，那么这堆石子最多可以被取x次，因为可以把这堆石子分成x份，每份的个数分别为1, 2, …, x - 1, x个，一次操作就是从这些石子中任取几份。这样题目就退化成了一般的nim博弈：一堆石子有x个，每次取不为0任意的石子数，不能取的一方判输。 
然后统计所有的石子堆的异或和就好了。 
 

代码
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;

int sg[70];
int n;

int main() {
    int now = 1, tot = 1, nxt = 2;
    for (; tot <= 60; ++nxt) {
        while (tot <= 60 && now + nxt > tot) sg[tot++] = nxt - 1;
        now += nxt;
    }
//    for (int i = 0; i <= 60; ++i) cout<<i<<": "<<sg[i]<<endl;
    while (~scanf("%d", &n)) {
        int ans = 0;
        int x;

        for (int i = 0; i < n; ++i) {
            scanf("%d", &x);
            ans ^= sg[x];
        }
        if (ans) puts("NO");
        else puts("YES");
    }
}
 

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cmath>
#include<queue>
#include<cstring>
#include<stack>
#include<set>

using namespace std;

int sg[21][(1<<20)+1];

int SG(int cur,int state)
{
    if(sg[cur][state]!=-1)
    {
        return sg[cur][state];
    }

    if(cur==0)
        return sg[cur][state]=0;

    set<int>s;
    for(int i=1;i<=cur;i++)
    {
        if((state&(1<<i))==0)
        {
            int tp=SG(cur-i,state+(1<<i));
            s.insert(tp);
        }
    }

    for(int i=0;;i++)
    {
        if(s.find(i)==s.end())
        {
            sg[cur][state]=i;
            break;
        }
    }
    return sg[cur][state];
}
int main()
{
    for(int i=0;i<=20;i++)
    {
        for(int j=0;j<=(1<<20);j++)
        {
            sg[i][j]=-1;
        }
    }


    for(int i=0;i<=20;i++)
    {
        printf("%d ",SG(i,0));
    }
    printf("\n");

}