HDU 3032 Nim or not Nim?(SG打表找规律)

题意：

给你n堆石子，你每次只能操作一堆石子

1、拿去任意个，最少1个

2、把这一堆分成两堆，没有要求对半分

解析+代码：

//解题思路：
//对于一个给定的有向无环图，定义关于图的每个顶点的Sprague-Grundy函数g如下：g(x)=mex{ g(y) | y是x的后继 },这里的g（x）即sg[x]
//例如：取石子问题，有1堆n个的石子，每次只能取{1，3,4}个石子，先取完石子者胜利，那么各个数的SG值为多少？
//sg[0]=0,
//n=1时，可以取走{1}个石子，剩余{0}个，mex{sg[0]}={0}，故sg[1]=1;
//n=2时，可以取走{1}个石子，剩余{1}个，mex{sg[1]}={1}，故sg[2]=0；
//n=3时，可以取走{1,3}个石子，剩余{2,0}个，mex{sg[2],sg[0]}={0,0}，故sg[3]=1;
//n=4时，可以取走{1,3,4}个石子，剩余{3,1,0}个，mex{sg[3],sg[1],sg[0]}={1,1,0},故sg[4]=2;
//n=5时，可以取走{1,3,4}个石子，剩余{4,2,1}个，mex{sg[4],sg[2],sg[1]}={2,0,1},故sg[5]=3；
//以此类推.....
//     x  0  1  2  3  4  5  6  7  8....
//sg[x] 0  1  0  1  2  3  2  0  1....
//所以，对于这题：
//sg[0]=0
//sg[1]=mex{sg[0] }=1
//sg[2]=mex{sg[0],sg[1],sg[1,1] }=mex{0,1,1^1}=2;
//sg[3]=mex{sg[0],sg[1],sg[2],sg[1,2]}=mex{0,1,2,1^2}=mex{0,1,2,3}=4;
//sg[4]=mex{sg[0],sg[1],sg[2],sg[3],sg[1,3],sg[2,2]}=mex{0,1,2,4,5,0}=3;
//              ..............................................................................
//
//可以发现：sg[4*k+1]=4*k+1,sg[4*k+2]=4*k+2,  sg[4*k+3]=4*k+4,sg[4*k+4]=4*k+3
//通过SG函数打表可以发现规律。
//当n=4*k时，sg[n] = n-1;
//当n= 4*k+3 时，sg[n] = n+1;
//其余sg[n] = n;
#include <stdio.h>
#include <algorithm>
#include <iostream>
#include <string.h>
using namespace std;
const int MAXN = 10000;
int SG(int x)
{
    if(x == 0)return x;
    if(x % 4 == 0)return x-1;
    if(x % 4 == 3)return x+1;
    return x;
}
int main()
{
    int T;
    int n,a;
    int sum;
    scanf("%d",&T);
    while(T--)
    {
        scanf("%d",&n);
        sum = 0;
        for(int i = 0;i < n;i++)
        {
            scanf("%d",&a);
            sum ^= SG(a);
        }
        if(sum == 0)printf("Bob
");
        else printf("Alice
");
    }
    return 0;
}