arXiv++ Combinatorics

In this article, we investigate the Grundy values of the popular game of Fibonacci nim. The winning strategy, which amounts to understanding positions of Grundy value 0, was known since Whinihan in 1963. In this paper, we extend Whinihan's analysis by computing all the positions of Grundy value at most 3. Furthermore, we show that, when we delete the Fibonacci numbers (which have Grundy value 0), the Grundy values of the starting positions are increasing, and we give upper and lower bounds on the growth rate.

We study 2-player impartial games of the form take-away which produce P-positions (second player winning positions) corresponding to complementary Beatty sequences, given by the continued fractions (1;k,1,k,1,...) and (k+1;k,1,k,1,...). Our problem is the opposite of the main field of research in this area, which is to, given a game, understand its set of P-positions. We are rather given a set of (candidate) P-positions and look for "simple" rules. Our rules satisfy two criteria, they are given by a closed formula and they are invariant, that is, the available moves do not depend on the position played from (for all options with non-negative coordinates).

New combinatorial games are introduced, of which the most pertinent is Maharaja Nim. The rules extend those of the well-known impartial game of Wythoff Nim in which two players take turn in moving a single Queen of Chess on a large board, attempting to be the first to put her in the lower left corner. Here, in addition to the classical rules a player may also move the Queen as the Knight of Chess moves. We prove that the second player's winning positions of Maharaja Nim are close to the ones of Wythoff Nim, namely they are within a bounded distance to the lines with slope $\frac{\sqrt{5}+1}{2}$ and $\frac{\sqrt{5}-1}{2}$ respectively. For a close relative to Maharaja Nim, where the Knight's jumps are of the form $(2,3)$ and $(3,2)$ (rather than $(1,2)$ and $(2,1)$), we also demonstrate polynomial time complexity to the decision problem of the outcome of a given position.

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 impartial take away games on 2 unordered piles of finite nonnegative numbers of tokens $(x,y)$. Two players alternate in removing at least one and at most all tokens from the respective piles, according to certain rules, and the game terminates when a player in turn is unable to move. We follow the normal play convention, which means that a player who cannot move loses. In the game of Wythoff Nim, a player is allowed to remove either any number of tokens from precisely one of the piles or the same number of tokens from both. Let $φ= \frac{1+\sqrt{5}}{2}$ and for all nonnegative integers $n$, $A_n=\lfloorφn \rfloor$ and $B_n=A_n+n$. The P-positions of Wythoff Nim are all pairs of piles with $A_n$ and $B_n$ tokens respectively. We study a generalization of this game called $(1,2)\G$ where, in addition to the rules of Wythoff Nim, a player has the choice to remove a positive number of tokens from one of the piles and twice that number from the other pile. We show that there is an infinite sector $α\le y/x \le α+ε$, for given real numbers $α>1$ and $ε> 0$, for which each $(x,y)$ is an N-position, but that there are infinitely many P-positions for both $1\le y/x <α$ and $α+ε< y/x $. This proves a conjecture from a recent paper. Namely, the adjoined set of moves in $(1,2)\G$ \emph{splits} the beam of slope $φ$ P-positions of Wythoff Nim. We also provide a lower bound on the lower asymtotic density of lower pile heights of P-positions for extensions of Wythoff Nim. Suppose that $(a_i)$ and $(b_i)$, $i>0$, is a pair of so-called complementary sequences on the natural numbers which satisfy $(a_i)$ is increasing and for all $i$, $a_i<b_i$, for all $i\ne j$, $b_i-a_i\ne b_j-a_j$. Then $\liminf_{n\rightarrow \infty}\frac{#\{i\mid a_i < n\}}{n} \ge φ^{-1}$.

We study so-called invariant games played with a fixed number $d$ of heaps of matches. A game is described by a finite list $\mathcal{M}$ of integer vectors of length $d$ specifying the legal moves. A move consists in changing the current game-state by adding one of the vectors in $\mathcal{M}$, provided all elements of the resulting vector are nonnegative. For instance, in a two-heap game, the vector $(1,-2)$ would mean adding one match to the first heap and removing two matches from the second heap. If $(1,-2) \in \mathcal{M}$, such a move would be permitted provided there are at least two matches in the second heap. Two players take turns, and a player unable to make a move loses. We show that these games embrace computational universality, and that therefore a number of basic questions about them are algorithmically undecidable. In particular, we prove that there is no algorithm that takes two games $\mathcal{M}$ and $\mathcal{M}'$ (with the same number of heaps) as input, and determines whether or not they are equivalent in the sense that every starting-position which is a first player win in one of the games is a first player win in the other.

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 study two-player \emph{take-away} games whose outcomes emulate two-state one-dimensional cellular automata, such as Wolfram's rules 60 and 110. Given an initial string consisting of a central data pattern and periodic left and right patterns, the rule 110 cellular automaton was recently proved Turing-complete by Matthew Cook. Hence, many questions regarding its behavior are algorithmically undecidable. We show that similar questions are undecidable for our \emph{rule 110} game.

We present a new family of Nim games where the rules depend on a given `coloring' of the tokens, each token being either black or white. The rules are as in Nim with the restriction that a white token on top of each heap is not allowed. We resolve the winning strategies of two disjoint game families played on two heaps. The heap-sizes with black tokens correspond to the numbers $\lfloor βn \rfloor$, where $β>2$ is an integer for one of the families and irrational for the other, and where $n$ ranges over the positive integers. In the process, new notions of \emph{invariant games} are introduced.

We give short rules for two-pile take-away games satisfying that a pair of complementary homogeneous Beatty sequences together with $(0,0)$ constitute a complete set of $P$-positions.

The 2-player impartial game of Wythoff Nim is played on two piles of tokens. A move consists in removing any number of tokens from precisely one of the piles or the same number of tokens from both piles. The winner is the player who removes the last token. We study this game with a blocking maneuver, that is, for each move, before the next player moves the previous player may declare at most a predetermined number, $k - 1 \ge 0$, of the options as forbidden. When the next player has moved, any blocking maneuver is forgotten and does not have any further impact on the game. We resolve the winning strategy of this game for $k = 2$ and $k = 3$ and, supported by computer simulations, state conjectures of the asymptotic `behavior' of the $P$-positions for the respective games when $4 \le k \le 20$.

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.

In this paper we study a family of 2-pile Take Away games, that we denote by Generalized Diagonal Wythoff Nim (GDWN). The story begins with 2-pile Nim whose sets of options and $P$-positions are $\{\{0,t\}\mid t\in \N\}$ and $\{(t,t)\mid t\in \M \}$ respectively. If we to 2-pile Nim adjoin the main-\emph{diagonal} $\{(t,t)\mid t\in \N\}$ as options, the new game is Wythoff Nim. It is well-known that the $P$-positions of this game lie on two 'beams' originating at the origin with slopes $Φ= \frac{1+\sqrt{5}}{2}>1$ and $\frac{1}Φ < 1$. Hence one may think of this as if, in the process of going from Nim to Wythoff Nim, the set of $P$-positions has \emph{split} and landed some distance off the main diagonal. This geometrical observation has motivated us to ask the following intuitive question. Does this splitting of the set of $P$-positions continue in some meaningful way if we, to the game of Wythoff Nim, adjoin some new \emph{generalized diagonal} move, that is a move of the form $\{pt, qt\}$, where $0 < p < q$ are fixed positive integers and $t > 0$? Does the answer perhaps depend on the specific values of $p$ and $q$? We state three conjectures of which the weakest form is: $\lim_{t\in \N}\frac{b_t}{a_t}$ exists, and equals $Φ$, if and only if $(p, q)$ is a certain \emph{non-splitting pair}, and where $\{\{a_t, b_t\}\}$ represents the set of $P$-positions of the new game. Then we prove this conjecture for the special case $(p,q) = (1,2)$ (a \emph{splitting pair}). We prove the other direction whenever $q / p < Φ$. In the Appendix, a variety of experimental data is included, aiming to point out some directions for future work on GDWN games.

Fix a positive integer $m$. The game of \emph{$m$-Wythoff Nim} (A.S. Fraenkel, 1982) is a well-known extension of \emph{Wythoff Nim}, a.k.a 'Corner the Queen'. Its set of $P$-positions may be represented by a pair of increasing sequences of non-negative integers. It is well-known that these sequences are so-called \emph{complementary homogeneous} \emph{Beatty sequences}, that is they satisfy Beatty's theorem. For a positive integer $p$, we generalize the solution of $m$-Wythoff Nim to a pair of \emph{$p$-complementary}---each positive integer occurs exactly $p$ times---homogeneous Beatty sequences $a = (a_n)_{n\in \M}$ and $b = (b_n)_{n\in \M}$, which, for all $n$, satisfies $b_n - a_n = mn$. By the latter property, we show that $a$ and $b$ are unique among \emph{all} pairs of non-decreasing $p$-complementary sequences. We prove that such pairs can be partitioned into $p$ pairs of complementary Beatty sequences. Our main results are that $\{\{a_n,b_n\}\mid n\in \M\}$ represents the solution to three new '$p$-restrictions' of $m$-Wythoff Nim---of which one has a \emph{blocking maneuver} on the \emph{rook-type} options. C. Kimberling has shown that the solution of Wythoff Nim satisfies the \emph{complementary equation} $x_{x_n}=y_n - 1$. We generalize this formula to a certain '$p$-complementary equation' satisfied by our pair $a$ and $b$. We also show that one may obtain our new pair of sequences by three so-called \emph{Minimal EXclusive} algorithms. We conclude with an Appendix by Aviezri Fraenkel.

We study a variation of the combinatorial game of 2-pile Nim. Move as in 2-pile Nim but with the following constraint: Suppose the previous player has just removed say $x>0$ tokens from the shorter pile (either pile in case they have the same height). If the next player now removes $x$ tokens from the larger pile, then he imitates his opponent. For a predetermined natural number $p$, by the rules of the game, neither player is allowed to imitate his opponent on more than $p-1$ consecutive moves. We prove that the strategy of this game resembles closely that of a variant of Wythoff Nim--a variant with a blocking manoeuvre on $p-1$ diagonal positions. In fact, we show a slightly more general result in which we have relaxed the notion of what an imitation is.