Abstract
Cram, Domineering, and Arc Kayles are well-studied combinatorial games. They are interpreted as edge-selecting-type games on graphs, and the selected edges during a game form a matching. In this paper, we define a generalized game called Colored Arc Kayles, which includes these games. Colored Arc Kayles is played on a graph whose edges are colored in black, white, or gray, and black (resp., white) edges can be selected only by the black (resp., white) player, while gray edges can be selected by both black and white players. We first observe that the winner determination for Colored Arc Kayles can be done in \(O^*(2^n)\) time by a simple algorithm, where n is the order of the input graph. We then focus on the vertex cover number, which is linearly related to the number of turns, and show that Colored Arc Kayles, BW-Arc Kayles, and Arc Kayles are solved in time \(O^*(1.4143^{{\tau }^2+3.17{\tau }})\), \(O^*(1.3161^{{\tau }^2+4{{\tau }}})\), and \(O^*(1.1893^{{\tau }^2+6.34{{\tau }}})\), respectively, where \({\tau }\) is the vertex cover number. Furthermore, we present an \(O^*((n/{\nu }+1)^{{\nu }})\)-time algorithm for Arc Kayles, where \({\nu }\) is neighborhood diversity. We finally show that Arc Kayles on trees can be solved in \(O^* (2^{n/2})(=O(1.4143^n))\) time, which improves \(O^*(3^{n/3})(=O(1.4423^n))\) by a direct adjustment of the analysis of Bodlaender et al.’s \(O^*(3^{n/3})\)-time algorithm for Node Kayles.
Similar content being viewed by others
Notes
The \(O^*(\cdot )\) notation suppresses polynomial factors in the input size.
References
Bodlaender, H.L., Kratsch, D.: Kayles and nimbers. J. Algorithms 43(1), 106–119 (2002)
Bodlaender, H.L., Kratsch, D., Timmer, S.T.: Exact algorithms for Kayles. Theor. Comput. Sci. 562, 165–176 (2015)
Breuker, D., Uiterwijk, J., van den Herik, H.: Solving 8\(\times \)8 domineering. Theor. Comput. Sci. 230(1), 195–206 (2000)
Bullock, N.: Domineering: solving large combinatorial search spaces. ICGA J. 25(2), 67–84 (2002)
Chen, J., Kanj, I., Xia, G.: Improved upper bounds for vertex cover. Theor. Comput. Sci. 411(40–42), 3736–3756 (2010)
Conway, J.H.: On Numbers and Games. CRC Press, Boca Raton (2000)
Dudeney, H.: The Canterbury Puzzles. Courier Corporation (2002)
Gardner, M.: Mathematical games: cram, crosscram and quadraphage: new games having elusive winning strategies. Sci. Am. 230(2), 106–108 (1974)
Huggan, M.A., Stevens, B.: Polynomial time graph families for arc Kayles. Integers 16, A86 (2016)
Kobayashi, Y.: On structural parameterizations of node kayles. In: Proceedings of the 21st Japanese Conference on Discrete and Computational Geometry and Graphs (JCDCGGG 2018). Lecture Notes in Computer Science, vol. 13034, pp. 96–105. Springer (2018)
Lachmann, M., Moore, C., Rapaport, I.: Who wins domineering on rectangular boards?. arXiv:hep-th/0006066 (2000)
Lampis, M.: Algorithmic meta-theorems for restrictions of treewidth. Algorithmica 64(1), 19–37 (2012)
Lampis, M., Mitsou, V.: The computational complexity of the game of set and its theoretical applications. In: Proceedings of the 11th Latin American Symposium on Theoretical Informatics (LATIN 2014). Lecture Notes in Computer Science, vol. 8392, pp. 24–34. Springer (2014)
Schaefer, T.J.: On the complexity of some two-person perfect-information games. J. Comput. Syst. Sci. 16(2), 185–225 (1978)
Uiterwijk, J.W.: 11\(\times \)11 domineering is solved: the first player wins. In: International Conference on Computers and Games, pp. 129–136. Springer (2016)
Uiterwijk, J.W.: Construction and investigation of cram endgame databases. ICGA J. 40(4), 425–437 (2018)
Uiterwijk, J.W.: Solving cram using combinatorial game theory. In: Advances in Computer Games, pp. 91–105. Springer (2019)
Uiterwijk, J.W., Barton, M.: New results for domineering from combinatorial game theory endgame databases. Theor. Comput. Sci. 592, 72–86 (2015)
Yoshiwatari, K., Kiya, H., Hanaka, T., Ono, H.: Winner determination algorithms for graph games with matching structures. In: Proceedings of the 33rd International Workshop on Combinatorial Algorithms (IWOCA 2022), pp. 509–522. Springer International Publishing (2022)
Acknowledgements
This work is partially supported by JSPS KAKENHI JP20H05967, JP21H05852, JP21K17707, JP21K19765, JP21K21283, JP22H00513.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors do not have any conflict of interest in hiring, financial support, or others.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A preliminary version of this paper appears in Proceedings of the 33rd International Workshop on Combinatorial Algorithms (IWOCA 2022), Lecture Notes in Computer Science, Vol. 13270, pp. 509–522, Springer, 2022 [19].
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Hanaka, T., Kiya, H., Ono, H. et al. Winner Determination Algorithms for Graph Games with Matching Structures. Algorithmica 86, 808–824 (2024). https://doi.org/10.1007/s00453-023-01136-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-023-01136-w