HDU1850 Being a Good Boy in Spring Festivaly（Nim博弈+状态转化）

题目链接：https://vjudge.net/contest/363960#problem/F
下面是一个二人小游戏：桌子上有M堆扑克牌；每堆牌的数量分别为Ni(i=1…M)；两人轮流进行；每走一步可以任意选择一堆并取走其中的任意张牌；桌子上的扑克全部取光，则游戏结束；最后一次取牌的人为胜者。

现在我们不想研究到底先手为胜还是为负，我只想问大家：
——“先手的人如果想赢，第一步有几种选择呢？”
Input
输入数据包含多个测试用例，每个测试用例占2行，首先一行包含一个整数M(1<M<=100)，表示扑克牌的堆数，紧接着一行包含M个整数Ni(1<=Ni<=1000000，i=1…M)，分别表示M堆扑克的数量。M为0则表示输入数据的结束。

Output
如果先手的人能赢，请输出他第一步可行的方案数，否则请输出0，每个实例的输出占一行。

Sample Input

3
5 7 9
0

Sample Output

1

分析：
Nim博弈的原型：
桌子上有M堆扑克牌；每堆牌的数量分别为Ni(i=1…M)；两人轮流进行；每走一步可以任意选择一堆并取走其中的任意张牌；桌子上的扑克全部取光，则游戏结束；最后一次取牌的人为胜者。

必败状态：a1 ^ a2^ …^an=0,则先手不会有任何可能获得胜利；
必胜状态：a1 ^ a2 ^ …^an=k,(其中k不为零)，先手必胜。先手取走若干石子后，相当于把必胜状态 转化为必败状态。
若a1 ^ a2 ^ … ^ an!=0，一定存在某个合法的移动：将 ai 改变成ai’ 后满足a1 ^ a2 ^ … ^ ai ‘^ … ^ an=0。
若a1 ^ a2 ^ … ^an=k。 k的最高位上是1一定是某个a[i]转化为二进制中的最高位1得来的。
这时 ai ^ k<ai一定成立（ai一定是越来越小的）。则我们可以将ai改变成ai’=ai ^ k
此时a1 ^ a2 ^ … ^ ai’ ^ … ^ an=a1 ^a2 ^ … ^ an ^ k=0。
注：对于任意一个ai,改变为ai ^k。a1 ^a2 ^ … ^ an ^ k都是为0的。但是我们只要 满足ai ^ k<ai。因为每一堆石子随着取走，ai是越来越小的。
代码：

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
int main()
{
    int n;
    int a[110];
    while(~scanf("%d",&n)&&n)
    {
        int x=0;
        for(int i=0; i<n; i++)
        {
            scanf("%d",&a[i]);
            x^=a[i];
        }
        if(x==0)
            printf("0\n");
        else
        {
            int ans=0;
            for(int i=0; i<n; i++)
            {
                int p=a[i]^x;/*随着取走，对应的堆中石子的数量是越来越少的*/
                if(a[i]>p)
                    ans++;
            }
            printf("%d\n",ans);
        }
    }
    return 0;
}