×
埃里克·杜希恩；阿琳·帕罗；米歇尔·里戈

决定游戏不变性。 （英语） Zbl 1410.91126号

Inf.计算。 253，第1部分，127-142（2017）.
摘要：在前一篇论文中，第一和第三作者[Theor.Comput.Sci.411，No.34-36，3169-3180（2010；Zbl 1198.91051号)]介绍了堆上take-away游戏的不变性概念。大致来说，这些游戏的规则集不依赖于位置。给定一个整数正元组序列，是否存在一个以（S）为位置集的不变对策是相关的。特别是，它最近被证明了U.拉尔森等人【Theor.Compute.Sci.412，No.8–10，729–735（2011；Zbl 1237.91062号)]如果（S）是一对互补的Beatty序列，那么这个问题的答案总是肯定的。在本文中，我们证明了对于一组相当大的序列（用无限个单词表示），这个问题的答案是可判定的。

引用于2文件

MSC公司：

91年46月 组合游戏
68兰特 单词组合学

关键词：

组合游戏；公正博弈；决策问题；一阶逻辑；可识别的整数集

引文：

Zbl 1198.91051号；兹比尔1237.91062

软件：

核桃
PDF格式BibTeX公司 XML格式引用
\textit{E.Ducháne}等人，《信息计算》。253，第1部分，127--142（2017；Zbl 1410.91126）
全文： 内政部 arXiv公司

参考文献：

[1] Ho，N.B.，维瑟夫游戏的两种变体，保持其P位置，J.Comb。理论，Ser。A、 119、6、1302-1314（2012）·Zbl 1242.91033号
[2] （Berthé，V.；Rigo，M.，《组合数学、自动机和数论》，《组合学、自动机与数论》、《Encycl.数学应用》，第135卷（2010年），剑桥大学出版社：剑桥大学出版社）·兹比尔1197.68006
[3] 布鲁埃，V。；Hansel，G.，Bertrand记数系统和可识别性，Theor。计算。科学。，181, 1, 17-43 (1997) ·Zbl 0957.11015号
[4] 布鲁埃，V。；Hansel，G。；米肖，C。；Villemaire，R.，《逻辑和可识别整数集》，布尔。贝尔格。数学。西蒙·斯蒂文（Simon Stevin），第1、2、191-238页（1994年）·Zbl 0804.11024号
[5] Büchi，J.R.，弱二阶算术和有限自动机，数学。日志。格兰德。数学。，6, 66-92 (1960) ·Zbl 0103.24705号
[6] Carpi，A。；Maggi，C.，关于同步序列及其分隔符，Theor。通知。申请。，35, 6, 513-524 (2001), (2002) ·兹比尔1003.68064
[7] Cassaigne，J。；杜希内，E。；Rigo，M.，导致不变博弈的非齐次Beatty序列，SIAM J.离散数学。，30, 1798-1829 (2016) ·Zbl 1419.11047号
[8] 杜，C.F。；穆萨维，H。；谢弗，L。；Shallit，J.，斐波那契自动词的决策算法，I：基本结果，RAIRO Theor。通知。申请。，50, 1, 39-66 (2016) ·Zbl 1366.68226号
[9] 杜希内，E。；Fraenkel，A.S。；Nowakowski，R.J。；Rigo，M.，Wythoff游戏的扩展和限制，保持其P位置，J.Comb。理论，Ser。A、 117、5、545-567（2010）·Zbl 1185.91061号
[10] 杜赫讷，E。；Rigo，M.，《组合博弈的形态方法：Tribonacci案例》，Theor。通知。申请。，42, 2, 375-393 (2008) ·Zbl 1143.91314号
[11] 杜赫讷，E。；Rigo，M.，Pisot单位组合游戏，Monatsheft数学。，155, 3-4, 217-249 (2008) ·Zbl 1185.68504号
[12] 杜希内，E。；Rigo，M.，《不变量游戏》，Theor。计算。科学。，411, 34-36, 3169-3180 (2010) ·Zbl 1198.91051号
[13] Fraenkel，A.S.，《数制》，美国数学。周一。，92, 2, 105-114 (1985) ·Zbl 0568.10005号
[14] Fraenkel，A.S.，《堆游戏、计数系统和序列》，Ann.Comb。，2, 3, 197-210 (1998) ·Zbl 0942.91015号
[15] Fraenkel，A.S.，非周期减法游戏，电子。J.库姆。，18, 2, 19-31 (2011) ·Zbl 1237.91061号
[16] Fraenkel，A.S.，老鼠游戏和老鼠游戏，（Nowakowski，R.J.，《没有机会的游戏4》。无机会游戏4，数学。科学。Res.Inst.出版物。，第63卷（2015））·Zbl 1380.91043号
[17] Fraenkel，A.S.，《罗利游戏》，《整数》，第7期，第13期（2007年），第11页·Zbl 1178.91037号
[19] Frougny，Ch.，《数字表示与有限自动机》，数学。系统。理论，25，1，37-60（1992）·Zbl 0776.11005号
[20] Ch.Frougny，《关于后继函数的顺序性》，Inf.Compute。，139, 1, 17-38 (1997) ·Zbl 0892.68065号
[21] 戈奇，D。；Henshall，D。；Shallit，J.，《单词组合学中的自动理论证明》（Moreira，N.；Reis，R.，CIAA 2012）。CIAA 2012年，Lect。注释计算。科学。，第7381卷（2012），施普林格·弗拉格），180-191·兹比尔1297.68215
[22] 戈奇，D。；Rampersad，N。；里戈，M。；Salimov，P.，关于阿贝尔边界词的数量（以自动定理证明为例），国际。J.发现。计算。科学。，25, 8, 1097-1110 (2014) ·Zbl 1309.68162号
[23] 美国拉尔森。；Hegarty，P。；Fraenkel，A.S.，解决Ducháne-Rigo猜想的不变量和双减法游戏，Theor。计算。科学。，412, 729-735 (2011) ·Zbl 1237.91062号
[24] 美国拉尔森。；Wästlund，J.，《从成堆的匹配到可计算性的极限》，电子。J.库姆。，20、3、#P41（2013）·Zbl 1295.91024号
[25] Lothaire，M.，《单词组合数学》，剑桥数学。图书馆。（1997），剑桥大学出版社：剑桥大学出版社，1983年原版的修正重印·Zbl 0874.20040
[26] 穆萨维，H.，胡桃中定理的自动证明
[27] 穆萨维，H。；Shallit，J.，Tribonacci词性质的机械证明，Lect。注释计算。科学。，第9304卷，170-190（2015），《施普林格：施普林格商会》·Zbl 1350.68218号
[28] 里戈，M。；Maes，A.，《关于广义自动序列的更多信息》，J.Autom。语言梳。，7, 351-376 (2002) ·Zbl 1033.68069号
[29] Rigo，M.，《形式语言、自动机和数字系统》（2014），ISTE/John Wiley&Sons，Inc.：ISTE/约翰威利父子公司，伦敦/新泽西州霍博肯·Zbl 1326.68003号
[30] Sakarovitch，J.，《自动化原理》（2009），剑桥大学出版社：剑桥大学出版社·兹比尔1188.68177
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。