平等组合游戏Gametheory初步.docVIP

Game theory初步 HYPERLINK javascript:Copy code游戏1l ? ?有两个游戏者：A和B。l ? ?有21颗石子。l ? ?两人轮流取走石子，每次可取1、2或3颗。l ? ?A先取。l ? ?取走最后一颗石子的人获胜，即没有石子可取的人算输。如果剩下1、2或3颗石子，那么接下来取的人就能获胜；如果剩下4颗，那么无论接下来的人怎么取，都会出现前面这种情况，所以接下来取的人一定会输；如果剩下5、6或7颗石子，那么接下来取的人只要使得剩下4颗石子，他就能获胜。0，4，8，12，……都是下一个取石子者的必败状态。现在有21颗石子，21除以4的余数是1，所以先走者有必胜的策略，他第一次只要取走1颗石子，以后每一次都保证剩下的石子是4的倍数就行了。什么是“平等组合游戏”？l ? ?两人游戏。l ? ?有一个状态集，而且通常是有限的。l ? ?规定哪些状态转移是允许的。l ? ?所有规定对于两人来说是一样的。l ? ?两人轮流走步。l ? ?有一个终止状态，到达终止状态后游戏即告终止。l ? ?游戏可以在有限步内终止。P状态和N状态就像第一个游戏一样，状态0，4，8，……是刚才走步的人的必胜状态，我们称之为P状态；而1，2，3，5，6，7，……都是下一个走步的人的必胜状态，我们称之为N状态。我们可以从终止状态出发，推出每一个状态，指出它是P状态还是N状态。就拿第一个游戏举例：步骤一 将所有终止状态设为P状态。步骤二 将所有一步之内可以到达一个P状态的状态设为N状态。步骤三 如果一个状态，不管怎么走都只能走到N状态，那么就将这个状态设为P状态。步骤四 返回步骤二。如果能够走到P状态，就能获胜。因为安照上面的定义，对手不管如何选择，只可能走到N状态。接下来总存在一个P状态你可以走到。这样一直走到终止状态，你获胜。当然这里所说得都是指对于最后走步的人获胜的游戏。我们严格的来定义P状态和N状态l ? ?所有的终止状态都是P状态；l ? ?对于任何的N状态，肯定存在一种方式可以一步转到一个P状态；l ? ?对于任何的P状态，不管怎么走步，都只能转到N状态。而对于最后走步的人失败的游戏，只要将所有终止状态改成N状态，然后开始倒推就可以了。当然，必胜状态是N状态。也就是说，如果想胜利，就希望面对N状态，转移到P状态。现在对游戏1略微扩展一下。有一个决策集S，S中的元素是正整数。游戏的规则大致与游戏1一样，只是现在每次可以取的石子数必须是S中的元素。如果S={1，2，3}，那么就是游戏1。大家分析一下，当S={1，3，4}的时候，哪些状态是P状态，哪些是N状态。我们发现P状态是{0，2，7，9，14，16，……}，N状态是{1，3，4，5，6，8，10，……}。规律是如果n除以7的余数是0或2，那么状态n就是P状态，否则就是N状态。如果游戏开始时，石子总数是100，那么这是一个P状态，也就是说后走的人有必胜策略。游戏2 Nim游戏有三堆石子，分别含有x1，x2和x3颗石子。两人轮流取石子，每次可以选择一堆，从这堆里取走任意多颗石子，但不能不取。取走最后一颗石子的人获胜。我们用三元组来表示状态，很明显(0, 0, 0)是唯一的终止状态，是P状态。先考虑只剩一堆有石子的情况(0, 0, x)，很明显这是，这些状态都是N状态。剩两堆的情况，如果两堆的石子数相等(0, x, x)，那么这些都是P状态。因为下一次走步的人一定会使得两堆石子不相等，再下一次可以使得两堆的石子数回到相等的状态，包括终止状态。如果两堆的石子数不相等，那么就是N状态。三堆都非空的情况就复杂得多。我们可以得到(1, 1, 1)、(1, 1, 2)、(1, 1, 3)和(1, 2, 2)都是N状态，因为它们可以转变成(0, 1, 1)或(0, 2, 2)，它们都是P状态。(1, 2, 3)是P状态，因为不管怎么选择，下一次一定变到N状态。“Nim和”就是两个数二进制表示的不进位加法，也就是两个整数进行xor位运算。定义：两个数(xm…x0)2和(ym…y0)2，是(zm…z0)2，其中zi=(xi+yi) mod 2，0=i=m。例如，22和51的Nim和是37：整数关于Nim和（以后用“+”表示）满足交换律和结合律。有单位元0，因为0+x=x。任何两个相等的数之和是0，即x+x=0。有削去律，即如果x+y=x+z，那么y=z。因为，如果x+y=x+z，两边都加上x，得到x+x+y=x+x+z，即y=z。定理1：Nim游戏的一个状态(x1, x2, x3) 是P状态，当且仅当x1+x2+x3=0。考虑状态(13, 12, 8)。Nim和是9，不等