博弈——取(m堆)石子游戏（尼姆博弈）

博弈——取(m堆)石子游戏（尼姆博弈）

题目链接：
HDU - 2176

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

分析

设 m 堆石子的个数分别为 a₁,a₂,…,a_m，则令 s = a₁ ^ a₂ ^ … ^ a_m，若 s = 0，则先手必败，输出 No，反之，先手必胜，输出 Yes。当 s != 0 时，还需输出取石子的方法，即从有 a 个石子的堆中取若干个后剩下 b 个后会胜就输出 a b，根据尼姆博弈，对于一个非奇异局势 (x,y,z)，x < y < z，想要变成奇异局势，只需要将 z 变为 x ^ y，因为 x ^ y ^ (x ^ y) = (x ^ x) ^ (y ^ y) = 0 ^ 0 = 0，所以我们只要找到满足 (s ^ a_i) < a_i (1 <= i <= m) 的，并将 a_i 和 s ^ a_i 输出来即可。

#include<bits/stdc++.h>
using namespace std;
int a[200005];

int main()
{
	int m;
	while(cin>>m&&m){
		int s=0;
		for(int i=0;i<m;i++){
			cin>>a[i];
			s^=a[i];
		}
		if(s==0){
			cout<<"No"<<endl;
		}
		else{
			cout<<"Yes"<<endl;
			for(int i=0;i<m;i++){
				if((s^a[i])<a[i]){
					cout<<a[i]<<" "<<(s^a[i])<<endl;
				}
			}
		}
	}
	return 0;
}