Abstract: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.

On the Sprague-Grundy Function of Tetris Extensions of Proper {\sc Nim}

Nim on hypercubes

Nimber-Preserving Reduction: Game Secrets and Homomorphic Sprague-Grundy Theorem

Experimental Study of the Game Exact Nim(5, 2)

Chromatic Nim finds a game for your solution

An NP-hard generalization of Nim

Some extensions of Delete Nim

Two Games on Arithmetic Functions: SALIQUANT and NONTOTIENT

Games of Nim with Dynamic Restrictions

A PSPACE-complete Graph Nim

Impartial games with entailing moves

On Remoteness Functions of Exact Slow $k$-NIM with $k+1$ Piles

$\mathcal{P}$ Play in Candy Nim

A theoretical expansion of the Sprout game

Ryuo Nim: A Variant of the classical game of Wythoff Nim

Wythoff's Nim with Finite Alterations

On variations of Yama Nim and Triangular Nim

Tree and Tripod Nim

A Family of Slow Exact $k$-Nim Games

Comply subtraction games avoiding arithmetic progressions

Sprague-Grundy values and complexity for LCTR