博弈_博弈 cdsn-CSDN博客

本文链接：https://blog.csdn.net/qie_wei/article/details/88015423

一、巴什博弈（Bash Game）

只有一堆n个物品，两个人从轮流中取出（1~m）个；最后取光者胜。

思路：考虑到若n=m+1 那么第一个人不论如何取都不能取胜。

进一步我们发现若 n=k*(m+1)+r; 先取者拿走 r 个，那么后者再拿（1~m）个

n=（k-1）*（m+1）+s；先取者再拿走s 个最后总能造成剩下n=m+1 的局面。

因此，此时先手有必赢策略。

相对应的，若n=k*(m+1) 那么先取者必输。

int Bash_Game(int n,int m)//是否先手有必赢策略
{
    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)的情形

那这些奇异局势（必败态）有什么特点呢？

我们要用到位运算当中的异或（XOR）

对于奇异局势(1,2,3)：1 XOR 2 XOR 3 = 0;
对于奇异局势(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)这样的运算即可。

int Nimm_Game(int n)//假设n个数存在数组f[]中,有必胜策略返回1
{
    int flag=0;
    for(int i=1; i<=n; i++)
        flag^=f[i];
    if(flag) return 1;
    return 0;
}

1.尼姆博弈模型可以推广到：有n堆若干个物品，两个人轮流从某一堆取任意多的物品，规定每次至少取一个，多者不限，最后取光者得胜。

这个游戏中的变量是堆数k和各堆的物品数N1，N2，……，Nk。

对应的组合问题是，确定先手获胜还是后手获胜以及两个游戏人应该如何取物品才能保证自己获胜

2.为了进一步理解Nim取物品游戏，我们看看特殊情况。

如果游戏开始时只有一堆物品，先手则通过取走所有的物品而获胜。现在设有2堆物品，且物品数量分别为N1和N2。游戏者取得胜利并不在于N1和N2的值具体是多少，而是取决于它们是否相等。

也就说两堆的策略我们有了，现在我们如何从两堆的取子策略扩展到任意堆数中呢？

首先回忆一下，每个正整数都有对应的一个二进制数，例如：57(10) = 111001(2) ，即：57(10)=2^5+2^4+2^3+2^0。于是，我们可以认为每一堆物品数由2的幂数的子堆组成。这样，含有57枚物品大堆就能看成是分别由数量为2^5、2^4、2^3、2^0的各个子堆组成, 现在考虑各大堆大小分别为N1，N2，……Nk的一般的Nim博弈。将每一个数Ni表示为其二进制数（数的位数相等，不等时在前面补0）：

N1 (2#)= as…a1a0

N2 (2#)= bs…b1b0

……

Nk (2#)= ms…m1m0

如果每一种大小的子堆的个数都是偶数，我们就称Nim博弈是平衡的，而对应位相加是偶数的称为平衡位，否则称为非平衡位。因此，Nim博弈是平衡的，当且仅当：

as +bs + … + ms 是偶数，即as XOR bs XOR … XOR ms = 0

……

a1 +b1 + … + m1 是偶数，即a1 XOR b1 XOR … XOR m1 = 0

a0 +b0 + … + m0是偶数，即a0 XOR b0 XOR … XOR m0 = 0

于是，我们就能得出尼姆博弈中先手获胜策略：

Bouton定理：先手能够在非平衡尼姆博弈中取胜，而后手能够在平衡的尼姆博弈中取胜。

三、威佐夫博弈（Wythoff's game）

有两堆各若干个物品，两个人轮流从任意一堆中取出至少一个或者同时从两堆中取出同样多的物品，规定每次至少取一个，至多不限，最后取光者胜利。

结论：假设两堆石子为(x,y)（其中x<y）

那么先手必败，当且仅当

$(int)[(y-x)*\frac{(\sqrt{5}+1)}2] = x$

其中的( $\sqrt{5}$ +1) / 2实际就是1.618，黄金分割数！

#include<cstdio>
#include<algorithm>
#include<cmath>
#define int long long 
using namespace std;
main()
{
    int a,b;
    scanf("%lld%lld",&a,&b);
    if(a>b) swap(a,b);
    int temp=abs(a-b);
    int ans=temp*(1.0+sqrt(5.0))/2.0;
    if(ans==a) printf("0");
    else       printf("1");
    return 0;
}

证明：

我们用(a[k]，b[k]) (a[k] ≤ b[k] ,k=0，1，2，......n)来表示两堆物品的数量，并且称这个为局势。

首先我们来从最简单的情况开始分析：

1.如果现在的局势是(0，0)，很明显此时已经没有办法再取了，所以肯定是之前的人在上一局中取完了。

2.假设现在的局势是(1，2)，那么先手只有四种取法。

（1）如果先手取走“1”中的1个，那么后手就从“2”中取出2个，此时取完，所以后手胜利。

（2）如果先手取走“2”中的2个，那么后手取走“1”中的1个，此时取完，后手胜利。

（3）如果先手取走“2”中的1个，那么后手就在两堆中各取走1个，此时取完，后手胜利。

（4）如果先手在“1”和“2”各取走了1个，那么后手取走“2”中的1个，此时取完，后手胜利。

由此可得，先手必输。

3.假设现在的局势是（3，5），首先根据上面分析的经验，我们知道先手肯定不能把任意一堆物品取完，这是因为每次可以从任意一堆取走任意个物品，那么后手就可以直接把另一堆取完，所以后手获胜。

所以我们这里就不分析那些情况，来分析其他的情况。