How to Guard a Graph?

  • Authors:
  • Fedor V. Fomin;Petr A. Golovach;Alex Hall;Matúš Mihalák;Elias Vicari;Peter Widmayer

  • Affiliations:
  • University of Bergen, Institute of Informatics, Bergen, Norway;Durham University, School of Engineering and Computing Sciences, Durham, UK;Google, Zurich, Switzerland;ETH Zurich, Institute of Theoretical Computer Science, Universitaetstrasse 6, 8092, Zurich, Switzerland;ETH Zurich, Institute of Theoretical Computer Science, Universitaetstrasse 6, 8092, Zurich, Switzerland;ETH Zurich, Institute of Theoretical Computer Science, Universitaetstrasse 6, 8092, Zurich, Switzerland

  • Venue:
  • Algorithmica
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We initiate the study of the algorithmic foundations of games in which a set of cops has to guard a region in a graph (or digraph) against a robber. The robber and the cops are placed on vertices of the graph; they take turns in moving to adjacent vertices (or staying). The goal of the robber is to enter the guarded region at a vertex with no cop on it. The problem is to find the minimum number of cops needed to prevent the robber from entering the guarded region. The problem is highly non-trivial even if the robber’s or the cops’ regions are restricted to very simple graphs. The computational complexity of the problem depends heavily on the chosen restriction. In particular, if the robber’s region is only a path, then the problem can be solved in polynomial time. When the robber moves in a tree (or even in a star), then the decision version of the problem is NP-complete. Furthermore, if the robber is moving in a directed acyclic graph, the problem becomes PSPACE-complete.