博弈论--Bash--Wythoff--Nim

1.巴什博弈(Bash Game)

两人同时从一堆东西，共m个，开始取，每次最少取1个，最多k个。

A先手。

如果m%(k + 1) == 0，则必定B先取完。否则必定A先取完。

2.威佐夫博奕（Wythoff Game）

两人同时从2堆东西，(a,b),开始取。

op1：从一堆东西取，最少1个，最多取完。

op2：同时从2堆东西取出k个。

先取完为胜。

设局势(Ak,Bk)  Ak <= Bk

奇异局势：当面对奇异局势时，必输。

e.g..(0,0)(1,2)(3,5)(4,7)(6,10)(8,13)(9,15) ...

由此可知 Bk = Ak + k，k指第k个奇异局势。

性质1:每个自然数仅在某个局势中出现，不重复，不遗漏。

性质2:任意操作都可将奇异局势转化为非奇异局势。

证：因为某个奇异局势Bk与Ak的差固定为k，若减少其中一个，他们的差改变为t。另一个数，不变，但不可能出现在另一个奇异局势中，如第t个奇异局势。

性质3:通过某种操作可使非奇异局势转变为奇异局势。

分情况讨论：

A = B,同时拿走A。

A = Ak,B > Bk.从B拿走B - Bk。

A = Ak,B < Bk,设B = At + t,(Ak,At + t) -> (At,At + t),同时拿走Ak - At个。且t = B - Ak.

A > Ak,B = Ak + k,从A拿走A - Ak。

A < Ak,B = Ak + k,若A = At,从B拿走Ak + k - At - t，(A,Ak + k) ->(At,At + t)。

若A = Bt,从B拿走Ak + k - At = Ak + k - (Bt - t),(A,Ak + k) -> (Bt,At) =(At,Bt)

性质4:若为奇异局势，则Ak = k *(√5 + 1)/2,Bk = Ak + k。

局势(a,b),j =[a *  (√5 - 1)/2]，若a = j * (√5 + 1)/2,则a = Aj,b = Aj + j，为奇异局势。否则，j += 1,再看是否a = j * (√5 + 1)/2。

若仍不等于，则不是奇异局势。

所以当面对非奇异局势时，只要采取正确策略，先取者必胜。

3.尼姆博奕（Nimm Game)

两人同时从3堆东西开始取，(a,b,c)，每次只能从一堆中取，至少取1个，最多取完。

取完者为胜。

局势(a,b,c),设a < b < c

奇异局势有(0,0,0),(0,n,n),(1,2,3)...

总结可知，当a ^ b ^ c = 0时，为奇异局势。

性质1:非奇异局势可通过一步操作变为奇异局势。

x = a ^ b,若x < c，则从c中取出(c - x)个即可。

推广：

2人同时从若干堆开始取，每次只能从一堆中取，至少取1个，最多取完。(A1,A2...An)

***********先取完为胜***************

设利他态T，为A1 ^ A2 ^ ... ^ An = 0，否则为利己态S。

 当从利己态S到利他态T时，取胜。

定理1：对于任意利己态S，总能通过一步操作转变为利他态T。

证：c = A1 ^ A2 ^ ... ^ An > 0,则最高位一定有奇数个1，取一个At, x = At ^ c, 则x最高位有偶数个1，异或后x < At.

若从At中取出At - x,变成x，则剩下的 A1 ^ A2 ^ ... ^ x ^ ... ^ An

= A1 ^ A2 ^ ... ^ At ^ c ^ ... ^An

  = A1 ^ A2 ^ ... ^ At ^(A1 ^ ... ^ An) ^... ^An

= 0

可以变成奇异局势。

定理2：对于任意利他态T，不论如何操作，一定转化为利己态S。

c = (a) ^ (a) = 0，改变一个，另一个不变，c =(a) ^(b) >  0。

结论：若先手面对利己态S，必胜，否则必输。

***********先取完为负***************

孤单堆：一堆仅有一个物品。

充裕堆：有至少2个物品的堆。

定理1：S0态，即孤单堆个数为奇数时，必输。

(S0,指处于利己态S，且充裕堆个数为0)

异或不为0，则有奇数根，面临S0态的人会取走最后一根。

S0态必败。T0态必胜。

定理2：S1态，可以通过策略，必胜。

若此时，孤单堆个数为奇数，则将充裕堆取完，否则，将充裕堆取得只剩1根。使对方面临奇数个孤单堆，即T0，对方必败，自己必胜。

定理3：S2态可转变为T2态

定理4：T2态一定转变为S2或S1.

定理5：S2态，可以通过策略，必胜。

将S2转化为T2，对方只能转变为->S1,必胜，->S2,循环，直至S1.

结论：先手面对T0，S1，S2态，必胜，否则必输。

原帖：http://www.wutianqi.com/?p=1081