【博弈论】Nim游戏

【博弈论】Nim游戏

提到博弈论，比较经典的就是Nim游戏。

Nim游戏的大致内容就是：给了好几堆石子，两个人，每个人轮流从某一堆中拿取任意数量的石子，最先取完石子的那一方即可获胜，注意：两个人都用的是最优的取法。

假设我们先手，如图，不难想到这样的一种石子的布局是对我们不利的，这是一种特殊的情况，因为我们无论从某一堆，拿几堆，对方也能模仿我们一样的拿法，比如我们从第一堆里面拿两个石子，对方也能拿两个石子，我们如果第一堆里面拿1个石子，对方也能拿一个石子，这样无论如何都是，对方最后拿完最后一个石子。这种情况不言而喻是必败的。

我们把这三堆石子的数量转化为二进制数进行研究：
如图

下面就需要一些位运算的相关知识了，如果了解此部分知识的话可以跳过此部分。

我们需要先了解位运算的异或运算：^

它的作用是：如果两个数进行异或运算，也就是假设a^b，异或运算的过程是比较a和b这两个数的二进制位的每一位是否相同，如果相同异或运算就为0.反之则为1。
如图：

此时我们可以延伸，如果一个数去异或0，不妨去算一下，最后的结果为这个数本身，也就是n^0 = n
还有一个结论就是 n^n = 0。

此外利用刚才的结论可以扩展一个技巧：我们可以利用异或运算交换两个变量的值

先放出代码：

		int a = 8;
        int b = 6;
        a ^= b;
        b ^= a;
        a ^= b;
        System.out.println("a = "+a);
        System.out.println("b = "+b);

结果为：

如果是C++的话，我们可以写一个自己定义的交换函数：

void bitwise_swap(int& a,int& b){
    a ^= b;
    b ^= a;
    a ^= b;
}

现在回到Nim游戏中，我们不妨把刚才的那个必败的一局的两堆石子进行异或运算，情况可能比较特殊，因为两堆相同，最后异或的值肯定是0。

此时我们反过来进行思考，分析一下获胜的情况：

如图，下面是一个很明显的必胜的一种石子布局

我们可以列举很多种这样的情况，都说明了最后异或的值不为0的时候，我们可以必胜。

那么为什么会这样呢？

因为先手总是如果处于一个必胜的局面的话，那么这几堆石子，在先手拿完之后，剩下的异或后为0，为0说明什么，说明后手无论怎么拿，先手因为拿过一次，总能跟着后手拿一样的，最后后手就拿完之前，先手总能拿完，只有那种开局先手无论怎么拿，剩下的异或后都不为0的情况，像[2,2]这种情况。

现在我们就可以根据这个结论编写代码了。

代码如下：

private static boolean NimTheory(int[] stones) {
        int sum = 0;
        for (int stone : stones) {
            sum ^= stone;
        }
        return sum != 0;
}

最后，我们最好多生成几组数据进行验证一下,注意抽查其中几种进行分析验证

代码如下：

import java.util.Arrays;
import java.util.Random;

public class NimGame {

    public static void main(String[] args) {
        int cnt = 100;
        while (cnt-- >= 0){
            int[] stones = generateRandomArray();
            System.out.println((Arrays.toString(stones) +" : ") + (NimTheory(stones) ? "获胜" : "失败"));
        }

        System.out.println(NimTheory(new int[]{1,2}));

    }

    private static boolean NimTheory(int[] stones) {
        int sum = 0;
        for (int stone : stones) {
            sum ^= stone;
        }
        return sum != 0;
    }

    public static int[] generateRandomArray() {
        Random r = new Random();
        int[] arr = new int[3];
        for (int i = 0; i < arr.length; i++) {
            arr[i] = r.nextInt(3)+1;
        }
        return arr;
    }

}

运行结果（一部分）：

当然，博弈论还有很多种，这里只挑其中的一种进行分析。其他的以后可以慢慢研究。