随笔5 威佐夫博弈和贝亚蒂定理 结论记录

博弈论之威佐夫博弈
威佐夫博弈（Wythoff game）：
有两堆各若干个物品，两个人轮流从任一堆取至少一个或同时从两堆中取同样多的物品，规定每次至少取一个，多者不限，最后取光者得胜。
结论：
如果两个人都采用正确操作，那么面对非奇异局势，先拿者必胜；反之，则后拿者取胜。
那么任给一个局势(a，b)，怎样判断它是不是奇异局势呢？我们有如下公式：
a(k) = [k*(1+√5)/2]，b(k) = a(k) + k （其中k=0,1,2…n表示下标 ，[ ]括号框住部分表示取整)
对于给出的局势(a,b)，首先通过 b(k)-a(k) 得到k值，即k=b-a。然后通过公式[k*(1+√5)/2]（[ ]括号表示取整）得到新的a’，若a’==a则表示该局势是奇异局势，否则不是。

贝亚蒂定理：