课件组合数学——组合游戏.pptVIP

组合数学（一） 李子星 内容提要 组合游戏 巴什博弈 威佐夫博弈 尼姆博弈 有向图游戏与有向图游戏的和与SG函数 反尼姆博弈与反组合游戏 继续探讨ICG的和 组合游戏 组合游戏（Combinatorial Games），又称为“Impartial Combinatorial Games”（以下简称ICG）。 满足以下条件的游戏是ICG： （1）有两人参与游戏，轮流做出决策，两人都最理 性得追求胜利 （2）两名选手交替做出决策，无法做出决策的人失 败，然后游戏结束。 （3）游戏总能在有限次决策后结束 （4）游戏的同一个状态不会多次抵达 （5）任意一个游戏者在某一确定状态可以作出的决 策集合只与当前的状态有关，而与游戏者无关 组合游戏 定义“先手必败”状态（必败态），和“先手必胜”状态（必胜态）： （1）无法进行任何移动的局面是必败态； （2）可以移动到必败态的局面是必胜态； （3）所有移动都导致必胜态的局面是必败态。 按照这个定义，如果局面不可能重现，那么每个状态或者是必胜态或者是必败态，而且可以通过定义计算出来。 巴什博弈 【问题一】 有一堆n个物品，两个人轮流从这堆物品中取物，规定每次至少取一个，最多取m个。取走最后一个物品的人获得胜利。问先手是否必胜。 巴什博弈 这显然是一个组合游戏问题 对于一个状态，可以用当前的物品数x来唯一描述。 容易知道，对于一个状态x，如果x%(m+1)=0，那么这个状态肯定是必败态，否则是必胜态。 巴什博弈 设当前状态是x： 如果x=0，那么显然这是一个必败态 如果x%(m+1)0，即0x%(m+1)=m，那么取走x%(m+1)件物品后得到的状态就是一个模m+1等于0的状态 如果x%(m+1)=0，那么不管怎么取，都一定是移动到一个模m+1不等于0的状态 这三条分别对应了必败必胜态定义的三条 所以状态x是必败态当且仅当若x%(m+1)=0 威佐夫博弈 【问题二】 有两堆各若干个物品，两个人轮流从某一堆或同时从两堆中取同样多的物品，规定每次至少取一个，多者不限，取走最后一颗石子的人获得胜利。问先手是否必胜。 威佐夫博弈 从性质入手： 令必败二元组为(a, b)形式（a=b），并由必胜必败态性质，有这样两个推论： 推论一：对于任意两个的必败二元组(a1,b1)和(a2,b2)，有a1a2,b1b2,a1b2,a2b1。 推论二：对于任意两个的必败二元组(a1,b1)，(a2,b2)，有b1-a1b2-a2。即，所有必败二元组的两元之差的绝对值必定各不相同。 威佐夫博弈 利用性质和推论，可以证明如下结论： 将必败二元组按首元为关键字排序，每个必败二元组中首元为未在前面的必败二元组中出现的最小正整数，并且第N组中两个数差为N。 威佐夫博弈 可以利用数学归纳法证明： 前两组为(0, 0)和(1, 2)，显然符合前述的结论 若第0组到第N组都与前述的结论相符，则： 设未在第0到第N组中出现的最小正整数为M，考察二元组(M,M+N+1) 如果选择从数量为M的堆中取石子，不妨设变成了(M-X,M+N+1)，而(M+N+1)-(M-X)=N+1+XN，且M-X一定与之前的某个必败二元组中一元相等，这样就有一个包含M-X，且不与之前任何一组必败二元组相同的二元组，根据推论一，(M-X,M+N+1)这个二元组一定不是必败二元组 如果选择从数量为M+N+1的堆中取石子，不妨设变成了(M,K) 若K=M，由于M与之前的任何一个必败二元组中都未出现，且N+1K-M=0，根据推论二，(M, K)这个二元组一定不是必败二元组 若KM，由推论一可知(M, K)也不是必败二元组 如果同时从两堆各取走X颗石子，则变成了(M-X,M+N+1-X)，由于M-XM而(M+N+1-X)-(M-X)=N+1N，根据推论一，(M-X,M+N+1-X)这个二元组一定不是必败二元组 即(M, M+N+1)能够扩展到的状态都不是必败态，所以它就是一个必败态 又根据排序的规则，(M,M+N+1)一定是必败二元组序列的第N+1项 所以第0到第N+1组必败二元组也与前述的结论相符 威佐夫博弈 由此，所有的必败态都完美的找到了： (0,0) (1,2) (3,5) (4,7) (6,10) (8,13)...... 作为经典问题，它还有更强的结论： 第n个必败态一定是： ([n*(1+√5)/2], [n*(1+√5)/2]+n) 其中“[ ]”是取下整。 所以判断一个状态(a,b)（a=b）是不是必败态只需要判断a是否等于[(b-a)*(1+√5)/2]。 尼姆博弈 【问题三】 有若干堆石子，两个人轮流从中取石子。每堆石子的数量都是有限的，合法的取石子操作是“选择一堆石子并拿走若干颗（不能不拿）”。拿走最后一颗石子的人获得胜利。问先手是