尼姆数

✍ dations ◷ 2025-07-02 08:14: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}}} ),因此这个子集是封闭的。


相关

  • 粒子加速器粒子加速器(英语:particle accelerator)是利用电场来推动带电粒子使之获得高能量。日常生活中常见的粒子加速器有用于电视的阴极射线管及X光管等设施。只有当被加速的粒子置于
  • 美东时间北美东部时区(North American Eastern Time Zone),或称美国东部时间(The Eastern Time Zone,ET),主要包括北美东海岸和南美西海岸,其标准时间(EST)为UTC-5,夏令时间(EDT)为UTC-4。此外,以
  • 瓦特福沃特福德 (英语:Waterford、爱尔兰语:Port Láirge;古诺斯语:Veðrafjǫrðr“公羊峡湾”或“大风的峡湾”;爱尔兰语:Port Láirge“多山的海岸”)是爱尔兰东南部的一座城市。位于舒
  • 二巯基丁二酸钠2,3-二巯基丁二酸(Dimercaptosuccinic acid、英文缩写为:DMSA),别名2,3-二巯基琥珀酸,一般简称二巯基丁二酸,是一种有机硫化合物,常温下为白色结晶状粉末。因分子内含有两个巯基,所
  • Intel 8018780187() 数学辅助处理器Intel 80186CPU. 不能与80188一起工作, 因为80188具有8位数据总线; 80188只能使用8087。 80187并不是与80186和80188同时推出,但实际上是在80287和803
  • EIF1AeIF1A(eukaryotic translation initiation factor 1A,真核起始因子1A)是一种在真核翻译起始进程中发挥重要作用的蛋白质,也是一种RNA结合蛋白。其主要的功能是稳定Met-tRNAi与40
  • 高桥玛莉润高桥玛莉润(日语:高橋 メアリージュン/たかはし メアリージュン ,1987年11月8日-)是日本女性模特儿、演员。滋贺县出身,是日菲混血儿,所属经纪公司为Asia Promotion(日语:エイジアプ
  • 安野由美安野由美(日语:安野由美、1963年6月20日 - ),日本前AV女优,长野县出身。。2014年5月出道成为日本AV片商SOD熟女系专属女优,同年9月,移籍为Madonna专属女优。2018年6月的作品中引退
  • 三宅一生三宅一生(日语:三宅一生,1938年4月22日-),日本时尚设计师,他以极富工艺创新的服饰设计、展览及一生之水香水闻名于世。生于日本广岛县广岛市,1964年毕业于东京多摩美术大学平面设计
  • Bounce (网络)BNC(bouncer的缩写)是一种用来在电脑网络中进行中继通讯和连接的软件,很像是代理。BNC可以让用户隐藏其连接的原始资料,为从特定的位置路由其通讯的用户提供了隐私性,BNC也可以被