On the computational complexity of a game of cops and robbers
Computational Complexity
2012-12-19 v2
Abstract
We study the computational complexity of a perfect-information two-player game proposed by Aigner and Fromme. The game takes place on an undirected graph where n simultaneously moving cops attempt to capture a single robber, all moving at the same speed. The players are allowed to pick their starting positions at the first move. The question of the computational complexity of deciding this game was raised in the '90s by Goldstein and Reingold. We prove that the game is hard for PSPACE.
Cite
@article{arxiv.1202.6043,
title = {On the computational complexity of a game of cops and robbers},
author = {Marcello Mamino},
journal= {arXiv preprint arXiv:1202.6043},
year = {2012}
}
Comments
15 pages, 2 figures. Final accepted version, to be published in Theoretical Computer Science