【算法】简单博弈论

最新推荐文章于 2021-07-20 09:57:08 发布

bbqub

最新推荐文章于 2021-07-20 09:57:08 发布

阅读量576

点赞数

本文链接：https://blog.csdn.net/qq_39384461/article/details/81277735

版权

本文介绍了博弈论中的巴什博弈和尼姆博弈，详细分析了两种博弈的必败态和获胜策略。对于巴什博弈，阐述了不同情况下的胜负判断；在尼姆博弈中，探讨了如何通过异或运算判断游戏状态，并给出了先手获胜的Bouton定理。此外，还提供了游戏的扩展和实例解析。

摘要由CSDN通过智能技术生成

仅有一堆n个物品,两个人轮流取1~m个,最后取的人胜(不能取的人输)

总体可分几种情况

int Bash_Game(int n,int m)    //是否先手有必赢策略
{
    if(n==0) return 0;
    if(n%(m+1)!=0) return 1;
    return 0;
}

将一堆变为多堆;
即:
有3堆各若干个物品，两个人轮流从某一堆取任意多的物品，规定每次至少取1个，多者不限，最后取光者得胜。

本部分含其他博客内容

那我们用(a,b,c)表示某种局势，首先(0,0,0)显然是必败态，无论谁面对(0,0,0) ，都必然失败；第二种必败态是(0,n,n)，自己在某一堆拿走k（k ≤ n）个物品，不论k为多少，对方只要在另一堆拿走k个物品，最后自己都将面临(0,0,0)的局势，必败。仔细分析一下，(1,2,3)也是必败态，无论自己如何拿，接下来对手都可以把局势变为(0,n,n)的情形
那这种奇异局势有什么特点呢？
也不知谁这么牛逼，竟然能把这种局势和二进制联系在一起
这里说一种运算符号，异或’^’,a^b=a’b+ab’（a’为非a）
我们用符号XOR表示这种运算，这种运算和一般加法不同的一点是1 XOR 1 = 0。先看(1,2,3)的按位模2加的结果：
1 = 二进制01
2 = 二进制10
3 = 二进制11 XOR
———————
0 = 二进制00 (注意不进位)
对于奇异局势(0,n,n)也一样，结果也是0
任何奇异局势(a,b,c)都有a XOR b XOR c = 0
如果我们面对的是一个非必败态(a,b,c)，要如何变为必败态呢？
假设 a < b < c，我们只要将 c 变为a XOR b，即可。因为有如下的运算结果：
a XOR b XOR (a XOR b)=(a XOR a) XOR (b XOR b) = 0 XOR 0 = 0
要将c 变为a XOR b，只要对 c进行 c-(a XOR b)这样的运算即可

尼姆博弈模型可以推广到：有n堆若干个物品，两个人轮流从某一堆取任意多的物品，规定每次至少取一个，多者不限，最后取光者得胜。
这个游戏中的变量是堆数k和各堆的物品数N1，N2，……，Nk。
对应的组合问题是，确定先手获胜还是后手获胜以及两个游戏人应该如何取物品才能保证自己获胜
为了进一步理解Nim取物品游戏，我们看看特殊情况。
如果游戏开始时只有一堆物品，先手则通过取走所有的物品而获胜。现在设有2堆物品，且物品数量分别为N1和N2。游戏者取得胜利并不在于N1和N2的值具体是多少，而是取决于它们是否相等。

也就说两堆的策略我们有了，现在我们如何从两堆的取子策略扩展到任意堆数中呢？
首先回忆一下，每个正整数都有对应的一个二进制数，例如：57(10) = 111001(2) ，即：57(10)=25+24+23+20。于是，我们可以认为每一堆物品数由2的幂数的子堆组成。这样，含有57枚物品大堆就能看成是分别由数量为25、24、23、20的各个子堆组成
现在考虑各大堆大小分别为N1，N2，……Nk的一般的Nim博弈。将每一个数Ni表示为其二进制数（数的位数相等，不等时在前面补0）：
N1 = as…a1a0
N2 = bs…b1b0
……
Nk = ms…m1m0
如果每一种大小的子堆的个数都是偶数，我们就称Nim博弈是平衡的，而对应位相加是偶数的称为平衡

关注