arXiv++ Combinatorics

We consider a generalization of the classical game of $NIM$ called hypergraph $NIM$. Given a hypergraph $\cH$ on the ground set $V = \{1, \ldots, n\}$ of $n$ piles of stones, two players alternate in choosing a hyperedge $H \in \cH$ and strictly decreasing all piles $i\in H$. The player who makes the last move is the winner. In this paper we give an explicit formula that describes the Sprague-Grundy function of hypergraph $NIM$ for several classes of hypergraphs. In particular we characterize all $2$-uniform hypergraphs (that is graphs) and all matroids for which the formula works. We show that all self-dual matroids are included in this class.

We consider a generalization of the classical game of $NIM$ called hypergraph $NIM$. Given a hypergraph $\cH$ on the ground set $V = \{1, \ldots, n\}$ of $n$ piles of stones, two players alternate in choosing a hyperedge $H \in \cH$ and strictly decreasing all piles $i\in H$. The player who makes the last move is the winner. Recently it was shown that for many classes of hypergraphs the Sprague-Grundy function of the corresponding game is given by the formula introduced originally by Jenkyns and Mayberry (1980). In this paper we characterize symmetric hypergraphs for which the Sprague-Grundy function is described by the same formula.

We introduce and analyse an extension of the disjunctive sum operation on some classical impartial games. Whereas the disjunctive sum describes positions formed from independent subpositions, our operation combines positions that are not completely independent but interact only in a very restricted way. We extend the games Nim and Silver Dollar, played by moving counters along one-dimensional strips of cells, by joining several strips at their initial cell. We prove that, in certain cases, computing the Sprague-Grundy function can be simplified to that of a simpler game with at most two tokens in each strip. We give an algorithm that, for each Sprague-Grundy value g, computes the positions of two-token Star Nim whose Sprague-Grundy values are g. We establish that the sequence of differences of entries of these positions is ultimately additively periodic.

The Sprague-Grundy (SG) theory reduces the sum of impartial games to the classical game of $NIM$. We generalize the concept of sum and introduce $\cH$-combinations of impartial games for any hypergraph $\cH$. In particular, we introduce the game $NIM_\cH$ which is the $\cH$-combination of single pile $NIM$ games. An impartial game is called SG decreasing if its SG value is decreased by every move. Extending the SG theory, we reduce the $\cH$-combination of SG decreasing games to $NIM_\cH$. We call $\cH$ a Tetris hypergraph if $NIM_\cH$ is SG decreasing. We provide some necessary and some sufficient conditions for a hypergraph to be Tetris.

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.

Given $n$ piles of tokens and a positive integer $k \leq n$, we study the following two impartial combinatorial games Nim$^1_{n, \leq k}$ and Nim$^1_{n, =k}$. In the first (resp. second) game, a player, by one move, chooses at least $1$ and at most (resp. exactly) $k$ non-empty piles and removes one token from each of these piles. For the normal and misère version of each game we compute the Sprague-Grundy function for the cases $n = k = 2$ and $n = k+1 = 3$. For game Nim$^1_{n, \leq k}$ we also characterize its P-positions for the cases $n \leq k+2$ and $n = k+3 \leq 6$.

Moore's generalization of the game of {\sc Nim} is played as follows. Let $n$ and $k$ be two integers such that $1 \leq k \leq n$. Given $n$ piles of tokens, two players move alternately, removing tokens from at least one and at most $k$ of the piles. The player who makes the last move wins. The game was solved by Moore in 1910 and an explicit formula for its Sprague-Grundy function was given by Jenkyns and Mayberry in 1980, for the case $n = k+1$ only. We introduce another generalization of {\sc Nim}, called {\sc Exact $k$-Nim}, in which each move reduces exactly $k$ piles. We give an explicit formula for the Sprague-Grundy function of {\sc Exact $k$-Nim} in case $2k \geq n$. In case $n=2k$ our formula is surprisingly similar to Jenkyns and Mayberry's one.

We study a variant of 3-pile Nim in which a move consists of taking tokens from one pile and, instead of removing then, topping up on a smaller pile provided that the destination pile does not have more tokens then the source pile after the move. We discover a situation in which each column of two-dimensional array of Sprague-Grundy values is a palindrome. We establish a formula for P-positions by which winning moves can be computed in quadratic time. We prove a formula for positions whose Sprague-Grundy values are 1 and estimate the distribution of those positions whose nim-values are g. We discuss the periodicity of nim-sequences that seem to be bounded.

Given a hypergraph $\cH \subseteq 2^I \setminus \{\emptyset\}$ on the ground set $I = \{1, \ldots, n\}$, we assign to each $i \in I$ a nonnegative integer $x_i$, that is a pile of $x_i$ tokens, and consider the following generalization of the classical game of {\sc Nim}: Two players alternate turns. In a move a player chooses an arbitrary edge $H \in \cH$ and reduces all piles $i \in H$. The player who is out of moves loses. We call the obtained game hypergraph {\sc Nim}. Such a game is called proper {\sc Nim}, when $\cH=2^I \setminus\{I,\emptyset\}$ is the family of all proper subsets of $I$. Jenkyns and Mayberry \cite{JM80} described the Sprague-Grundy (or SG in short) function of these games. In this paper we introduce Tetris extensions of hypergraph {\sc Nim}, and obtain a closed formula for the SG functions of the extensions of proper {\sc Nim}, when $n\geq 3$. Surprisingly, the case of $n=2$ is much more complicated. For this case we only suggest several partial results and conjectures.

We study the problem whether there exist variants of {\sc Wythoff}'s game whose $¶$-positions, except for a finite number, are obtained from those of {\sc Wythoff}'s game by adding a constant $k$ to each $¶$-position. We solve this question by introducing a class $\{\W_k\}_{k \geq 0}$ of variants of {\sc Wythoff}'s game in which, for any fixed $k \geq 0$, the $¶$-positions of $\W_k$ form the set $\{(i,i) | 0 \leq i < k\}\cup \{(\lfloor φn \rfloor + k, \lfloor φ^2 n \rfloor + k) | n\ge 0\}$, where $φ$ is the golden ratio. We then analyze a class $\{\T_k\}_{k \geq 0}$ of variants of {\sc Wythoff}'s game whose members share the same $¶$-positions set $\{(0,0)\}\cup \{(\lfloor φn \rfloor + 1, \lfloor φ^2 n \rfloor + 1) | n \geq 0 \}$. We establish several results for the Sprague-Grundy function of these two families. On the way we exhibit a family of games with different rule sets that share the same set of $¶$-positions.

We introduce a restriction of Wythoff's game, which we call F-Wythoff, in which the integer ratio of entries must not change if an equal number of tokens are removed from both piles. We show that P-positions of F-Wythoff are exactly those positions obtained from P-positions of Wythoff's game by adding 1 to each entry. We describe the distribution of Sprague-Grundy values and, in particular, generalize two properties on the distribution of those positions which have Sprague-Grundy value k, for a given k, for variants of Wythoff's game. We analyze the misere F-Wythoff and show that the normal and misere versions differ exactly on those positions which have Sprague-Grundy values 0, and 1 via a swap. We examine two further variants of F-Wythoff, one restriction and one extension, preserving its P-positions. We raise two general questions based on the translation phenomenon of the P-positions.

Euclid is a well known two-player impartial combinatorial game. A position in Euclid is a pair of positive integers and the players move alternately by subtracting a positive integer multiple of one of the integers from the other integer without making the result negative. The player who makes the last move wins. There is a variation of Euclid due to Grossman in which the game stops when the two entrees are equal. We examine a further variation that we called M-Euclid in which the game stops when one of the entrees is a positive integer multiple of the other. We solve the Sprague-Grundy function for M-Euclid and compare the Sprague-Grundy functions of the three games.

On a semi-infinite strip of squares rightward numbered $0, 1, 2, \ldots$ with at most one coin in each square, in Welter's game, two players alternately move a coin to an empty square on its left. Jumping over other coins is legal. The player who first cannot move loses. We examine a variant of Welter's game, that we call Max-Welter, in which players are allowed to move only the coin furthest to the right. We solve the winning strategy and describe the positions of Sprague-Grundy value 1. We propose two theorems classifying some special cases where calculating the Sprague-Grundy value of a position of size $k$ becomes easier by considering another position of size $k-1$. We establish two results on the periodicity of the Sprague-Grundy values. We then show that the game Max-Welter is classified in a proper subclass of tame games that Gurvich calls strongly miserable.

We present two variants of Wythoff's game. The first game is a restriction of Wythoff's game in which removing tokens from the smaller pile is not allowed if the two entries are not equal. The second game is an extension of Wythoff's game obtained by adjoining a move allowing players to remove k tokens from the smaller pile and l tokens from the other pile provided l < k. We show that both games preserve the P-positions of Wythoff's game. This resolves a question raised by Duchene, Fraenkel, Nowakowski and Rigo. We give formulas for those positions which have Sprague-Grundy value 1. We also prove several results on the Sprague-Grundy functions.

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.