【博弈论】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;
}
}
运行结果(一部分):
当然,博弈论还有很多种,这里只挑其中的一种进行分析。其他的以后可以慢慢研究。