arXiv++ Combinatorics

The game Nofil is a two-player combinatorial game in which players take turns marking points of a design such that the set of marked points does not contain a block. Equivalently, we can think of the points as being deleted from the design and points that are on singleton sets can no longer be marked. Every game play eventually results in the design becoming a graph. Previous work has shown that every graph is reachable from some Steiner triple system (STS), although the order of the constructed STS is often far from the known lower bounds. In this paper we give embeddings of complete graphs and star graphs into a $\STS$ that is minimal or very nearly meets the bounds. We further discuss possible minimal embeddings of empty graphs, paths, and cycles.

Snort is a two-player game played on a simple graph in which the players take turns colouring vertices in their own colour, with the restriction that two adjacent vertices cannot have opposite colours. We will show that on triangular grids with one or two rows of triangles, and many of their variants, the first player will win when playing optimally.

Domineering is a partizan game where two players have a collection of dominoes which they place on the grid in turn, covering up squares. One player places tiles vertically, while the other places them horizontally; the first player who cannot move loses. It has been conjectured that the highest temperature possible in Domineering is 2. We have developed a program that enables a parallel exhaustive search of Domineering positions with temperatures close to or equal to 2 to allow for analysis of such positions

Snort is a two-player game played on a simple graph in which players alternately colour a vertex such that they do not colour adjacent to their opponents' vertex. In combinatorial game theory, the temperature of a position is a measure of the urgency of moving first. It is known that the temperature of \snort in general is infinite ($K_{1,n}$ has temperature $n$). We show that the temperature in addition can be infinitely larger than the degree of the board being played on. We do so by constructing a family of positions in which the temperature grows twice as fast as the degree of the board.

In this paper, we address a natural question at the intersection of combinatorial game theory and computational complexity: "Can a sum of simple tepid games in canonical form be intractable?" To resolve this fundamental question, we consider superstars, positions first introduced in Winning Ways where all options are nimbers. Extending Morris' classic result with hot games to tepid games, we prove that disjunctive sums of superstars are intractable to solve. This is striking as sums of nimbers can be computed in linear time. Our analyses also lead to a family of elegant board games with intriguing complexity, for which we present web-playable versions of the rulesets described within.

Distance games are games played on graphs in which the players alternately colour vertices, and which vertices can be coloured only depends on the distance to previously coloured vertices. The polynomial profile encodes the number of positions with a fixed number of vertices from each player. We extend previous work on finding the polynomial profile of several distance games (Col, Snort, and Cis) played on paths. We give recursions and generating functions for the polynomial profiles of generalizations of these three games when played on paths. We also find the polynomial profile of Cis played on cycles and the total number of positions of Col and Snort on cycles, as well as pose a conjecture about the number of positions when playing Col and Snort on complete bipartite graphs.

We introduce an impartial combinatorial game on Steiner triple systems called Nofil. Players move alternately, choosing points of the triple system. If a player is forced to fill a block on their turn, they lose. We explore the play of Nofil on all Steiner triple systems up to order 15 and a sampling for orders 19, 21, and 25. We determine the optimal strategies by computing the nim-values for each game and its subgames. The game Nofil can be thought of in terms of play on a corresponding hypergraph. As game play progresses, the hypergraph shrinks and will eventually be equivalent to playing the game Node Kayles on an isomorphic graph. Node Kayles is well studied and understood. Motivated by this, we study which Node Kayles positions can be reached, i.e. embedded into a Steiner triple system. We prove necessary conditions and sufficient conditions for the existence of such graph embeddings and conclude that the complexity of determining the outcome of the game Nofil on Steiner triple systems is PSPACE-complete.

Domineering is a two player game played on a checkerboard in which one player places dominoes vertically and the other places them horizontally. We give bivariate generating polynomials enumerating Domineering positions by the number of each player's pieces. We enumerate all positions, maximal positions, and positions where one player has no move. Using these polynomials we count the number of positions that occur during alternating play. Our method extends to enumerating positions from mid-game positions and we include an analysis of a tournament game.

The legal positions of a strong placement game, such as Domineering, form a simplicial complex called the legal complex. In this paper, we use the legal complex to study the game values taken on by the class of strong placement games using the legal complex. We show that many interesting values are possible, including all numbers and nimbers. We further consider how structures of the legal complex influence which values are possible.

For combinatorial games, temperature is a measure of the volatility, that is, by how much the advantage can change. Typically, the temperature has been measured for individual positions within specific games. In this paper, we give the first general upper bounds on the temperature for any class of games. For a position $G$, the closure of the set of numbers $\{g\}$ such that $G-g$ is a first player win, is called the confusion interval of $G$. Let $\ell(G)$ be the length of this interval. Our first main result is: For a class of games $\mathscr{S}$, if there are constants $J$ and $K$ such that $\ell(G^L),\ell(G^R)\leq J$ and $\ell(G)\leq K$ for for every $G\in \mathscr{S}$, then the temperature of every game is bounded by $K/2+J$. We give an example to show that this bound is tight. Our second main result is a method to find a bound for the confusion intervals. In $G^L-G$ when Left gets to go first, the number of passing moves required by Right to win gives an upper bound on $\ell(G)$. This is the first general upper bound on temperature. As examples of the bound and the method, we give upper bounds on the temperature of subclasses of Domineering and Snort.

Strong placement games (SP-games) are a class of combinatorial games whose structure allows one to describe the game via simplicial complexes. A natural question is whether well-known invariants of combinatorial games, such as "game value", appear as invariants of the simplicial complexes. This paper is the first step in that direction. We show that every simplicial complex encodes a certain type of SP-game (called an "invariant SP-game") whose ruleset is independent of the board it is played on. We also show that in the class of SP-games isomorphic simplicial complexes correspond to isomorphic game trees, and hence equal game values. We also study a subclass of SP-games corresponding to flag complexes, showing that there is always a game whose corresponding complex is a flag complex no matter which board it is played on.

We study the computational complexity of distance games, a class of combinatorial games played on graphs. A move consists of colouring an uncoloured vertex subject to it not being at certain distances determined by two sets, D and S. D is the set of forbidden distances for colouring vertices in different colors, while S is the set of forbidden distances for the same colour. The last player to move wins. Well-known examples of distance games are Node-Kayles, Snort, and Col, whose complexities were shown to be PSPACE-hard. We show that many more distance games are also PSPACE-hard.

Placement games are a subclass of combinatorial games which are played on graphs. We will demonstrate that one can construct simplicial complexes corresponding to a placement game, and this game could be considered as a game played on these simplicial complexes. These complexes are constructed using square-free monomials.

A strong placement game $G$ played on a board $B$ is equivalent to a simplicial complex $Δ_{G,B}$. We look at weight games, a subclass of strong placement games, and introduce upper bounds on the number of positions with $i$ pieces in $G$, or equivalently the number of faces with $i$ vertices in $Δ_{G,B}$, which are reminiscent of the Kruskal-Katona bounds.