We consider extensions and restrictions of Wythoff’s game having exactly the same set of P positions as the original game. No strict subset of rules give the same set of P positions. On the other hand, we characterize all moves that can be adjoined while preserving the original set of P positions. Testing if a move belongs to such an extended set of rules is shown to be doable in polynomial time. Many arguments rely on the infinite Fibonacci word, automatic sequences and the corresponding number system. With these tools, we provide new two-dimensional morphisms generating an infinite picture encoding respectively P positions of Wythoff’s game and moves that can be adjoined.
Éric Duchêne, Aviezri S. Fraenkel, Ri