arXiv++ Combinatorics

This paper addresses several significant gaps in the theory of restricted misère play (Plambeck, Siegel 2008), primarily in the well-studied universe of dead-ending games, $\mathcal{E}$ (Milley, Renault 2013); if a player run out of moves in $X\in \mathcal E$, then they can never move again in any follower of $X$. A universe of games is a class of games which is closed under disjunctive sum, taking options and conjugates. We use novel results from absolute combinatorial game theory (Larsson, Nowakowski, Santos 2017) to show that $\mathcal{E}$ and the universe $\mathcal{D}\subset \mathcal{E}$ of dicot games (either both, or none of the players can move) have 'options only' test for comparison of games, and this in turn is used to define unique reduced games (canonical forms) in $\mathcal{E}$. We develop the reductions for $\mathcal{E}$ by extending analogous work for $\mathcal{D}$, in particular by solving the problem of reversibility through ends in the larger universe. Finally, by using the defined canonical forms in $\mathcal{E}$ and $\mathcal{D}$, we prove that both of these universes, as well as the subuniverse of impartial games, have the conjugate property: every inverse game is obtained by swapping sides of the players.

We introduce the Maker-Breaker domination game, a two player game on a graph. At his turn, the first player, Dominator, select a vertex in order to dominate the graph while the other player, Staller, forbids a vertex to Dominator in order to prevent him to reach his goal. Both players play alternately without missing their turn. This game is a particular instance of the so-called Maker-Breaker games, that is studied here in a combinatorial context. In this paper, we first prove that deciding the winner of the Maker-Breaker domination game is PSPACE-complete, even for bipartite graphs and split graphs. It is then showed that the problem is polynomial for cographs and trees. In particular, we define a strategy for Dominator that is derived from a variation of the dominating set problem, called the pairing dominating set problem.

Much progress has been made in misere game theory using the technique of restricted misere play, where games can be considered equivalent inside a restricted set of games without being equal in general. This paper provides a survey of recent results in this area, including two particularly interesting properties of restricted misere games: (1) a game can have an additive inverse that is not its negative, and (2) a position can be reversible through an end (a game with Left but not Right options, or vice versa). These properties are not possible in normal play and general misere play, respectively. Related open problems are discussed.

The game domination number is a graph invariant that arises from a game, which is related to graph domination in a similar way as the game chromatic number is related to graph coloring. In this paper we show that verifying whether the game domination number of a graph is bounded by a given integer is PSPACE-complete. This contrasts the situation of the game coloring problem whose complexity is still unknown.

We study combinatorial games under misère convention. Several sets of games have been considered earlier to better understand the behaviour of misère games. We here connect several of these sets. In particular, we prove that comparison modulo binary dicot games is often the same as comparison modulo dicot games, and that equivalence modulo dicot games and modulo impartial games are the same when they are restricted to impartial games.

We investigate the complexity of finding a winning strategy for the misère version of three games played on graphs : two variants of the game $\text{NimG}$, introduced by Stockmann in 2004 and the game $\text{Vertex Geography}$ on both directed and undirected graphs. We show that on general graphs those three games are $\text{PSPACE}$-Hard or Complete. For one $\text{PSPACE}$-Hard variant of $\text{NimG}$, we find an algorithm to compute an effective winning strategy in time $\mathcal{O}(\sqrt{|V(G)|}.|E(G)|)$ when $G$ is a bipartite graph.

We find the misere monoids of normal-play canonical-form integer and non-integer numbers. These come as consequences of more general results for the universe of `dead-ending' games. Left and right `ends' have previously been defined as games in which Left or Right, respectively, have no moves; here we define a dead left (right) end to be a left (right) end whose options are all left (right) ends, and we define a dead-ending game to be one in which all end followers are dead. We find the monoids and partial orders of dead ends, integers, and all numbers, and construct an infinite family of games that are equivalent to zero in the dead-ending universe.

Given a graph G with positive integer weights on the vertices, and a token placed on some current vertex u, two players alternately remove a positive integer weight from u and then move the token to a new current vertex adjacent to u. When the weight of a vertex is set to 0, it is removed and its neighborhood becomes a clique. The player making the last move wins. This adaptation of Nim on graphs is called Vertexnim, and slightly differs from the game Vertex NimG introduced by Stockman in 2004. Vertexnim can be played on both directed or undirected graphs. In this paper, we study the complexity of deciding whether a given game position of Vertexnim is winning for the first or second player. In particular, we show that for undirected graphs, this problem can be solved in quadratic time. Our algorithm is also available for the game Vertex NimG, thus improving Stockman's exptime algorithm. In the directed case, we are able to compute the winning strategy in polynomial time for several instances, including circuits or digraphs with self loops.