DeepAI AI Chat
Log In Sign Up

Taking-and-merging games as rewrite games

02/19/2019
by   Eric Duchene, et al.
0

This work contributes to the study of rewrite games where positions are words and the moves are local rewriting rules of the form u->v belonging to a finite set. We introduce and investigate taking-and-merging games where each rule is of the form a^k->epsilon. We give sufficient conditions for a game to be such that the losing positions (resp. the positions with a given Grundy value) form a regular language or a context-free language. We formulate several related open questions in parallel with the famous conjecture of Guy about the periodicity of the Grundy function of octal games. Finally we show that more general rewrite games quickly lead to undecidable problems. Namely, it is undecidable whether there exists a winning position in a given regular language, even if we restrict to games where each move strictly reduces the length of the current position.

READ FULL TEXT

page 1

page 2

page 3

page 4

12/15/2022

Higher-order Games with Dependent Types

This paper generalises the notion of a higher-order game, by accounting ...
06/05/2020

Same-Score Streaks: A Case Study in Probability Modeling

A same-score streak in sports is a sequence of games where the scores ar...
05/06/2021

Positional Injectivity for Innocent Strategies

In asynchronous games, Melliès proved that innocent strategies are posit...
04/18/2018

Faster Evaluation of Subtraction Games

Subtraction games are played with one or more heaps of tokens, with play...
05/14/2021

Translating Extensive Form Games to Open Games with Agency

We show open games cover extensive form games with both perfect and impe...
07/31/2014

Calculating Ultra-Strong and Extended Solutions for Nine Men's Morris, Morabaraba, and Lasker

The strong solutions of Nine Men's Morris and its variant, Lasker Morris...
08/01/2005

Regularity of Position Sequences

A person is given a numbered sequence of positions on a sheet of paper. ...