尼姆数

✍ dations ◷ 2024-12-23 08:34:27 #组合数学,有限域,博弈论,组合博弈论

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

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

对于一个序数的集合 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}}} ),因此这个子集是封闭的。


相关

  • 鸟类鸟是鸟纲(学名:Aves)动物的通称,是唯一存活至今的恐龙,现代所有鸟类在生物学上也被分类为鸟形恐龙(即鸟翼类)的一部分;鸟纲的全体成员均为两足、恒温、卵生、身披羽毛且色彩鲜艳各异
  • IDX-184IDX-184是一种抗病毒药物,开发用作NS5B(英语:NS5B) RNA聚合酶抑制剂来治疗丙型肝炎。尽管它在早期临床试验中显示出一定效果,但并未通过IIb期试验。然而,该药物的研究仍在继续,并对
  • 圈量子重力圈量子重力论(loop quantum gravity,LQG),又译回圈量子引力论,英文别名圈引力(loop gravity)、量子几何学(quantum geometry);由阿贝·阿希提卡、李·斯莫林、卡洛·罗威利等人发展出
  • 德国政党德国属于多党制,联邦议院中的两大政党为德国社会民主党和德国基督教民主联盟(与姐妹党巴伐利亚基督教社会联盟属于同一个议会党团)。其他政党有自由民主党、左翼党和联盟90/绿
  • 绪形直人绪形直人(1967年9月22日-)是出生于日本神奈川县的演员。父亲是演员绪形拳,哥哥是演员绪形干太(日语:緒形幹太),妻子是女演员仙道敦子(日语:仙道敦子)。
  • 2011年凡城地震2011年凡城地震,震中位于土耳其东部凡城省境内,靠近与伊朗边境地区,地震规模为里氏7.2,震源深度距离地表7.2千米,发生于当地时间2011年10月23日13点41分21秒(UTC时间10时41分21秒)
  • 海蚬蝶族海蚬蝶族(学名:)是蚬蝶科蚬蝶亚科里的一个族,包含了2个属。物种分布于新热带界。成虫爱站在叶底休息。前翅拥有五条胫脉。箩纹蚬蝶属 海蚬蝶属
  • 椿泉椿泉(?年12月11日-)是日本女性漫画家,埼玉县出身,以《拇指罗曼史》获得第28回(2003年)白泉社雅典娜新人大赏的“新作优秀者赏”。双胞胎妹妹古贺よしき也是漫画家。
  • 徐廷祼徐廷裸(?-?),字士敏,号少浦,直隶太仓人,直隶昆山籍,明朝政治人物,同进士出身。顺天府乡试第十六名举人。嘉靖三十八年(1559年)中式己未科进士。官至浙江布政使司参议。晚年购得成化八年(14
  • 巴佳鲿巴佳鲿,为辐鳍鱼纲鲇形目鲿科的其中一种,为热带淡水鱼类,分布于非洲尼罗河、乍得湖、塞内加尔河、尼日河流域,本鱼体延长,头扁且平滑,体黄绿色,腹部白色,鱼鳍深色,稚鱼体侧有斑点,体长