Abstract
We introduce a 2-player game played on an infinite grid, initially empty, where each player in turn chooses a vertex and colours it. The first player aims to create some pattern from a target set, while the second player aims to prevent it.
We study the problem of deciding which player wins, and prove that it is undecidable. We also consider a variant where the turn order is not alternating but given by a balanced word, and we characterise the decidable and undecidable cases.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
The name “Domino game” has sometimes been used for the one-player version.
- 2.
A strategy does not need to be defined on unreachable positions, e.g. infinite patterns.
- 3.
Choosing \(\llbracket -n-1, n+1\rrbracket \times \llbracket -n, n \rrbracket ^{d-1}\) as the support for forbidden patterns would be enough, but we made the support slightly larger for clarity.
References
Allis, L.V., van den Herik, H.J., Huntjens, M.P.H.: Go-Moku solved by new search techniques. Comput. Intell. 12 (1996). https://doi.org/10.1111/j.1467-8640.1996.tb00250.x
Berger, R.: The Undecidability of the Domino Problem. Memoirs of the American Mathematical Society. American Mathematical Society (1966)
Brumleve, D., Hamkins, J.D., Schlicht, P.: The mate-in-n problem of infinite chess is decidable (2012)
Chlebus, B.S.: Domino-tiling games. J. Comput. Syst. Sci. 32, 374–392 (1986). https://doi.org/10.1016/0022-0000(86)90036-X
Evans, C.D.A., Hamkins, J.D.: Transfinite game values in infinite chess (2014)
Hsu, W.Y., Ko, C.L., Chen, J.C., Wei, T.H., Hsueh, C.H., Wu, I.C.: On solving the 7,7,5-game and the 8,8,5-game. Theor. Comput. Sci. 815, 79–94 (2020). https://doi.org/10.1016/j.tcs.2020.02.023
Lothaire, M.: Algebraic Combinatorics on Words, vol. 90. Cambridge University Press, Cambridge (2002)
Morse, M., Hedlund, G.: Symbolic Dynamics II: Sturmian Trajectories. Johns Hopkins University Press (1940)
Myers, D.: Nonrecursive tilings of the plane. II. J. Symb. Log. 39, 286–294 (1974). https://doi.org/10.2307/2272641
Salo, V., Törmä, I.: Playing with subshifts. Fundam. Inform. 132, 131–152 (2014). https://doi.org/10.3233/fi-2014-1037
Schwarzentruber, F.: The complexity of tiling problems. CoRR abs/1907.00102 (2019). http://arxiv.org/abs/1907.00102
Acknowledgements
The authors received financial support from IZES, an ANR project.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Hellouin de Menibus, B., Pallen, R. (2024). Two-Player Domino Games. In: Levy Patey, L., Pimentel, E., Galeotti, L., Manea, F. (eds) Twenty Years of Theoretical and Practical Synergies. CiE 2024. Lecture Notes in Computer Science, vol 14773. Springer, Cham. https://doi.org/10.1007/978-3-031-64309-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-031-64309-5_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-64308-8
Online ISBN: 978-3-031-64309-5
eBook Packages: Computer ScienceComputer Science (R0)