尼姆數

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

基本介紹

• 中文名：尼姆數
• 引入：一類數學對象
• 用於：一大類遊戲的研究
• 真類：運算之後形成的概念

尼姆數的特點

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

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

遞歸定義

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

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