八人游戏的Sprague-Grundy价值观

介绍

这些是特殊情况尼姆游戏---所谓的Take-and-Break游戏.
给定堆大小n个和两名球员轮流移动。在每回合中,玩家必须减少一定数量的重压,并且把它分成几个小堆。不能合法移动的球员将输掉比赛。因此,大小为0的堆总是丢失并获得值G(0)=0。通常,大小为n的堆的值G(n)=min{N个0\U型j个G(继任者_位置j个)}用j表示所有可能的成功位置。
这些Take-and-Break游戏的规则被编码成一个数字字符串的形式d日0.d日1d日2d日...其中第i个数字d日指示如果所选堆的尺寸减小了.数字d日被解释为二进制值,包含二次幂2k个当且仅当允许将堆划分为k个非空堆。当然d日0从不包含1或2。八角游戏是这些游戏的一个子集,两个玩家都有相同的动作选项和在每次移动时都被限制为将堆最多分为两部分,因此限制了任何数字d日为大气1+2+4 < 8.
在稀疏空间现象的范围类型(0)的情况下,这套Sprague-Grundy值G(n)可以分为稀疏集及其补语,称为公共集合。稀疏集的值很少出现,通常只有有限值。如果这些罕见的值消失,那么G(n)的内在序列必须是周期的。值G(n)属于稀疏集(在范围内)当且仅当population_count(G(n)AND m)AND 1=0用于固定的游戏特定比特串.

在这个网页(及其子页面)上,所有八进制记数游戏的结果0.???,4.???--这里有一个?表示任何八进制数字0-7-- ,0.61111....、格兰迪斯·盖姆和0n个7具有n≤25--最后一个符号表示必须始终将堆减少n个标记和0、1或2堆可能会保留下来。

A类纲要包含所有2*8=1024最多3个位置的八进制游戏,以找到或匹配其标准形式。

下一个a列出所有167个标准表格查找基本属性和相同的按sgv序列排序的列表.
在这个列表的每一行中,从左到右显示一个游戏名称,它的周期和前周期长度,它的最大sg值,它的丢失位置数,以及它的sgv序列的前40个值。如果游戏的周期和前周期长度之和大于250,则留空。在这93个案例中,游戏被称为非平凡游戏,如下表所示。

最多3个位置的非平凡八角游戏

游戏sgv序列类型位字符串稀有的最后的最大n最大G指数迷路的最终的深度周期前周期除了

.0040000011112220333...00001111111111...18485415869181226 62795082053232 82706611905099
.0050001011222033411...11110101001011...148659134182835227 10593022366--3713078
.0060000111222033111...00000000101111...48783267104903226 65802668320340 11763216433620
.0070001112203311104...00001110111111...224765029983228 168924890292737 161705218954
.0140010010122123401...00111111111111...2037 64126231 36516986034513342126438
.0150011010212230142...00111111111111...237 11973235 101235039723574027036
.0160010122201014422...00010111111111...21442180340840229 110440130945218147478930408
.0240001122304112532...0? 225 123713081016626 28624
.0260001122304112533...0? 225 379033322067427 2235172
.0340011022314014312...01111111111111...1079 374473234 2562637610270596840
.040000111220331110...00001110111111...224765029984228 168924890292838 161715218954
.0540010122234411163。。。01011111111111...38 796-4133671802162841001517919323561618
.0550011122231114443...01111111111111...6 43-85121201482592
.060001122031122334...0? 225 333833355038937 7537483
.0640001122334115533...00111111111111...68542104273309231 5232755115542
.1040100010221224104...11110111111111...20 284-29186892397--4178117702821977695989
.1060100012221440106...11011011111111...15 1103-311937780317--1534332822614047446538426379725
.1140110011202120411。。。01111111101111。。。13686767098692226 16102050145811154
.1250102110213011302...0? 225 65792 33500174150 28575440
.1260100213321042503...10111001110001...20444102973539230 2222265978--58702391
.1270102210441220144...11000001111111...693 27106-56247341190209841355144657811
.1350112011203110312...0? 225 471653344615491 16773774
.1360110021302110223...0? 225 410293315361740 2769772
.140100102122104144...00011111111111...1896 178727232 851839780623172 2199576735
.1420100222110332410...11100011101111...1357 117323234 44117142768844--411815
.1430101222010422150...01011111111111...94172561883228 14826789789138110087243
.1460100222411133244...01010111111111...5817307166229 1521200428954324505
.1560110222441113224...01101111111111...15 357-231032224334934798
.160100122140142140...00111111111111...53 13935-2322979078372157714945910535116
.1610102102132132430...00111111111111...489 23784234 153274450403614429107747
.1620100223110422610。。。0? 225 657493110759063 24565333
.1630102231042261042...00001110111111...280049733553435225 39456 33326322417 7050063
.1640100122344511632...00000011001111...33383732952802225 205433402756
.1650102132134436231...01101111111111...(17#+87) --25620222597155051814
.1660100223411662244...01011111111111...176 4281234 173356161798312850
.1670102234116224411...01011111111111...60 1303237 64332129728227645
.1720110223011322440...01011001111111...2352 51381231 3872116001133103947116905
.1740110213221445642...01101111111111...57 674239 82312784191354212547
.2040010120101231212...10101110111111...2245 83860231 44538455--143454
.2050012010123123134...11110010111111...112 33944004237 913114909246--63095619
.2060010123201012323...00011011111111...103395668113229 80319154690319 51849861529
.2070012120301245312...10110100111111...154 433920236 12660119768867--776549
.2240012012312314304...00000001111111...162986732426611225 254652010364126 198802
.2440010123234515673...01000111111111...653677596617227 671811553700311295819
.2450012123451567321...00101111111111...151 1352235 142105493409352140663
.2640012345163251867...01001111111111...1992 46544231 94648811083121205974
.3140120120212312453...00000011111111...18014739657176226 3105463684856 277020507380
.3240102130134023421...11110010111111...126 129608237 1097776114395--386895
.3340120120312312435...00000100101111...304014433554031225 327782892951147 159618
.3360120312403120341...00011111111111...223 53899234 90459150360514630169971
.3420101232010323450...0? 225 355763332102668 636295
.3440101232451462321...00011111111111...8679313574228 1347115856822307675
.3460101232451672321...0? 225 1033093111218122
.3540120124312352435...01111110111111...132 3227-1131152270511801006191644
.3560120212451675128...01101111111111...7 43-198621914273152
.360102102132132430...00111111111111...516 11798234 20817621878461442917168
.36201023410234152237。。。00011111111111...529 43110234 131161463885411227239495
.3640102132134534231...01111011111111...977 13573224233 56467842294736011
.3660102345162345768...00111111111111...827 643528232 533609293376221115356
.370120123123403421...00111011111111...1583 20626233 3637775706553134071008822
.3710123103240234012...00000001110111...1498113 225 174742762630142 4089115399203
.3740120124312352435...00111111111111...246 2354235 2301948126963926861
.3760120312435243514。。。00111111111111。。。510 1140540-17634161225058664226824842
.4040001122334115633...01101101011111...369 8024234 263539812627472864621382
.4140011022344011322...0? 225 1923423338046021 238588
.4160011223411663221...01010111111111...1014 10965233 72681671091561611367
.4440001122334115633...01101111111111...364 72416309234 21241398137392170177024
.450011223114432211...01111111111111...11 198-8372137204988
.4540011223411663221...01011111111111...17 124-41144561172148586062071516094901916
.560102241132446621。。。01101101111111。。。46 1795-642277822740514432664026
.5640102244113254768...00110011111111...1687 13275231 14591397236982218757
.60012012312340342...00111011111111...1584 20627233 3637775706554144081008823
.6040012012312345345...0? 225 1926243350537015 7943720
.6060012340123451234...00111111111111...53811268412360228 159824541676018 73293636038
.640012341532154268...00111110111111...488 156751233 262191163580621470403814
.644001234516325896a。。。00111111111111...31 511-6433321604442325632
.740101232414623215。。。01101101111111。。。1386 15929231 5127610360622137102
.7440101232451672321...00011011111111...876 11268232 7333825607002243665
.760102341623416732...00000000110011...2192485208068226 1692528902242223822819
.7640102345162345768...00111001111111...12078941007228 5110117968040221423305
.7740123145671328954...00101111111111...352 3519234 25732851025238
.7760123416321674581...01001111011111...503 7348234 29654871018381

4.0040010123231454323...00111111111111...891443090760228 19962053240623050686
4.0070012123454132825...01111110101111...2259 186900230 9384712929121240392
4.0260012345613274165...01000111111111...39289433532520225 16817408174121
4.0440010123234541673...00011111111111...184 1688235 2931713968397318849
4.0450012123454167828...01111101111111...34 497237 9315355901532214155
4.0640012345613285764...01101011111111...52 470-1111911421420161329427245
4.3240120312435241352...01110110111111...271 5956235 256654707219904
4.3270124312435213524。。。01111111011111...71111084182228 22477409767101290657
4.344012021246164812a。。。01110111111111...14 271-351902164519984
4.3640120312435243521...00111111111111...(6#+992) --33214124221621168714
4.3670124312435213524...00111111111111...142 3508236 101644662287911023739
4.4040012314324523513...00111101111111...132 1852-2082298721632117840145687298264471
4.4060012345621874598...01101111111111...23 205-50231573212124429409732
4.440012341632167458...01001111011111...504 7349234 29654882118382

.6111。。。0012312341321461。。。01011111111111。。。171 2026236 73153368886882121401399

格兰迪的0001021021021321...00111111111111...1287 48399022238 2972154435858942 122250808030
情侣0001201231234034...00111011111111...1585 20628232 3352135301626154091008824

格兰迪的游戏:唯一的选择是将任何堆(大小大于2)分成两个大小不同的堆。
情侣互为防御:唯一的选择是将任何大于2的堆拆分为两个堆。它是官员的移位变量(也表示为.6)和两次移位变量0.37。此外,在这个非平凡的八进制游戏表中,还有四个游戏是等价的:0.776和4.44,0.04和0.007。因此,加上《格兰迪的游戏》和0.6111……,它总共包含99个=93+4+2个条目。

这些非平凡的八角游戏列表,最多有3个位置,按

在这6个列表中,游戏4.44、0.04、0.37和情侣情侣被省略了(请查找0.776、0.007、0.6和0.6)。

图例:

游戏
游戏名称
sgv序列
的顺序G公司-值开始于n=0
类型
稀疏空间现象的种类:0=在范围内/1=在域内(稀疏位置空间)
位字符串
描述具有最低有效位的稀疏空间的无穷0—1序列
位掩码
描述具有最低有效位的稀疏空间的有限二进制数-最后,位串的镜像1-补码
稀有的
已知稀有值的数量。稀疏集的大小
最后的
稀有值的最大已知指数
最大值n
搜索的最大值n个
最大G
最大发现值G(n)
指数
已知最大值指数
迷路的
已知损失sg值的数量,即指数数量n个具有G(n)=0
最终的
损失sg值的最大已知指数
深度
计算电流所需的最大先前值数G公司-价值
周期
最小周期长度
前周期
最小前周期长度
除了
前周期中的最后一个异常sg值
错过
如果前一周期中的值会被其长度的倍数所偏移,则前一周期不包含的值的数量
汽车
sgv序列最大自相关的偏移<周期长度
畜栏
最大自相关系数(位移由auto给出)
长度
mex-shift寄存器的长度/深度(<=last+t),用于在发生最后一个罕见值后模拟游戏

结构已知的非平凡八进制博弈

游戏周期* 前周期* 错过密度稀有的最后+t最大G深度汽车畜栏解决了的
.4520498670.134511200837 1956
.156349 347919190.55161536023243660.83671967
.0551482591290.4980646820280.83781976
.644442 325622080.678131514646042070.72851976
.356142731564190.87757461919260.91551976
.1651550 51812510.0484- 2525976200.92771976
.127446578156220.3354693271095613551-01988-10-??
.561443266402918580.8935461797647405590.60421988-10-??
.16149459 10535136340.0345531393723215770.91481988-10年-??
.3764226824811041570.48685101140543176505866-01988-10-??
.45460620715 1609490191472408720.914817127414858980.34242000-12-31
.10411770282 1977695981636697360.827620287294178120.49932001-07-01
.106328226140474 465384263797 15110631153431520.35482002-05-21
.05410015179 1932356161707765460.88383879941162841080.58092002-05-27
.3541180 1006191679124610.786413232301137051930.75172002-05-28
*给出了最小(前)周期的长度

证明周期长度在这样一个游戏中,通过计算来验证方程就足够了G(i+p)=G(i)只为t+最大值{最后,深度}多个连续sg值具有t吨游戏名称的非零数字的最大索引(在位置空间稀疏的情况下应为偶数)。
还有65人和8人未解决的2位分别为3位的比赛(还有格兰迪的游戏和0.6111……)。

备注:如果只有有限多个稀有值,游戏将成为最终周期。对于给定的八进制游戏,让表示允许拍摄剩余静止物体的位数,即包含2的位数,然后让b条表示允许两堆中断的位数,即包含4的位数。每个稀有值都可以禁止一个公共值。因此,如果所有这些,稀有值涵盖不同的(和最小的)所有移动选项的通用值,然后最后a+s*b+1公共值必须是sg-value。对于给定的位字符串具有唯一的1补表示2n-1个(2k-1)+1具有n、 k个正整数,最多有2个n个连续罕见的各自共同值(n-1个是中连续最低0位的数目). 因此,我们得到了最大发生sg值的量化上界。因此,mex规则可以被视为长度为的移位寄存器最大稀有指数+t及其总和周期长度和前周期长度必须以(a+s*b+1)最后+t.

最后以表格形式概述最大值随n的增加而增加来自增长最强劲的三位八进制游戏和,共下两次幂n的爬升速度所有三位八进制游戏。

概念稀疏位置空间.

更正

2020-11-12年11月12日,来自洛杉矶的Tomek Czajka告诉我,游戏.161的标准形式与.36不同,它们的sgv序列首先在索引520处不同,并且相差无穷远。因此,我忽略了这个游戏,这个游戏总共有65个未解决的2-和3-地点游戏(并在WW第105页中发现了另一个缺陷)。

赢的方式中的错误第4章

(第1版和第2版,德语和英语):

关于.00…007游戏的更多信息

游戏位字符串稀有的最后的最大值n最大G指数迷路的最终的

.017----986*-
.02700011101111111...22476502998322816892489029273716170
.0700011111111111...18483778971432235774292528231827065
.047?> 2796000 223163908325820291765270
.05701111010111111...80525965142261306551697052126851
.06700010011111111...3490582428602238688110374202900
.077?01111110111101...> 2422056 22311268825465123930307
.08701111111111111...4196136991742266285588109921602
.09701111111111111...15942786315225146312051742231943
.010701111101111111...> 6151538386853223117777625502254074
.011701111111011111...17898877752022232187292636824809
.012701111111111111。。。914425818422694534886850269456
.013701111110111111...184183345925322597926824407275437
.014701111111011111...89546024150226121627955191285834
.015701111111001111...279460838856122360208158733296231
.0167?> 2690000 223102508044410306628
.017701111111111111...54981838043722322264384211301223
.018701111111111111...15521483882242232440845568311292
.019701111111111111...4243046091072232876125305133216131
.020700000000111011。。。> 946372 2231116482030643413930
.021701111101101111...263675838732022341047507947341499
.022701111111111111...638032126833223409641600513741646
.023701111111101011...> 72158183886052231235976223533791185
.0247?> 2068425 223109518350696371706
.025701111111111111...148032777287022341145087945381775
每场比赛。0n个7有G(i)=0为所有人i<=n.

|第一个位置对于其中G(i)=v

v(v)|.027.07.047.057.067.077 .0n-1个7

1|45678n个
2|68101214162个
4|1520253035405个
8|55759511513515520纳米-5
16|154157190230270310
32|434508437530617673
64|132015211257112513091461
128|321758943368269145884905
256|9168223371177654251956017925
512|356626575831700158579199966730
1024|1093621571858689474667-    248642
2048|-    450546325183-    -    745402
4096|-    11927691123380-    -    1747901
前面的表格是“数学游戏的致胜之道”第4章“附加”一节“稀疏空间法术速度”一段中表格的扩展。

参考文献

Richard K.Guy和Cedric B.Smith,《各种游戏的G值》,Proc。外倾角。菲罗。《社会学杂志》第52卷(1959年),第514-526页。
Elwyn R.Berlekamp、John H.Conway和Richard K.Guy,《胜利的方式——为了你》数学戏剧(第1版),第一卷,第4章,学术出版社1982年。
Anil Gangoli和Thane Plambeck,关于某些八进制博弈中周期性的注记,《国际博弈论杂志》第18期(1989年),第311-320页。
理查德·盖伊(Richard K.Guy),《组合游戏中未解决的问题》(Unsolved Problems in Combinatial Games),第475-491页,《没有机会的游戏》(Games of No Chance),编辑R.Nowakowski,MSRI出版物第29卷,1996年
Elwyn R.Berlekamp、John H.Conway和Richard K.Guy,《为你赢得胜利的方式》数学剧(第二版),第1卷,第4章,A.K.Peters,2001年。
组合博弈论



创建的URL 2000-12-??
上次更新时间:2021-05-05 14:29 UTC+2
阿奇姆·弗拉门坎普