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.

A Tractability Gap Beyond Nim-Sums: It's Hard to Tell Whether a Bunch of Superstars Are Losers

The Game Value of Sequential Compounds of Integers and Stars

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

Impartial games with entailing moves

Simple Strategies for Large Zero-Sum Games with Applications to Complexity Theory

Nash, Conley, and Computation: Impossibility and Incompleteness in Game Dynamics

Nim on hypercubes

Universal Complexity Bounds Based on Value Iteration for Stochastic Mean Payoff Games and Entropy Games

Transverse Wave: an impartial color-propagation game inspired by Social Influence and Quantum Nim

Cooperative Games With Bounded Dependency Degree

Absolute Combinatorial Game Theory

Combinatorial Game Theory, Well-Tempered Scoring Games, and a Knot Game

Individual Rationality in Topological Distance Games is Surprisingly Hard

Comply subtraction games avoiding arithmetic progressions

A complete solution for a nontrivial ruleset with entailing moves

The minimax property in infinite two-person win-lose games

Zero-Sum Games involving Teams against Teams: Existence of Equilibria, and Comparison and Regularity in Information

Bidding Combinatorial Games

The intransitive dice kernel:

An NP-hard generalization of Nim