尼姆博弈策略的完整数学证明
首先来解释一下,为什么要写这篇博客。其实,优快云上已经能够搜索到很多Nim博弈的论述。大部分文章关注点都只是定义和方法,偶有附带代码的。下面这个链接包含了关键数学环节,但是整篇的论述逻辑层次并不清晰,给出了过多的定理。
https://blog.youkuaiyun.com/shuangde800/article/details/7443566
本文的目的则是给出简洁有效的Nim博弈的结论证明。
1.概述
1.1 尼姆博弈定义
有N堆物品,每堆数量已知。甲乙双方轮流取物,甲先取。每次只能从其中某一堆取物件,至少取一个,取走最后一个物品的是胜利者。请问甲或者乙是否存在必胜策略。
1.2 基本结论
设N堆物品的数量分别为a 1, a 2,…a N,定义 SG ({a 1, a 2,…a N})=a 1 XOR a 2 XOR … XOR a N,其中XOR 表示二进制按位异或。如果SG=0,则定义当前状态为N-Position,反之,如果SG≠0,则定义当前状态为P-Position。特别的,当a i全为0,按照定义为N态,此时取物品的玩家没有物品可取,则认为最后一个物品被上一个玩家取走&