arXiv++ Combinatorics

We study the $\star$-operator (Larsson et al. 2011) of impartial vector subtraction games (Golomb 1965). Here we extend the notion to the misère-play convention, and prove convergence and other properties; notably more structure is obtained under misère-play as compared with the normal-play convention (Larsson 2012).

We make a conjecture that characterizes the periods of the nim values in subtraction games with subtraction set of size 3.

We introduce a class of normal play partizan games, called Complementary Subtraction. Let $A$ denote your favorite set of positive integers. This is Left's subtraction set, whereas Right subtracts numbers not in $A$. The Golden Nugget Subtraction Game has the $A$ and $B$ sequences, from Wythoff's game, as the two complementary subtraction sets. As a function of the heap size, the maximum size of the canonical forms grows quickly. However, the value of the heap is either a number or, in reduced canonical form, a switch. We find the switches by using properties of the Fibonacci word and standard Fibonacci representations of integers. Moreover, these switches are invariant under shifts by certain Fibonacci numbers. The values that are numbers, however, are distinct, and we find a polynomial time bit characterization for them, via the ternary Fibonacci representation.

Playing impartial games under the normal and misere conventions may differ a lot. However, there are also many "exceptions" for which the normal and misere plays are very similar. As early as in 1901 Bouton noticed that this is the case with the game of Nim. In 1976 Conway introduced a large class of such games that he called tame games. Here we introduce a proper subclass, pet games, and a proper superclass, domestic games. For each of these three classes we provide an efficiently verifiable characterization based on the following property. These games are closely related to another important subclass of the tame games introduced in 2007 by the first author and called miserable games. We show that tame, pet, and domestic games turn into miserable games by "slight modifications" of their definitions. We also show that the sum of miserable games is miserable and find several other classes that respect summation. The developed techniques allow us to prove that very many well-known impartial games fall into classes mentioned above. Such examples include all subtraction games, which are pet; game Euclid, which is miserable (and, hence, tame), as well as many versions of the Wythoff game and Nim, which may be miserable, pet, or domestic.

We define a two-player combinatorial game in which players take alternate turns; each turn consists on deleting a vertex of a graph, together with all the edges containing such vertex. If any vertex became isolated by a player's move then it would also be deleted. A player wins the game when the other player has no moves available. We study this game under various viewpoints: by finding specific strategies for certain families of graphs, through using properties of a graph's automorphism group, by writing a program to look at Sprague-Grundy numbers, and by studying the game when played on random graphs. When analyzing Grim played on paths, using the Sprague-Grundy function, we find a connection to a standing open question about Octal games.

In a recent arXiv-manuscript Fox studies infinite subtraction games with a finite (ternary) and aperiodic Sprague-Grundy function. Here we provide an elementary example of a game with the given properties, namely the game given by the subtraction set $\{F_{2n+1}-1\}$, where $F_i$ is the $i$th Fibonacci number, and where $n$ ranges over the positive integers. Our definition of nim-dimension reflects the precise number of power-of-two-components generated by the games; the group of nim-values is of order four so the dimension is two (in the classical definition this dimension would have been one). Thanks to Carlos Santos for an enlightening discussion on this matter.

Subtraction games are a class of impartial combinatorial games whose positions correspond to nonnegative integers and whose moves correspond to subtracting one of a fixed set of numbers from the current position. Though they are easy to define, sub- traction games have proven difficult to analyze. In particular, few general results about their Sprague-Grundy values are known. In this paper, we construct an example of a subtraction game whose sequence of Sprague-Grundy values is ternary and aperiodic, and we develop a theory that might lead to a generalization of our construction.

Impartial subtraction games on the nonnegative integers have been studied by many and discussed in detail in for example the remarkable work Winning Ways by Conway, Berlekamp and Guy. We describe how comply variations of these games, similar to those introduced by Holshouser, Reiter, Smith, Stănică, can be defined as having its sets of winning positions identical to well-known sets avoiding arithmetic progressions such as $x+z=2y$, studied by Szerkeres, Erd\H os and Turán, and many others, thus exploring a new territory combining ideas from combinatorial games and combinatorial number theory. The sets we have in mind are greedy, that is, for our example: recursively a new nonnegative integer is included to the set if and only if it does not form a three term arithmetic progression with the smaller entries. It is known that the set thus obtained is equivalent to the following log-linear time closed expression: each winning position contains exclusively the digits 0 and 1 in base 3 expansion. In fact this set is impossible as a set of winning positions for a classical subtraction game, in a sense introduced recently by Duchêne and Rigo. Therefore our comply-rule generalization of the subtraction games can be seen to resolve new classes of sets as winning positions for heap games. In this context the $\star$-operator for invariant subtraction games was introduced by Larsson, Hegarty and Fraenkel. We define a similar operator for our game. Our comply games generalize into several dimensions. In two dimensions the winning positions can be represented by certain greedy permutations avoiding arithmetic progressions, one of which was recently introduced by Hegarty; while others generalize classical combinatorial games such as Nim and Wythoff Nim.

We study the periodicity of nim-sequences for subtraction games having subtraction sets with three elements. In particular, we give solutions in several cases, and we describe how these subtraction sets can be augmented by additional numbers without changing the nim-sequences. The paper concludes with a conjecture on ultimately bipartite subtraction games.

This paper extends the work done by Angela Siegel on subtraction games in which the subtraction set is N \ X for some finite set X. Siegel proves that for any finite set X, the G-sequence is ultimately arithmetic periodic, and that if |X| = 1 or 2, then it is purely arithmetic periodic. This note proves that if |X| = 3 then the G-sequence is purely arithmetic periodic. It is known that for |X| \geq 4 the sequence is not always purely arithmetic periodic.

We study variations of classical combinatorial games on two finite heaps of tokens, a.k.a. \emph{subtraction games}. Given non-negative integers $p_1,q_1, p_2,q_2$, where $p_1q_2 > q_1p_2$, $p_1>0$ and $q_2>0$, two players alternate in removing $(m_1,m_2)\ne (0,0)$ tokens from the respective heaps, where the allowed ordered pairs of non-negative integers are given by a certain move set $(m_1,m_2)\in\M$. There is a restriction imposed on the allowed heap sizes $(X, Y)$, they must satisfy $Xq_1\le Yp_1$ and $Yp_2\le Xq_2$. A player who cannot move loses and the other player wins. For a certain restriction of these games, namely where each allowed move option $(m_1,m_2)$ is of the form $(sp_1+tp_2,sq_1+tq_2)$, for some ordered pair of non-negative integers $(s,t)\ne (0,0)$, we show that all games have equivalent outcomes via a certain surjective map to a canonical subtraction game. Other interests in our games are various interactions with classical combinatorial games such as \emph{Nim} and \emph{Wythoff Nim}.

We provide a winning strategy for sums of games of MARK-t, an impartial game played on the nonnegative integers where each move consists of subtraction by an integer between 1 and t-1 inclusive, or division by t, rounding down when necessary. Our algorithm computes the Sprague-Grundy values for arbitrary n in quadratic time. This solves a problem posed by Aviezri Fraenkel. In addition, we characterize the P-positions and N-positions for the game in misère play.

We study 2-player impartial games, so called \emph{invariant subtraction games}, of the type, given a set of allowed moves the players take turn in moving one single piece on a large Chess board towards the position $\boldsymbol 0$. Here, invariance means that each allowed move is available inside the whole board. Then we define a new game, $\star$ of the old game, by taking the $P$-positions, except $\boldsymbol 0$, as moves in the new game. One such game is $\W^\star=$ (Wythoff Nim)$^\star$, where the moves are defined by complementary Beatty sequences with irrational moduli. Here we give a polynomial time algorithm for infinitely many $P$-positions of $\W^\star$. A repeated application of $\star$ turns out to give especially nice properties for a certain subfamily of the invariant subtraction games, the \emph{permutation games}, which we introduce here. We also introduce the family of \emph{ornament games}, whose $P$-positions define complementary Beatty sequences with rational moduli---hence related to A. S. Fraenkel's `variant' Rat- and Mouse games---and give closed forms for the moves of such games. We also prove that ($k$-pile Nim)$^{\star\star}$ = $k$-pile Nim.

We prove a recent conjecture of Duchêne and Rigo, stating that every complementary pair of homogeneous Beatty sequences represents the solution to an \emph{invariant} impartial game. Here invariance means that each available move in a game can be played anywhere inside the game-board. In fact, we establish such a result for a wider class of pairs of complementary sequences, and in the process generalize the notion of a \emph{subtraction game}. Given a pair of complementary sequences $(a_n)$ and $(b_n)$ of positive integers, we define a game $G$ by setting $\{\{a_n, b_n\}\}$ as invariant moves. We then introduce the invariant game $G^\star $, whose moves are all non-zero $P$-positions of $G$. Provided the set of non-zero $P$-positions of $G^\star$ equals $\{\{a_n,b_n\}\}$, this \emph{is} the desired invariant game. We give sufficient conditions on the initial pair of sequences for this 'duality' to hold.