Abstract:Graph Exploration problems ask a searcher to explore an unknown environment. The environment is modeled as a graph, where the searcher needs to visit each vertex beginning at some vertex. Treasure Hunt problems are a variation of Graph Exploration, in which the searcher needs to find a hidden treasure, which is located at a designated vertex. Usually these problems are modeled as online problems, and any online algorithm performs poorly because it has too little knowledge about the instance to react adequately to the requests of the adversary. Thus, the impact of a priori knowledge is of interest. One form of a priori knowledge is an unlabeled map, which is an isomorphic copy of the graph. We analyze Graph Exploration and Treasure Hunt problems with an unlabeled map that is provided to the searcher. For this, we formulate decision variants of both problems by interpreting the online problems as a game between the online algorithm (the searcher) and the adversary. The map, however, is not controllable by the adversary. The question is whether the searcher is able to explore the graph completely or find the treasure for all possible decisions of the adversary. We analyze these games in multiple settings, with and without costs on the edges, on directed and undirected graphs and with different constraints (allowing multiple visits to vertices or edges) on the solution. We prove PSPACE-completeness for most of these games. Additionally, we analyze the complexity of related problems that have additional constraints on the solution.

Paintbucket on graphs is PSPACE-complete

Chip games and multipartite graph paintability

Taub, Rindler, and the static plate

The general position avoidance game and hardness of general position games

Atropos-k is PSPACE-complete

A PSPACE-complete Graph Nim

Paintability of $r$-chromatic graphs

Turning Tiles is PSPACE-complete

Vexing vexillological logic

Inapproximability of the Standard Pebble Game and Hard to Pebble Graphs

The Complexity of Graph Exploration Games

Optimally Solving Colored Generalized Sliding-Tile Puzzles: Complexity and Bounds

Parity Games on Temporal Graphs

On the computational complexities of various Geography variants

Colouring a graph with position sets

On monotonicity in Maker–Breaker graph colouring games

A complete solution for the partisan chocolate game

A Game of Pawns

$H$-games played on vertex sets of random graphs

Rabin Games and Colourful Universal Trees