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.

Computing remoteness functions of Moore, Wythoff, and Euclid's games

Computing Remoteness Functions of Moore, Wythoff, and Euclid's games

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

Impartial games with entailing moves

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

Rigidity for Monogamy-of-Entanglement Games

Comply subtraction games avoiding arithmetic progressions

The Computational Complexity of Single-Player Imperfect-Recall Games

What happens when we add impartial loopy games and impartial entailing games?

Connectivity in the Presence of an Opponent

Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability

Computing Nash Equilibria: Approximation and Smoothed Complexity

Impartial Scoring Play Games

The Complexity of Computing Robust Mediated Equilibria in Ordinal Games

Relaxed Update and Partition Network Games.

Impartial geodetic building games on graphs

Polynomial representation for orthogonal projections onto subspaces of finite games

The Fixpoint-Iteration Algorithm for Parity Games

GM-rule and its applications to impartial games

Bounded-Memory Strategies in Partial-Information Games

Diagonalization Games