什么是尼姆数

尼姆数的特点

什么是尼姆数

组合博弈论引入了一类数学对象，称为尼姆数，它们被定义为尼姆游戏尼姆堆的值。但是由于斯普莱格–格隆第定理，它们可以用于一大类游戏的研究。事实上，尼姆数是在序数的真类上赋予尼姆加法和尼姆乘法的运算之后形成的概念。这些运算和通常施行于序数类上的加法和乘法并不相同。

尼姆数的特点

斯普莱格–格隆第定理指出：每个无偏博弈等价于一个特定大小的尼姆堆。尼姆数的加法运算（叫做尼姆加法）可以用于计算等价于多个堆的单一尼姆堆大小。

对于序数的集合S，mex(S)定义为“局外最小序数”，也就是说序数中不是S的元素的最小一个。对于有限序数，尼姆和可以简单地通过将相加的各个数字的二进制表示逐位进行不进位的加法而得到（例如，100010+110010=10000）。

尼姆数的乘法运算（尼姆乘法）可以递归地定义如下：

αβ=mex{α′β+αβ′−α′β′:α′<α,β′<β}=mex{α′β+αβ′+α′β′:α′<α,β′<β}. 全体尼姆数不能组成普通集合而只是真类。要是把它当作普通集合，或者考虑其任意的一个对尼姆加法和乘法封闭的子集，那么尼姆数的类可以构成一个特征为2的代数封闭域。尼姆加法的单位元是序数0，而尼姆乘法的单位元则是序数1。由于特征为2，α的尼姆加法逆元是α自身。非零序数α的尼姆乘法逆元是mex(S)，这里S是满足以下条件的序数集合：

0是S的元素； 如果0<α ′<α且β ′是S的元素，那么1+(α′−α)β′/α ′也是S的元素。