Abstract
Several results about the game of cops and robbers on infinite graphs are analyzed from the perspective of computability theory. Computable robber-win graphs are constructed with the property that no computable robber strategy is a winning strategy, and such that for an arbitrary computable ordinal \(\alpha \), any winning strategy has complexity at least \(0^{(\alpha )}\). Symmetrically, computable cop-win graphs are constructed with the property that no computable cop strategy is a winning strategy. Locally finite infinite trees and graphs are explored. The Turing computability of a binary relation used to classify cop-win graphs is studied, and the computational difficulty of determining the winner for locally finite computable graphs is discussed.
Similar content being viewed by others
References
Bonato, A., Nowakowski, R.J.: The Game of Cops and Robbers on Graphs, vol. 61. American Mathematical Society, Providence (2011)
Nowakowski, R., Winkler, P.: Vertex-to-vertex pursuit in a graph. Discrete Math. 43(2–3), 235–239 (1983)
Sacks, G.E.: Higher recursion theory. Springer, Berlin (2010)
Soare, R.I.: Turing Computability: Theory and Applications. Springer, Berlin (2016)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Stahl, R.D. Computability and the game of cops and robbers on graphs. Arch. Math. Logic 61, 373–397 (2022). https://doi.org/10.1007/s00153-021-00794-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-021-00794-3
Keywords
- Cops and robbers on graphs
- Infinite graphs
- Computability
- Effective strategy
- Games on graphs
- Locally finite trees