博弈论
理论铺垫:
定义P-position和N-position:其中P代表Previous,N代表Next。直观的说,上一次move的人有必胜策略的局面是P-position,即P-position代表先手必输,N-position代表先手必赢。
1.公平组合博弈(ICG)
定义:
1.两个人轮流参与; 2.游戏局面有限; 3.同一个局面两个人操作完全相同; 4.无法进行操作的人输; 5.在有限步内结束。
模型:给定一个有向无环图和一个起始顶点上的一枚棋子,两名选手交替的将这枚棋子沿有向边进行移动,无法移动者判负。
解题思路:SG函数(Sprague-Grudy)
SG定理:
1:给定一个有限子集 S ? N,令mex S为没有出现在S中的最小自然数。例:mex{0,1,2,4}=3、mex{2,3,5}=0、mex{}=0。
2:对于一个给定的有向无环图,定义关于图的每个顶点的Sprague-Garundy函数g如下:sg(x)=mex{ sg(y) | y是x的后继 }。即y可以一步操作到x;
SG函数性质:
1:SG值为0必败态, 否则为必胜态
2:对于一个sg(x)=0的顶点x,它的所有后继y都满足g(y)!=0。同理,对于一个sg(x)!=0的顶点,必定存在一个后继y满足g(y)=0。
例:有三堆石子,第一堆石子的可以取1、2、3个石子,则:sg[