acm博弈论基础

一、Bash Game（巴什博弈）
一堆n个物品，两个人轮流从中取出1~m个，最后取光者胜（不能继续取的人输）。

1，分析：首先n一定可以表示为：n = k * (m + 1) + r （0 <= r <= m）;

2，代码：

if (n % (m + 1))  return false;
else  return true;

二、Wythoff Game（威佐夫博弈）
有两堆各若干物品，两个人轮流从任意一堆中至少取出一个或者从两堆中取出同样多的物品，规定每次至少取一个，至多不限，最后取光者胜。
1，分析：

所以，先求出差值，差值*黄金分割比 == 最小值的话后手赢，否者先手赢。
2，代码：

double r = (sqrt(5) + 1) / 2;
int d = abs(a - b) * r;
if (d != min(a, b))  return true;
else  false;

三、Fibonacci Nim Game（斐波那契博弈）

一堆石子有n个，两人轮流取，先取者第一次可以去任意多个，但是不能取完，以后每次取的石子数不能超过上次取子数的2倍。取完者胜。

1，分析：
规律：先手获胜条件：n不是斐波那契数。
证明：根据“Zeckendorf定理”（齐肯多夫定理）：任何正整数可以表示为若干个不连续的Fibonacci数之和。然后再用反证法或者第一数学归纳法应该都是可以证明的。这里就不证明了。
2，代码

f[0] = f[1] = 1;
for (int i = 2; f[i - 1] < n; i++)
{
    f[i] = f[i - 1] + f[i - 2];
    if (f[i] == n)  return false;
}
return true;

四、尼姆博弈
有n堆物品，两人轮流取，每次取某堆中不少于1个，最后取完者胜。

假如有3堆物品(a,b,c)
（0，0，0）状态时先手是一个必输局势因为没有东西可取，(0,n,n) 状态时也是必输局势只要后者在另一堆取得物品与前者一样多时那么前者也就是必输局势。慢分析(1,2,3)也是一个必输局势。如果我们将其转化为二进制形式并通过异或运算(^)我们会发现：
0001⁰⁰¹⁰0011=0000
通过验证所有的堆数量累^后只要为0就都是必输局势，所以我们就只要记住这个
规律：将n堆物品数量全部异或后结果为0先手必败，否则必胜。

2，代码

int res = 0;
for (int i = 1; i <= n; i++)
    res ^= arr[i];
if (res)  return true;
else  return false;

但是，实际问题中不可能给出如此标准的博弈模型，对于更加一般的博弈问题，我们该如何求解呢？通过SG函数转换为尼姆博弈。

五、SG函数
博弈论sg函数