博弈论笔记[未完成]

<1> 分析博弈: 小红是个游戏迷,他和小蓝一起玩拿石子游戏。游戏规则为2个人轮流拿石子。一次可以拿1颗或3颗,规定谁取到最后一颗石子谁就胜出。最后决定由小红先取。两人都是游戏高手,该赢的绝不会输(表示不会失误)。问在知道石子总数的情况下,怎样快速预测谁将会胜出。

取石子分为3种情况:
①: (1, 1) 共取走2个石子
②: (1, 3) 共取走4个石子
③: (3, 1) 共取走4个石子
④: (3, 3) 共取走6个石子

则最后会剩下0, 1, 3三种情况的石子

设①共进行N1次, ②进行N2次, ③进行N3次, ④进行N4次 ,最后剩下的为K个

则总数 S = (1 + 1)*N1 + (1 + 3)*N2 + (3 + 1)*N3 + (3 + 3)*N4 + K
= 2*N1 + 4*N2 + 4*N3 + 6*N4 + K
= 2 * (N1 + 2*N2 + 2*N3 + 3*N3) + K
因为 2 * (N1 + 2*N2 + 2*N3 + 3*N3) 为偶数, 所以剩下 K 个的时候, 又该第一个人取了

当 K = 1 或者 3 时, 必胜;
当 K = 0 时, 必败;

可以写成:
K 为偶数时, 必败;
反之, 必胜;

又因为 S 的奇偶性取决于 K 的奇偶性, 所以 K 的奇偶性关系到整个游戏的成败
所以直接判断 S 奇偶就可以了
①: S 为奇数, 则 K 为1或3, 必胜
②: S 为偶数, 则 K 为0, 必败


<2> 威佐夫博弈: 两个人轮流从某一堆或同时从两堆中取同样多的物品,规定每次至少取一个,
多者不限,最后取光者得胜。

我们用(ak,bk)(ak ≤ bk ,k=0,1,2,……,n)表示两堆物品的数量并称其为局势,如果甲
面对(0,0),那么甲已经输了,这种局势我们称为奇异局势:
(0,0)、(1,2)、(3,5)、(4,7)、(6,10)、(8,13)、(9,15)、(11,18)、(12,20)..

可以看出,a0 = b0 = 0,ak是未在前面出现过的最小自然数,而 bk = ak + k,奇异局势有如下三条性质:

性质1: 任何自然数都包含在一个且仅有一个的奇异局势中
证:
因为ak 为未在前面出现过的最小自然数,那么ak > ak-1, 所以bk = ak + k > [ak-1 + (k - 1)] == bk-1
所以性质1成立

性质2: 任意操作都可以把奇异局势变为非奇异局势

若只修改(ak, bk)其中一个分量,则另一个分量不可能是另一个奇异局势的分量,必为非奇异局势
若把两个都减去同一个值,则两个分量的差值没有变,故必为非奇异局势

性质3: 进行适当的操作, 就可以将非奇异局势变为奇异局势

假设当前局势是(a, b)

If (a == b) 同时取走 a 个物品, 局势变为(0, 0)

If (a == ak && b > bk) 取走b - bk个物品, 局势变为(ak, bk)

If (a == ak && b < bk) 未完成

If (a > ak && b == ak + k) 取走a - ak个物品, 局势变为(ak, bk)

If(a < ak && b == ak + k) 未完成
If(a == aj (j < k)) 取走b - bj个物品, 局势变为(aj, bj)
If(a == bj (j < k)) 取走b - aj个物品, 局势变为(aj, bj)

故从上面的3个性质得到, 奇异局势可以变为非奇异局势, 非奇异局势可以变为奇异局势;
所以面对奇异局势, 先手必败, 反之必胜

判断奇异局势:
假如局势是(a, b), 有如下公式
     黄金分割数
       |
       |
ak = [k * (1 + √5) / 2] (方括号表示取整)
bk = ak + k
注:k 为 a 与 b 的差值
若满足上述条件, 则为奇异局势, 即先手必败


<3> 斐波那契博弈:
未完成


Nim:
证:
A1 ^ A2 ^ A3 ^… ^ AN = j

At ^ j < At && At ^ j < j

取石子使At => At ^ j

原式 = j ^ j = 0


阶梯Nim游戏:
有n个位置1…n, 每个位置上有ai个石子. 有两个人轮流操作。操作步骤是:
挑选1…n中任一一个存在石子的位置i, 将至少1个石子移动至i−1位置(也就是最
后所有石子都 堆在在0这个位置), 谁不能操作谁输。
求先手必胜还是必败。

只看奇数位的石子堆, 进行Nim游戏, 也就是计算奇数位石子数量的异或和若某个人想要破环造成
的Nim局势, 将偶数位的石子移到了奇数位, 那么另一个人就可以将移到i位置的石子移到i-1,
Nim局势仍然没变, 故只用看奇数位的Nim异或和即可了

后续点:是指按题目要求的走法可以一步达到的那一个点

原文地址:https://www.cnblogs.com/zbr162/p/11822694.html