简单博弈论

博弈论

曾经流行过这样一个小游戏： 摆出三堆硬币，分别包含 3 枚，5 枚，7 枚。 两人轮流行动，每次可以任选一堆， 从中取走任意多枚硬币，可把一堆取光，但不能不取。取走最后一枚硬币者获得胜利。

推广成一般博弈模型

给定 n堆物品，第i堆物品有Ai 个。两位玩家轮流行动，每次可以任选一堆，取走任意多个物品，可把一堆取光，但不能不取。取走最后一件物品者获胜。两人都绝顶聪明，并都采取最优策略，问先手能否必胜。

我们把这种游戏称为NIM博弈。
把游戏过程中面临的状态称为局面。整局游戏第一个行动的称为先手，第二个行动的称为后手。若在某一局面下无论采取何种行动，都会输掉游戏，则称该局面先手必败。若在某一局面下存在某种行动，使得行动后对手面临必败局面，则该局面被称为先手必胜。
NIM博弈不存在平局，只有先手必胜和先手必败两种情况。

定理

定理： NIM博弈先手必胜，当且仅当 A1 xor A2 xor … xor An != 0
证明： 所有物品都被取光是一个先手必败局面，此时显然有 A1 xor A2 xor … xor An = 0
后续主要采用反证法和数学归纳法证之，此处略。

例题

给定 n堆石子，两位玩家轮流操作，每次操作可以从任意一堆石子中拿走任意数量的石子（可以拿完，但不能不拿），最后无法进行操作的人视为失败。问如果两人都采用最优策略，先手是否必胜。
输入格式
第一行包含整数 n。
第二行包含 n个数字，其中第 i 个数字表示第 i堆石子的数量。
输出格式
如果先手方必胜，则输出 Yes。
否则，输出 No。
数据范围
1≤n≤10⁵,1≤每堆石子数≤10⁹
输入样例：
2
2 3
输出样例：
Yes

//代码实现

/*
先手必胜状态：可以走到某一个先手必败状态-对手
先手必败状态：走不到任何一个先手必败状态-对手
*/
#include<iostream>
#include<algorithm>
using namespace std;

int main()
{
    int n;
    int res = 0;
    scanf("%d",&n);
    while (n --)
    {
       int x;
       scanf("%d", &x);
       res ^= x;
    }
    if (res) puts("Yes");//first win
    else puts("No");//first lose

    return 0;   
}