# Invariant and dual subtraction games resolving the Duchene-Rigo conjecture Artikel i vetenskaplig tidskrift, 2011

We prove a recent conjecture of Duchene and Rigo, stating that every complementary pair of homogeneous Beatty sequences represents the solution to an 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 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*, whose moves are all non-zero P-positions of G. Provided the set of non-zero P-positions of G* equals {{a(n), b(n)}}, this is the desired invariant game. We give sufficient conditions on the initial pair of sequences for this 'duality' to hold.

Beatty sequence

Complementary sequences

game

Impartial game

Invariant

## Författare

Chalmers, Matematiska vetenskaper, Matematik

Göteborgs universitet

#### Peter Hegarty

Chalmers, Matematiska vetenskaper, Matematik

Göteborgs universitet

#### A. S. Fraenkel

Weizmann Institute of Science

#### Theoretical Computer Science

0304-3975 (ISSN)

Vol. 412 8-10 729-735

Annan matematik

#### DOI

10.1016/j.tcs.2010.11.015

2017-10-06