poj2234

题目大意：

有一个游戏，有几堆火柴和两个运动员。两个运动员交替玩。每一回合，一个人可以选择一堆然后拿走任意数量的火柴，不能是0，也不能大于火柴数。如果一个运动员回合结束，没有火柴剩下，该运动员赢。假定两个运动员非常聪明，你的工作是判断先进行的运动员能不能赢得比赛。

解题思路：

Nim游戏的经典模型。
随机博弈指的是这样的一个博弈游戏，目前有任意堆石子，每堆石子个数也是任意的，双方轮流从中取出石子，规则如下：1)每一步应取走至少一枚石子；每一步只能从某一堆中取走部分或全部石子；2)如果谁取到最后一枚石子就胜。也就是尼姆博弈（Nimm Game）。必败局面：也叫奇异局势。无论做出何出操作，最终结果都是输的局面。必败局面经过2次操作后，可以达到另一个必败局面。必胜局面：经过1次操作后可以达到必败局面。即当前局面不是必败局面就是必胜局面，而必胜局面可以一步转变成必败局面。
　　最终状态：
　　（1）最后剩下一堆石子；（必胜局面）
　　（2）剩下两堆，每堆一个；（必败局面）
　　（3）当石子剩下两堆，其中一堆只剩下1颗，另一堆剩下多于n颗石子时，当前取的人只需将多于1颗的那一堆取出n-1颗，则局面变为刚才提到的必败局面。（必胜局面）判断当前局势是否为必胜（必败）局势：
　　　　1）把所有堆的石子数目用二进制数表示出来，当全部这些数按位异或结果为0时当前局面为必败局面，否则为必胜局面；
　　　　2）在必胜局面下，因为所有数按位异或的结果
是大于零的，那么通过一次取，将这个（大于其它所有数按位异或的结果的）数下降到其它所有数按位异或的结果，这时局面就变为必败局面了。定理：一组自然数中必然存在一个数，它大于等于其它所有数按位异或的结果。证明：原命题等价于，设a1＾a2＾… ＾an=p，p≠0时，必存在k，使得ak＾p

代码如下：

#include<iostream>
using namespace std;

int main()
{
  int n,a;
  while(scanf("%d",&n)!=EOF)
  {
    int ans=0;
    for(int i=1;i<=n;i++)
    {
      scanf("%d",&a);
      ans=ans^a;
    }
    if(ans)
      printf("Yes\n");
    else
      printf("No\n");
  }
  return 0;
}