【Nim游戏】hihoCoder#1172[博弈游戏·Nim游戏·二]题解

题目概述

有 $n$ 个硬币，每次可以先把一个正面朝上的硬币 $i$ 改成反面，然后还可以决定是否把 $[1,i-1]$ 的某个硬币翻面，无法操作时失败。问先手是否必胜。

解题报告

感觉思考博弈论题目好似智障，开始打代码时好似神仙。

有一个关键结论：若某个 $Nim$ 游戏局面中出现石子数一样的两个石子堆，则去掉这两个石子堆后新局面与原局面等价。证明非常简单：假设 $a_i=a_j$ ，则 $a_i\ xor\ a_j=0$ ，所以对局面没有影响。

那么这道题可以把每个正面朝上的硬币 $i$ 看做石子数为 $i$ 的石子堆，但是和 $Nim$ 游戏有所不同的是当出现两个石子数相同的石子堆时，这两个石子堆会被移除，根据上面所说的，这并没有什么影响。

示例程序

#include<cstdio>
using namespace std;
const int maxn=10000;

int n,nim;

#define Eoln(x) ((x)==10||(x)==13||(x)==EOF)
int main()
{
    freopen("program.in","r",stdin);
    freopen("program.out","w",stdout);
    scanf("%d",&n);char ch=getchar();while (Eoln(ch)) ch=getchar();
    for (int i=1;i<=n;i++,ch=getchar()) if (ch=='H') nim^=i;
    return printf("%s\n",nim?"Alice":"Bob"),0;
}