尼姆数

✍ dations ◷ 2025-10-14 23:38:33 #组合数学,有限域,博弈论,组合博弈论

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

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

对于一个序数的集合 S {\displaystyle S} mex ( S ) {\displaystyle \operatorname {mex} (S)} 定义为“局外最小序数”,也就是说不是 S {\displaystyle S} 的元素的最小一个序数。对于有限序数,尼姆和即是两个数进行异或运算的结果,这个结果也可以简单地通过将相加的各个数字的二进制表示逐位进行不进位的加法而得到(例如,100010+110010=10000)。

尼姆数的乘法运算(尼姆乘法)可以递归地定义如下:

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

n {\displaystyle n} 是自然数,小于 2 2 n {\displaystyle 2^{2^{n}}} 的尼姆数组成一个 2 2 n {\displaystyle 2^{2^{n}}} 阶的有限域 G F ( 2 2 n ) {\displaystyle GF(2^{2^{n}})}

正如尼姆加法,有限序数的尼姆积也有一些有意思的结果:

尼姆数组成的最小代数封闭域是由小于 ω ω ω {\displaystyle \omega ^{\omega ^{\omega }}} 的序数构成的,这里ω是最小的无限序数。因此,作为尼姆数的 ω ω ω {\displaystyle \omega ^{\omega ^{\omega }}} 是尼姆数“域”上最小的超越数。

以下表格列出了最小16个尼姆数的加法和乘法表。因为16是一个费马幂(形如 2 2 n {\displaystyle 2^{2^{n}}} ),因此这个子集是封闭的。


相关

  • 电脑辅助翻译电脑辅助翻译(CAT,Computer-assisted Translation或Computer-aided Translation),亦称电脑辅助翻译系统,系透过人工智能搜索及比对技术,运用参考资料库和翻译记忆程序,纪录翻译人员
  • 萤光素酶结构 / ECOD结构 / ECOD结构 / ECOD结构 / ECOD冷光素酶(英语:Luciferase)是自然界中能够产生生物发光的酶的统称,其中最有代表性的是一种学名为Photinus pyralis的萤火虫体内的
  • 情癫大圣《情癫大圣》(英文:A Chinese Tall Story)即依据中国作家吴承恩所撰写的神怪小说《西游记》为基础,再进行改编的电影作品。 由谢霆锋、蔡卓妍、范冰冰、张致恒等主演。故事剧情
  • 朱尼耶朱尼耶(阿拉伯语︰جونيه Jounieh 或 جونية Junia)是黎巴嫩的地中海沿海城市,位于贝鲁特以北15公里,市内有渡假区、俱乐部会所、露天市场、渡轮和缆车,居民主要信奉马龙尼
  • 铜山湖水怪铜山湖水怪又称泌阳龙,是指出没于中国河南驻马店铜山湖的神秘生物。铜山湖水怪首次记录于1980年,之后时常有所目击。当地政府认为铜山湖水怪可能是投放鱼苗时夹杂的扬子鳄,亦有
  • 抑制消减杂交消减杂交(英语:Subtractive hybridization)这项技术可使对照组(驱赶子)与试验转录物组cDNA片段中仅不相同的部分得到PCR扩增。转录物相对丰度的差异就被突出显示,例如不同物种间的
  • 陈弘绪陈弘绪(1597年-1665年),字士业,号石庄,明末清初文学家、史学家、藏书家,南昌新建人。陈道亨之子,出身于官宦家庭,自幼受到良好的家庭教育,曾随其父至各地收集典籍。后承父荫为诸生,出任
  • 振姬振姬(1580年-1617年),德川家康三女,母亲为侧室于竹之方(良云院)。1596年,与蒲生秀行结婚,两人之间生下两男一女。起初蒲生家在蒲生氏乡过世后,遗孀冬姬拒绝成为丰臣秀吉侧室,因此领地从
  • 四明中路站往锦寓路站往鄞州区政府站四明中路站,规划站名万达广场站,是浙江省宁波市一座地下轨道交通车站,属于宁波轨道交通3号线。车站于2019年6月30日启用。四明中路站位于鄞州区天童北
  • 岭南摭怪《岭南摭怪》(越南语:Lĩnh Nam chích quái〔Lĩnh Nam trích quái〕/嶺南摘怪〔嶺南摭怪〕),又称为《岭南摭怪列传》,越南古代书籍,用汉语文言文编成。内容以民间流传的神话故