尼姆數

出自 MBA智库百科(https://wiki.mbalib.com/)

　　組合博弈論引入了一類數學對象，稱為尼姆數，它們被定義為尼姆游戲尼姆堆的值。但是由於斯普萊格–格隆第定理，它們可以用於一大類游戲的研究。事實上，尼姆數是在序數的真類上賦予尼姆加法和尼姆乘法的運算之後形成的概念。這些運算和通常施行於序數類上的加法和乘法並不相同。

　　斯普萊格–格隆第定理指出：每個無偏博弈等價於一個特定大小的尼姆堆。尼姆數的加法運算（叫做尼姆加法）可以用於計算等價於多個堆的單一尼姆堆大小。這被定義為

　　對於序數的集合S，mex(S)定義為“局外最小序數”，也就是說序數中不是S的元素的最小一個。對於有限序數，尼姆和可以簡單地通過將相加的各個數字的二進位表示逐位進行不進位的加法而得到（例如，100010＋110010＝10000）。

　　尼姆數的乘法運算（尼姆乘法）可以遞歸地定義如下：

αβ=mex{α′β+αβ′−α′β′:α′<α,β′<β}=mex{α′β+αβ′+α′β′:α′<α,β′<β}.

　　全體尼姆數不能組成普通集合而只是真類。要是把它當作普通集合，或者考慮其任意的一個對尼姆加法和乘法封閉的子集，那麼尼姆數的類可以構成一個特征為2的代數封閉域。尼姆加法的單位元是序數0，而尼姆乘法的單位元則是序數1。由於特征為2，α的尼姆加法逆元是α自身。非零序數α的尼姆乘法逆元是mex(S)，這裡S是滿足以下條件的序數集合：

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

　　若n是自然數，小於的尼姆數組成一個階的有限域。

　　正如尼姆加法，有限序數的尼姆積也有一些有意思的結果：

1. 2的不同費馬冪（形如）的尼姆積等於其序數積；
2. 2的某個費馬冪x的平方根等於3x/2在通常的序數乘法下的結果。

　　尼姆數組成的最小代數封閉域是由小於的序數構成的，這裡ω是最小的無限序數。因此，作為尼姆數的是尼姆數“域”上最小的超越數。

　　以下表格列出了最小16個尼姆數的加法和乘法表。因為16是一個費馬冪（形如），因此這個子集是封閉的。