python 博弈论_博弈论(示例代码)

博弈论

N:必胜局面

P:必败局面

巴什博奕

一堆物品有n个，两个人轮流拿，每次至少拿1个，至多拿k个。

则n%(k+1)==0时先手必败其他情况下先手必胜

尼姆博奕

n堆物品，第i堆数量为a[i]，两人轮流从某一堆里曲任意多的物品

记k=a[1]^a[2]^...^a[n]

若k==0则先手必败

否则先手必胜

SG函数

以下内容全摘自PPT

公平组合游戏

若一个游戏满足条件：

由对阵双方交替行动

游戏进程的任意时刻，可以执行的合法行动与轮到哪个玩家无关

不能行动的玩家判负。

则称这样的游戏为公平组合游戏。

显然，巴什博弈、尼姆博弈都是公平组合游戏，而常见的棋类游戏就不是公平组合游戏，尤其是五子棋(先手有必胜态，不知道吧？)

以上摘自PPT

有向图游戏

给定一个DAG图(有向无环)，图中有唯一的起点，在起点处放一个棋子，两名玩家交替沿着边的方向移动棋子，每次只能移动一步，无法移动着判负。这样的游戏叫做“有向图游戏”。

显然，任何的公平组合游戏都可以转化为有向图游戏：我们把每个局面看作节点，当一个局面通过合法行动变成另一个局面时，给这两个局面节点连一条有向边。就像我们画状态转移图一样。

摘自PPT

Mex运算

设S表示一个非负整数集合，定义Mex(S)表示求一个不属于S的最小非负整数的运算&