简单的博弈论（1）

公平组合游戏ICG

若一个游戏满足：

• 由两名玩家交替行动；
• 在游戏进程的任意时刻，可以执行的合法行动与轮到哪名玩家无关；
• 不能行动的玩家判负；

则称该游戏为一个公平组合游戏。
NIM博弈属于公平组合游戏，但城建的棋类游戏，比如围棋，就不是公平组合游戏。因为围棋交战双方分别只能落黑子和白子，胜负判定也比较复杂，不满足条件2和条件3。

有向图游戏

任何一个游戏可以看作一个图（或者状态机），每次操作都是沿着图（状态机）的边移动。

给定一个有向无环图，图中有一个唯一的起点，在起点上放有一枚棋子。两名玩家交替地把这枚棋子沿有向边进行移动，每次可以移动一步，无法移动者判负。该游戏被称为有向图游戏。
任何一个公平组合游戏都可以转化为有向图游戏。具体方法是，把每个局面看成图中的一个节点，并且从每个局面向沿着合法行动能够到达的下一个局面连有向边。

必胜态与必败态

必胜和必败定义为当前情况下当前玩家执行最明智的操作是否必胜或必败。
（因为当前玩家对于当前局面有先手优势，可以在有向图中选择有利于自己的路径）
一个状态是必败态要求它可以转移到的每一个状态都是必胜态
一个状态是必胜态那么必然存在一个它可以转移到的必败态

巴什博奕

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

如果 n%(m+1)==0 先手必败

威佐夫博弈

有两堆各若干的物品，两人轮流从其中一堆取至少一件物品，至多不限，或从两堆中同时取相同件物品，规定最后取完者胜利。

看两个数的差值t是不是满足 (sqrt(5)+1)/2*t==min(n1,n2);

NIM游戏

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

我们把这种游戏称为NIM博弈。把游戏过程中面临的状态称为局面。整局游戏第一个行动的称为先手，第二个行动的称为后手。若在某一局面下无论采取何种行动，都会输掉游戏，则称该局面必败。
所谓采取最优策略是指，若在某一局面下存在某种行动，使得行动后对面面临必败局面，则优先采取该行动。同时，这样的局面被称为必胜。我们讨论的博弈问题一般都只考虑理想情况，即两人均无失误，都采取最优策略行动时游戏的结果。
NIM博弈不存在平局，只有先手必胜和先手必败两种情况。

• 定理： NIM博弈先手必胜，当且仅当 A1 ^ A2 ^ … ^ An != 0

k-NIM游戏

有n堆石子，每次可从k堆石子中一堆走任意数量的石子。两个人轮流拿，谁不能拿谁输。
先手必胜条件：把n堆石子的石子数用二进制表示，统计每一个二进制位上1的个数。若每一位上1的个数mod(k+1)全为0，则先手必败，否则先手必胜。

斐波那契博弈

有一堆物品，两人轮流取物品，先手最少取一个，至多无上限，但不能把物品取完，之后每次取的物品数不能超过上一次取的物品数的二倍且至少为一件，取走最后一件物品的人获胜。

先手胜当且仅当n不是斐波那契数（n为物品总数）

Mex运算

设S表示一个非负整数集合。定义mex(S)为求出不属于集合S的最小非负整数的运算，即：

• mex(S) = min{x}, x属于自然数，且x不属于S

SG函数

在有向图游戏中，对于每个节点x，设从x出发共有k条有向边，分别到达节点y1, y2, …, yk，定义SG(x)为x的后继节点y1, y2, …, yk 的SG函数值构成的集合再执行mex(S)运算的结果，即：
SG(x) = mex({SG(y1), SG(y2), …, SG(yk)})
特别地，整个有向图游戏G的SG函数值被定义为有向图游戏起点s的SG函数值，即SG(G) = SG(s)。

任何非0局面时可以走到0的，任何0的局面时走不到除了自己以外的0的
SG=0必败，SG!=0必胜
有向图游戏的和
设G1, G2, …, Gm 是m个有向图游戏。定义有向图游戏G，它的行动规则是任选某个有向图游戏Gi，并在Gi上行动一步。G被称为有向图游戏G1, G2, …, Gm的和。
有向图游戏的和的SG函数值等于它包含的各个子游戏SG函数值的异或和，即：SG(G) = SG(G1) ^ SG(G2) ^ … ^ SG(Gm)