2021-01-31

取石子游戏(尼姆博弈)

题目如下：
m堆石子,两人轮流取.只能在1堆中取.取完者胜.先取者负输出No.先取者胜输出Yes,然后输出怎
样取子.例如5堆 5,7,8,9,10先取者胜,先取者第1次取时可以从有8个的那一堆取走7个剩下1个,
也可以从有9个的中那一堆取走9个剩下0个,也可以从有10个的中那一堆取走7个剩下3个.
Input
输入有多组.每组第1行是m,m<=200000. 后面m个非零正整数.m=0退出.
Output
先取者负输出No.先取者胜输出Yes,然后输出先取者第1次取子的所有方法.如果从有a个石子的
堆中取若干个后剩下b个后会胜就输出a b.参看Sample Output.
Sample Input
2
45 45
3
3 6 9
5
5 7 8 9 10
0
Sample Output
No
Yes
9 5
Yes
8 1
9 0
10 3
尼姆博弈：有三堆各若干个物品，两个人轮流从某一堆取任意多的物品，规定每次至少取一个，多者不限，最后取光者得胜。
这种情况最有意思，它与二进制有密切关系，我们用（a，b，c）表示某种局势，首先（0，0，0）显然是奇异局势，无论谁面对奇异局势，都必然失败。第二种奇异局势是（0，n，n），只要与对手拿走一样多的物品，最后都将导致（0，0，0）。仔细分析一下，（1，2，3）也是奇异局势，无论自己如何拿，接下来对手都可以将其变为（0，n，n）的情形。
计算机算法里面有一种叫做按位模2加，也叫做异或的运算，我们用符号⊕表示这种运算，先看（1，2，3）的按位模2加的结果：
1 =二进制01
2 =二进制10
3 =二进制11 ⊕
———————
0 =二进制00 （注意不进位）
对于奇异局势（0，n，n）也一样，结果也是0。
任何奇异局势（a，b，c）都有a⊕b⊕c =0。
注意到异或运算的交换律和结合律，及a⊕a=0，:
a⊕b⊕(a⊕b)=(a⊕a)⊕(b⊕b)=0⊕0=0。
所以从一个非奇异局势向一个奇异局势转换的方式可以是：
1）使 a = c⊕b
2）使 b = a⊕c
3）使 c = a⊕b
解题思路：对每一堆的石子进行异或运算，结果为零则输出no,否则输出yes，且继续输出对应石堆的初始数量和剩下的数量。剩余数量=异或运算的结果继续对对应石堆做异或运算。(小于对应石堆石子数)
代码如下：

#include<iostream>
using namespace std;
int m,n[200001];
int main()
{
    int s,sum;
    while(cin>>m){
        sum=0;
        for(int i=0;i<m;i++){
            cin>>n[i];
            sum^=n[i];
        }
        if(sum==0)
            cout<<"no"<<endl;
        else{
            cout<<"yes"<<endl;
            for(int i=0;i<m;i++){
                s=sum^n[i];
                if(s<n[i])
                    cout<<n[i]<<" "<<s<<endl;
            }
        }
    }
    return 0;
}