Sprague-Grundy Value for Common Divisor Nim
本文针对任意正整数参数 $m$，求解 Common Divisor Nim$_m$（CDN$_m$）的 Sprague-Grundy 值。
2023-12-09 math.CO
On the Sprague-Grundy function of Exact $k$-Nim
摩尔对{\sc Nim}游戏的推广如下。令$n$和$k$是两个整数，使得$1 \leq k \leq n$。给定$n$堆代币，两个玩家交替移动，从至少一个且至多$k$堆中移除代币。走到最后一步的玩家获胜。Moore在1910年解决了这个博弈，Jenkyns和Mayberry在1980年给出了一个Sprague-Grundy函数的显式公式，但仅适用于$n = k+1$。我们引入{\sc Nim}的另一个推广，称为{\sc精确$k$-Nim}，其中每次移动都精确地减少$k$堆。在$2k \geq n$情形下，我们给出了{\sc Exact $k$-Nim}的Sprague-Grundy函数的一个显式公式.在$n=2k$的情况下，我们的公式与Jenkyns和Mayberry的公式惊人地相似。
2017-01-17 math.CO
Sprague-Grundy Function of Matroids and Related Hypergraphs
我们考虑一个推广的经典游戏$NIM$称为超图$NIM$。给定一个在$n$石头堆的地面集合$V = \{1, \ldots, n\}$上的超图$\cH$，两个玩家交替选择一个超边$H \in \cH$和严格减少所有堆$i\in H$。走到最后一步的玩家就是赢家。本文对几类超图给出了描述超图$NIM$的Sprague-Grundy函数的显式公式。特别是我们刻画了所有的$2$ -一致超图（即图）和所有拟阵的公式工程。我们证明了所有的自对偶拟阵都包含在这个类中。
2019-03-19 math.CO
On the Sprague-Grundy function of compound games
经典的{ \sc Nim}游戏可以自然地扩展到任意的超图$\cH \subseteq 2^V \setminus \{\emptyset\}$上，其顶点$V = \{1, \ldots, n\}$对应于一堆石头。通过一次移动，玩家选择$\cH$的边$H$，并任意减少所有的桩$i \in H$。在1901年布顿解决了经典的{ \sc尼姆}为其中$\cH = \{\{1\}, \ldots, \{n\}\}$。在1910年摩尔介绍并解决了一个更一般的游戏$k$ -{ \sc尼姆}，其中$\cH = \{H \subseteq V \mid |H| \leq k\}$，其中$1 \leq k < n$。在1980年，Jenkyns和Mayberry得到了摩尔{ \sc Nim}在$k+1 = n$情形下的Sprague-Grundy函数的显式公式。最近的研究表明，同样的公式适用于一大类超图。本文研究了这类超图的组合性质，得到了相应超图{ \sc Nim}对策的合取复合和选择复合的Sprague-Grundy函数的显式表达式.
2019-03-19 math.CO
Extended Sprague-Grundy theory for locally finite games, and applications to random game-trees
为纪念埃尔文·伯利坎普（1940-2019），约翰·康威（1937-2020）和理查德·盖伊（1916-2020）而收集的论文。斯普拉格-格伦迪无圈有限对策理论由塞德里克·史密斯和阿维耶兹里·弗伦克尔及其合著者推广到一般的有限对策。我们观察到，用于对有限对策进行分类的同一框架也涵盖了局部有限对策的情况（即，任何位置都只有100个选项的对策）。特别地，任何局部有限对策都等价于某个有限对策。然后，我们研究的情况下，一个游戏的有向图是随机选择的，并给出了一个高尔顿-沃森分支过程的树。后代分布的自然家庭显示出令人惊讶的广泛行为。这种设置显示了组合对策论和概率论思想之间的良好相互作用。
2021-07-18 math.CO
On the Sprague-Grundy Function of Tetris Extensions of Proper {\sc Nim}
给定一个在基集$I = \{1, \ldots, n\}$上的超图$\cH \subseteq 2^I \setminus \{\emptyset\}$，我们给每个$i \in I$分配一个非负整数$x_i$，也就是一堆$x_i$记号，并考虑经典游戏{ \sc Nim}的以下推广：两个玩家轮流。在一步棋中，牌手选择任意一条边$H \in \cH$并减少所有的牌$i \in H$。走完步的玩家输了。我们称所得到的游戏超图为{ \sc Nim}。当$\cH=2^I \setminus\{I,\emptyset\}$是$I$的所有真子集的族时，这样的博弈被称为真{ \sc Nim}。Jenkyns和Mayberry \cite{JM80}描述了这些游戏的Sprague-Grundy（简称SG）功能。本文引入了超图{ \sc Nim}的Tetris扩张，得到了当$n\geq 3$ .令人惊讶的是，$n=2$的情况要复杂得多。对于这种情况，我们只给出几个部分结果和图解。
2018-03-30 math.CO
Some results on LCTR, an impartial game on partitions
本文研究分拆公平博弈 LCTR，运用 Sprague-Grundy 定理证明其 SG 值不超过 2，刻画多类无限分拆族，并给出 O(n) 动态规划算法。
2022-07-11 math.CO
Variants of Wythoff's game translating its P-positions
我们引入了一个限制的Wythoff的游戏，我们称之为F-Wythoff，其中条目的整数比不得改变，如果相同数量的令牌从两个桩。我们证明了F-Wythoff博弈的P-位置是由Wythoff博弈的P-位置通过在每个项上加1得到的位置。我们描述了分布的Sprague-Grundy值，特别是，概括了两个属性的分布的位置，有Sprague-Grundy值k，对于一个给定的k，Wythoff的游戏的变体。我们分析了misere的F-Wythoff，并表明正常和misere版本的不同，正是在这些位置上有Sprague-Grundy值0，和1通过交换。我们研究两个进一步的变种F-Wythoff，一个限制和一个扩展，保持其P-位置。我们基于P-位置的翻译现象提出了两个普遍性的问题。
2012-03-23 math.CO
Nimber-Preserving Reductions and Homomorphic Sprague-Grundy Game Encodings
Plymouth State（普利茅斯州立大学）；USC（南加州大学）
Nimbers的概念，也就是Grundy值或nim值是组合博弈论的基础。Nimbers提供了一个完整的刻画的战略互动之间的公平游戏在他们的析取和以及获胜。在本文中，我们发起了一个研究的平衡游戏之间的保持敏捷的减少。这些减少增强了传统的组合游戏的计算特征的可赢性保持减少。我们证明了广义地理是完整的自然类，$\cal{I}^P$，多项式短的公正规则集下保持敏捷的减少，一个属性，我们称为Sprague-Grundy完成。相反，我们还表明，不是每一个PSPACE完全规则在$\cal{I}^P$是Sprague-Grundy完全的$\cal{I}^P$。通过将每一个公平的博弈都看作是它的号码的编码，我们的技术结果建立了以下引人注目的密码学启发的同态定理：尽管$\cal{I}^P$的Number计算是PSPACE完全的，但对于任何一对博弈$G_1$，存在一个多项式时间算法来构造一个素数博弈$\cal{I}^P$的$G_2$（即不能写成和的游戏）$\cal{I}^P$的$H$，满足：nimber（$H$）= nimber（$G_1$）$\oplus$ nimber（$G_2$）。
2022-02-23 cs.AI cs.CC cs.DM
Nim on Integer Partitions and Hyperrectangles
本文研究尼姆游戏的两个变体 PNim 和 RNim，分别以整数分拆和超矩形为操作对象，给出了 PNim 的 Sprague-Grundy 值上界及值为 1 的刻画、RNim 的完整公式，并完成二者在 Conway-Gurvich-Ho 层级中的分类。
2025-06-05 math.CO
Sprague-Grundy values and complexity for LCTR
本文研究无偏组合博弈 LCTR，通过镜像策略和结构性分析，将 Sprague-Grundy 值的计算复杂度从 O(n) 改进到 O(log n)，并分析了相关复杂度度量。
2023-11-17 cs.CC math.CO
On Aperiodic Subtraction Games with Bounded Nim Sequence
减法游戏是一类公平的组合游戏，其位置对应于非负整数，其移动对应于从当前位置减去一组固定数字中的一个。尽管减法游戏很容易定义，但事实证明它很难分析.特别是，很少有一般的结果，他们的Sprague-Grundy值是已知的。在本文中，我们构建了一个减法游戏的例子，其序列的Sprague-Grundy值是三元和非周期性的，我们开发了一个理论，可能会导致我们的建设推广。
2014-07-10 math.CO
On the Sprague-Grundy values of games with a pass
本文研究带过牌的无偏博弈析取复合，建立 SG 值同态，将满足一步博弈条件的分量复合转化为带过牌的 nim 局面，从而给出必胜策略判定时间上界，并应用于巧克力博弈的 SG 值计算。
2025-11-09 math.CO
Two Games on Arithmetic Functions: SALIQUANT and NONTOTIENT
本文研究基于算术函数的两个无偏博弈 SALIQUANT 和 NONTOTIENT，获得数论引理、基本定理及关于 Sprague-Grundy 值最终密度的猜想，并计算特定值。
2023-09-03 math.CO math.NT
Combinatorial Analysis of a Subtraction Game on Graphs
我们定义了一个两个球员的组合游戏中，球员轮流轮流，每一轮包括删除一个顶点的图，连同所有的边缘包含这样的顶点。如果任何顶点被玩家的移动孤立，那么它也会被删除。当另一个玩家没有可用的移动时，一个玩家赢得游戏。我们研究这个游戏在不同的观点：通过寻找特定的战略，某些家庭的图形，通过使用图形的自同构群的属性，通过编写一个程序来看看Sprague-Grundy数，并通过研究游戏时，随机图。当分析在路径上玩的Grim时，使用Sprague-Grundy函数，我们发现了一个关于八进制游戏的悬而未决的问题。
2016-08-01 math.CO
Node-Kayles on Trees
Faculty of Science at Sriracha, Kasetsart University（泰国农业大学诗里拉查理学院）
本文研究了树和由树连接形成的图的 Grundy 值序列，推导了显式公式和递推关系，并证明了这些序列的周期性。
2025-12-30 math.CO
The Ordered Join of Impartial Games
受偏序集博弈理论的启发，我们引入了一个新的复合公平组合博弈，并提供了一个完整的分析的精神的Sprague-Grundy理论。此外，我们建立了几个替代和还原原则，这种化合物，并考虑其计算方面。
2021-05-18 math.CO
Mixed-Radix Nim
我们提出了外卖游戏，其Sprague-Grundy函数由混合基$β$中堆大小的Nim和给出。设$Δ_β$为此类博弈的集合。给出了$Δ_β$的极小值存在的充要条件，以及$Δ_β$的极大值的递归构造.
2019-01-08 math.CO
Some i-Mark games
令$S$是正整数的集合，并且令$D$是大于$1$的整数的集合。$i$-Mark $(S,D)$是一款由Sopena（2016）推出的公平组合游戏，使用一堆代币进行游戏。在每一轮中，玩家可以从牌堆中减去$s \in S$，或者如果牌堆的大小可以被$d$整除，则可以将牌堆的大小除以$d \in D$。Sopena部分分析了使用$S=[1, t-1]$和$D=\{d\}$的$d \not\equiv 1 \pmod t$游戏，但留下了$d \equiv 1 \pmod t$的案例。我们通过计算$i$的Sprague-Grundy函数-Mark $([1,t-1],\{d\})$ for $d \equiv 1 \pmod t$，for all $t,d \geq 2$来解决这个问题。我们还计算了所有$k$的$i$-Mark $(\{2\},\{2k + 1\})$的Sprague-Grundy函数，并表明它表现出类似的行为。最后，根据索佩纳的建议，看看游戏与$|D|>1$，我们得出了一些部分结果的游戏$i$-马克$(\{1\}, \{2, 3\})$，其Sprague-Grundy函数似乎表现不稳定，并没有显示任何干净的模式。我们证明，每个值$0,1,2$发生无限经常在其SG序列，连续出现之间的最大间隙长度。
2021-06-30 cs.DM math.CO
Infinite cyclic impartial games
我们定义的家庭{ \it本地路径有界}有向图，这是一类无限有向图，并表明，在这个类是相对容易计算的最优策略（赢或不输），并实现了胜利，在可能的情况下，在有限数量的移动。这是通过证明广义Sprague-Grundy函数存在唯一，并在该类上具有有限值来完成的。
1998-09-15 math.CO
A convergence technique for the game i-Mark
本文提出一种收敛技术，为 $|D|>1$ 的 i-Mark 游戏提供 Sprague-Grundy 序列的多项式时间算法，并证明适用于所有 i-Mark$(\{1\},\{d_1,d_2\})$ 情形。
2025-03-29 cs.DM math.CO
Game values of arithmetic functions
数论中的算术函数与组合对策论中的Sprague-Grundy函数相吻合。我们研究了由标准算术函数，如欧几里德除法，除数，除数和互素数及其否定数诱导的各种二人博弈。
2021-07-03 cs.DM math.CO math.NT
How far can Nim in disguise be stretched?
尼姆游戏中的一步棋是从一堆代币中取出任意正数的代币。假设我们增加了从所有的牌堆中共同取出非负数的牌的移动类。完整地回答了在不改变nim获胜策略的前提下，类中哪些步可以加入的问题。结果适用于其他组合游戏无界Sprague-Grundy函数值。我们制定了两个削弱的条件的概念nim-sum 0证明的结果。
1998-09-16 math.CO
Partition games
Univ Lyon, Université Lyon 1, LIRIS UMR CNRS 5205（里昂第一大学）；Instituto de Matemáticas, UNAM Juriquilla（墨西哥国立自治大学数学研究所）；National University of Singapore（新加坡国立大学）
本文研究了2人分割游戏，探讨了其Sprague-Grundy序列的周期性特征，并提出了一种计算测试条件以解决更多游戏。
2020-05-15 cs.DM math.CO
Winning the War by (Strategically) Losing Battles: Settling the Complexity of Grundy-Values in Undirected Geography
Plymouth State（普利茅斯州立大学）；USC（南加州大学）
我们解决了两个长期存在的复杂性理论问题-开放自1981年和1993年-在组合博弈论（CGT）。我们证明了Grundy值（a.k.a.无向地理的nim-value或nimber）是PSPACE完全计算的。这与1993年无向地理是多项式时间可解的结果形成了鲜明的对比。通过提炼到一个简单的减少，我们的证明进一步建立了一个二分法定理，提供了一个“相变到棘手”的Grundy值计算，其特点是最大程度的四：无向地理的Grundy值在任何程度的三个图形是多项式时间可计算的，但在程度四个图形，即使是平面和二分的PSPACE-硬。此外，我们展示了，第一次，如何构建无向地理实例与Grundy值$\ast n$和大小多项式n。我们加强了1981年的结果表明，听话的党派游戏的总和是PSPACE完全在两个基本方面。首先，由于无向地理是一个公正的规则，我们扩展的硬度和公正的游戏，一个严格的子集的党派。其次，1981年的结构不是从自然规则中构建的，而是使用了大量定制的短深度游戏位置。我们使用两个无向地理位置的和来创建硬实例。我们的结果也有计算的影响Sprague-Grundy理论（20世纪30年代），这表明，任何两个公平的游戏的析取和的Grundy值可以计算-在多项式时间-从他们的Grundy值。相反，我们证明，假设PSPACE $\neq$ P，没有一般的多项式时间的方法来总结两个多项式时间可解的公平游戏，以有…
2021-06-03 cs.AI cs.CC cs.DM
Subtraction Division Games
减法-除法游戏是一个两人组合游戏，有三个参数：一个集合S，一个集合D和一个数字n。这个游戏从n开始，是一场说数字1的比赛。每个玩家在他们的回合中，可以将S中的某些s的总和移动到n-s，或者将D中的某些d的总和移动到\lceil \frac{n}{d} \rceil（即减去s或除以d并取整）。本文详细研究了当|S| = |D| = 1时的对策的Sprague-Grundy序列。对于这些游戏中的一大类，序列中的模式允许对所有获胜位置进行表征。本文还证明了，对于同一个大类，这些序列是自动的。在这个过程中，一个大家庭的递归，完全确定他们的行为被构造。
2012-06-01 math.CO
Enforce and selective operators of combinatorial games
本文研究了公平规则集上的“强制算子”与“选择算子”，给出了支配关系的充要条件，探讨了类分配格结构，并证明了强制规则集下Sprague-Grundy理论依然成立。
2024-08-24 math.CO
Algebraic games - Playing with groups and rings
在下面的公平组合博弈中，两个参与者交替走棋：给定一个可交换生成的阿贝尔群$A$，一步棋包括选择一些非零元素$a \in A$。然后，游戏继续进行商群$A/ \langle a \rangle$。证明了在正常博弈规则下，第二个局中人有获胜策略当且仅当$A$是正方形，即对于某个交换群$B$，$A$同构于$B \times B$.在米泽尔游戏规则下，只需要对基本阿贝尔群做一些小的修改就可以描述获胜的情况。我们还计算了$2$生成的阿贝尔群的数目，即Sprague-Grundy值。一个类似的游戏可以用任意的代数结构来玩。研究了非交换群和交换环的一些例子，如$R[X]$，其中$R$是主理想整环.
2017-05-04 math.CO math.GR math.RA
Computing Remoteness Functions of Moore, Wythoff, and Euclid's games
该研究针对无偏博弈的距离函数$\u211b$，给出了Euclid游戏、广义Wythoff游戏的$\u211b$多项式算法，以及Moore's NIM偶数值的显式公式，并证明其奇数值计算为NP难问题。
2023-11-05 cs.GT math.CO
Multiplicative Modular Nim (MuM)
本文提出了 Nim 的乘法模变体 MuM，通过 mumber 值和模乘法结合规则建立了完整的非加性组合博弈理论，并利用中国剩余定理处理复合模数，将其扩展至有限域以辅助 AES S-box 代数教学。
2025-07-05 cs.DM math.CO
On remoteness functions of k-NIM with k+1 piles in normal and in misère versions
本文研究了$k+1$堆$k$-NIM游戏的常规版与逆向版，针对$k=n-1$的情况提出了确定Smith remoteness函数的简单显式规则，并给出了适用于逆向版的例外情况分类及显式公式。
2023-11-22 math.CO
