<script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
# Nim Game - 尼姆博弈
--------
#### 问题
$$ A $$和$$ B $$两人轮流从$$ n $$堆物品中取出一些物品,$$ n $$堆物品的数量分别为$$ [ s_{1}, s_{2}, s_{3} \dots s_{n} ] $$(所有物品数量都是正整数)。
每人每次从一堆物品中至少取$$ 1 $$个,多则不限,最后取光所有物品的人获胜。
给定$$ n $$和$$ [ s_{1}, s_{2}, s_{3} \dots s_{n} ] $$,当我方先手,我方和对方都是高手(在能赢的情况下一定能赢),求我方是否能赢。
#### 解法
$$ (1) $$ 当我方面临$$ [0, 7, 0] $$局势(有$$ 1 $$堆物品)时,我方必赢,因为我方可以一次把剩下一组的物品取光;
$$ (2) $$ 当我方面临$$ [0, 1, 1, 0, 0] $$局势(有$$ 2 $$堆物品且均剩$$ 1 $$个)时,我方必输,因为我方必然留给对方只剩$$ 1 $$堆物品的局势;
$$ (3) $$ 当我方面临$$ [0, 1, 1, 1, 0] $$局势(有$$ 3 $$堆物品且均剩$$ 1 $$个)时,我方必赢,因为我方必然留给对方只剩$$ 2 $$堆物品且均剩$$ 1 $$个的局势;
$$ (4) $$ 当我方面临$$ [3, 4, 5] $$局势时,暂时无法看出我方是否必赢;
$$
\cdots
$$
本问题背后的数学模型叫$$ Nim Sum $$,堆数组大小的二进制和,上面$$ 5 $$个局势可以转化为:
$$
\begin{matrix}
s_{1} = 0_{10} = 000_{2} \\
s_{2} = 7_{10} = 111_{2} \\
s_{3} = 0_{10} = 000_{2} \\
nim_{1} = 0 \bigoplus 7 \bigoplus 0 = 1
\end{matrix}
$$
$$
\begin{matrix}
s_{1} = 0_{10} = 000_{2} \\
s_{2} = 1_{10} = 001_{2} \\
s_{3} = 1_{10} = 001_{2} \\
s_{4} = 0_{10} = 000_{2} \\
s_{5} = 0_{10} = 000_{2} \\
nim_{2} = 0 \bigoplus 1 \bigoplus 1 \bigoplus 0 \bigoplus 0 = 0
\end{matrix}
$$
$$
\begin{matrix}
s_{1} = 0_{10} = 000_{2} \\
s_{2} = 1_{10} = 001_{2} \\
s_{3} = 1_{10} = 001_{2} \\
s_{4} = 1_{10} = 001_{2} \\
s_{5} = 0_{10} = 000_{2} \\
nim_{3} = 0 \bigoplus 1 \bigoplus 1 \bigoplus 1 \bigoplus 0 = 1
\end{matrix}
$$
$$
\begin{matrix}
s_{1} = 3_{10} = 011_{2} \\
s_{2} = 4_{10} = 100_{2} \\
s_{3} = 5_{10} = 101_{2} \\
nim_{4} = 3 \bigoplus 4 \bigoplus 5 = 2
\end{matrix}
$$
可以看出,当我方面临$$ \bigoplus_{i=1}^{n} s_{i} = s_{1} \bigoplus s_{2} \bigoplus \cdots \bigoplus s_{n} \ne 0 $$局势时必赢,否则必输。
该算法时间复杂度为$$ O(n) $$。
--------
#### Nim Sum
* http://www.math.ucla.edu/~radko/circles/lib/data/Handout-141-156.pdf
* https://plus.maths.org/content/play-win-nim
* http://samidavies.com/post/2016/03/09/games-intro.html
* https://paradise.caltech.edu/ist4/lectures/Bouton1901.pdf
* https://pdfs.semanticscholar.org/8ac7/c5d8d56847daafa73ad85ae2ad6f47149096.pdf
* https://www.researchgate.net/publication/220343088_The_game_of_End-Nim
--------
#### 源码
[NimGame.h](https://github.com/linrongbin16/Way-to-Algorithm/blob/master/src/GameTheory/NimGame.h)
[NimGame.cpp](https://github.com/linrongbin16/Way-to-Algorithm/blob/master/src/GameTheory/NimGame.cpp)
#### 测试
[NimGameTest.cpp](https://github.com/linrongbin16/Way-to-Algorithm/blob/master/src/GameTheory/NimGameTest.cpp)
- Content 目录
- Preface 前言
- Chapter-1 Sort 第1章 排序
- InsertSort 插入排序
- BubbleSort 冒泡排序
- QuickSort 快速排序
- MergeSort 归并排序
- Chapter-2 Search 第2章 搜索
- BinarySearch 二分查找法(折半查找法)
- BruteForce 暴力枚举
- Recursion 递归
- BreadthFirstSearch 广度优先搜索
- BidirectionalBreadthSearch 双向广度搜索
- AStarSearch A*搜索
- DancingLink 舞蹈链
- Chapter-3 DataStructure 第3章 数据结构
- DisjointSet 并查集
- PrefixTree(TrieTree) 前缀树
- LeftistTree(LeftistHeap) 左偏树(左偏堆)
- SegmentTree 线段树
- FenwickTree(BinaryIndexedTree) 树状数组
- BinarySearchTree 二叉查找树
- AVLTree AVL平衡树
- RedBlackTree 红黑树
- Chapter-4 DynamicProgramming 第4章 动态规划
- Chapter-5 GraphTheory 第5章 图论
- Chapter-6 Calculation 第6章 计算
- LargeNumber 大数字
- Exponentiation 求幂运算
- Chapter-7 CombinatorialMathematics 第7章 组合数学
- FullPermutation 全排列
- UniqueFullPermutation 唯一的全排列
- Combination 组合
- DuplicableCombination (元素)可重复的组合
- Subset 子集
- UniqueSubset 唯一的子集
- Permutation 排列
- PermutationGroup 置换群
- Catalan 卡特兰数
- Chapter-8 NumberTheory 第8章 数论
- Sieve 筛选算法
- Euclid 欧几里得
- EuclidExtension 欧几里得扩展
- ModularLinearEquation 模线性方程
- ChineseRemainerTheorem 中国剩余定理
- ModularExponentiation 模幂运算
- Chapter-9 LinearAlgebra 第9章 线性代数
- Chapter-10 AnalyticGeometry 第10章 解析几何
- Chapter-11 TextMatch 第11章 文本匹配
- SimpleMatch 简单匹配
- AhoCorasickAutomata AC自动机
- KnuthMorrisPratt KMP匹配算法
- RabinKarp RabinKarp算法
- BoyerMoore BoyerMoore算法
- Chapter-12 GameTheory 第12章 博弈论
- BashGame 巴什博弈
- WythoffGame 威佐夫博弈
- NimGame 尼姆博弈