4-uniform Maker-Breaker and Maker-Maker games are PSPACE-complete
By: Florian Galliot
Potential Business Impact:
Makes games about claiming points hard to win.
We study two positional games where two players take turns picking a previously unpicked vertex of a hypergraph $H$. We say a player fills an edge of $H$ if that player has picked all the vertices of that edge. In the Maker-Maker game, whoever first fills an edge wins, or we get a draw if no edge is filled. In the Maker-Breaker game, the first player aims at filling an edge while the second player aims at preventing the first player from filling an edge. We show that, for both games, deciding whether the first player has a winning strategy is a PSPACE-complete problem even when restricted to 4-uniform hypergraphs. For the Maker-Maker game, this improves on a previous result for hypergraphs of rank 4. For the Maker-Breaker game, this improves on a previous result for 5-uniform hypergraphs, and closes the complexity gap as the problem for hypergraphs of rank 3 is known to be solvable in polynomial time.
Similar Papers
4-uniform Maker-Breaker and Maker-Maker games are PSPACE-complete
Discrete Mathematics
Makes games about claiming points hard to win.
Solving Maker-Breaker Games on 5-uniform hypergraphs is PSPACE-complete
Discrete Mathematics
Helps decide who wins a complex guessing game.
Maker-Maker games of rank 4 are PSPACE-complete
Discrete Mathematics
Makes games harder to predict for computers.