几种常见的博弈论题型与分析（尼姆博弈，巴什博弈，斐波那契博弈，威佐夫博弈）

尼姆博奕

题型：
有3堆各若干个物品，两个人轮流从某一堆取任意多的物品，规定每次至少取1个，多者不限，最后取光者得胜。

分析：
首先想一下，就会发现只要最后剩两堆物品一样多(不为零)，第三堆为零，那面对这种局势的一方就必败。
那我们用(a,b,c)表示某种局势，首先(0,0,0)显然是必败态，无论谁面对(0,0,0) ，都必然失败；第二种必败态是(0,n,n)，自己在某一堆拿走k（k ≤ n）个物品，不论k为多少，对方只要在另一堆拿走k个物品，最后自己都将面临(0,0,0)的局势，必败。仔细分析一下，(1,2,3)也是必败态，无论自己如何拿，接下来对手都可以把局势变为(0,n,n)的情形。
后来有人发现，如果三堆的数量异或等于0，那么这就是一个奇异局势。

尼姆博弈模型可以推广到：有n堆若干个物品，两个人轮流从某一堆取任意多的物品，规定每次至少取一个，多者不限，最后取光者得胜。
这个游戏中的变量是堆数k和各堆的物品数N1，N2，……，Nk。
对应的组合问题是，确定先手获胜还是后手获胜以及两个游戏人应该如何取物品才能保证自己获胜。

---

巴什博弈

题型：
只有一堆n个物品，两个人轮流从这堆物品中取物，规定每次至少取一个，最多取m个，最后取光者胜。

分析：
如果n = m + 1，由于一个人最少取1个，最多取m个，所以先手无论拿走多少个，后手都能一次拿走剩余物品，后手胜

如果n = （m + 1）* r + s，(r为自然数，s ≤ m)，先手取胜的方式为：先手第一次拿走s个物品，如果后手拿走k（k ≤ m）个，那么先手在拿走m + 1 – k个，即这一轮两人拿走的数和为m + 1，并且由于第一次先手拿走了s个，所以剩下（m + 1） * （r - 1）个，以后一直保持这样的取法，无论后手拿走多少个，先手拿走的数量与后手的和总是凑成（m + 1）。

那么我们得到如下结论：n % （m + 1）等于0时后手必胜，否则先手必胜。

---

斐波那契博弈

题型：
有一堆石子，先取者可以取走任意多个，但不能全取完，以后每人取的石子数不能超过上个人的两倍，先取完最后一个石子的人获胜。

分析：
当n为Fibonacci数的时候，必败。

---

威佐夫博弈

题型：
有两堆各若干个物品，两个人轮流从任意一堆中取出至少一个或者同时从两堆中取出同样多的物品，规定每次至少取一个，至多不限，最后取光者胜利。

分析：
我们先用 (a[k], b[k]) 表示一个局势，我们可以知道 (0, 0) 局势先手必输，我们称这种先手必输的局势为奇异局势。还有的奇异局势有 （0，0）、（1，2）、（3，5）、（4，7）、（6，10）、（8，13）、（9，15）、（11，18）、（12，20）等。
我们发现 a[k] 和 b[x] 的差值是递增的（1，2，3，4，5…）。
继续分析我们会发现，每种奇异局势的第一个值(设第一堆数目小于第二堆)总是等于当前局势的差值乘上1.618，这里出现了奇妙的黄金分割比0.618！所以我们的判断条件是 a[k] = (int)((b[k] - a[k]) * 1.618)。
有些题目有精度要求，我们可以用 (sqrt(5.0) + 1) / 2 这个式子来得出 1.618 。