博弈——取(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 堆石子的个数分别为 a1,a2,…,am,则令 s = a1 ^ a2 ^ … ^ am,若 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 ^ ai) < ai (1 <= i <= m) 的,并将 ai 和 s ^ ai 输出来即可。
#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;
}