Nim博弈（hdu 2176）

代表当前状态的子状态最多能有多少种走法的异或和；

通常的Nim游戏的定义是这样的：
有若干堆石子，每堆石子的数量都是有限的，合法的移动是“选择一堆石子并拿走若干颗（不能不拿）”，如果轮到某个人时所有的石子堆都已经被拿空了，则判负（因为他此刻没有任何合法的移动）。
结论：
必败状态：a1^a2^……^an=0
必胜状态：a1^a2^…….^an=k (其中k不为零)
证明：
terminal position只有一个，就是全0，异或仍然是0。
对于某个局面(a1,a2,…,an)，若a1^a2^…^an!=0，一定存在某个合法的移动，将ai改变成ai’后满足a1^a2^…^ai’^…^an=0。不妨设a1^a2^…^an=k，则一定存在某个ai，它的二进制表示在k的最高位上是1（否则k的最高位那个1是怎么得到的）。这时ai^k< ai一定成立。则我们可以将ai改变成ai’=ai^k，此时a1^a2^…^ai’^…^an=a1^a2^…^an^k=0。
对于某个局面(a1,a2,…,an)，若a1^a2^…^an=0，一定不存在某个合法的移动，将ai改变成ai’后满足a1^a2^…^ai’^…^an=0。因为异或运算满足消去率，由a1^a2^…^an=a1^a2^…^ai’^…^an可以得到ai=ai’。所以将ai改变成ai’不是一个合法的移动

#include
#include
#include
#include
#include
const int maxn=1e6+10;
using namespace std;
int x[maxn];
int main()
{
    int n;
    while(~scanf("%d",&n)&&n)
    {
        int s=0;
        for(int i=0;iscanf("%d",&x[i]);
            s^=x[i];
        }
        if(s==0)
        {
            printf("No\n");
            continue;
        }
        printf("Yes\n");
        for(int i=0;iint num=s^x[i];//除过x[i]外其余所有数的异或值
            if(num//当两个值相等时其异或值才为0，如果这个值小于x[i]则可以令当前值取num令局面变为必败态
                printf("%d %d\n",x[i],num);
        }
    }
}