Abstract
We present Solrex, an automated solver for the game of Reverse Hex. Reverse Hex, also known as Rex, or Misère Hex, is the variant of the game of Hex in which the player who joins her two sides loses the game. Solrex performs a mini-max search of the state space using Scalable Parallel Depth First Proof Number Search, enhanced by the pruning of inferior moves and the early detection of certain winning strategies.
Solrex is implemented on the same code base as the Hex program Solver, and can solve arbitrary positions on board sizes up to 6 \(\times \) 6, with the hardest position taking less than four hours on four threads.
The authors gratefully acknowledge the support of NSERC.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
All opening 5 \(\times \) 5 Rex moves lose, so we picked all possible replies to the presumably strongest opening move.
References
Anshelevich, V.V.: The game of Hex: an automatic theorem proving approach to game programming. In: AAAI/IAAI, pp. 189–194. AAAI Press/The MIT Press, Menlo Park (2000)
Arneson, B., Hayward, R.B., Henderson, P.: Solving Hex: beyond humans. In: Herik, H.J., Iida, H., Plaat, A. (eds.) CG 2010. LNCS, vol. 6515, pp. 1–10. Springer, Heidelberg (2011). doi:10.1007/978-3-642-17928-0_1
Arneson, B., Henderson, P., Hayward, R.B.: Benzene (2009). http://benzene.sourceforge.net/
Evans, R.J.: A winning opening in reverse Hex. J. Recreational Math. 7(3), 189–192 (1974)
Gardner, M.: Mathematical games: concerning the game of hex, which may be played on the tiles of the bathroom floor. Sci. Am. 197(1), 145–150 (1957)
Gardner, M.: Mathematical games: four mathematical diversions involving concepts of topology. Sci. Am. 199(4), 124–129 (1958)
Gardner, M.: Mathematical games: games of strategy for two players: star nim, meander, dodgem, and rex. Sci. Am. 232(6), 106–111 (1975)
Gardner, M.: Hexaflexagons and other mathematical diversions: the first scientific American book of puzzles and games, Chap. 8, pp. 73–83. University of Chicago Press, Chicago, USA (1988)
Hayward, R.B., Toft, B., Henderson, P.: How to play reverse hex. Discrete Math. 312, 148–156 (2012)
Hein, P.: Vil de laere Polygon? Politiken, December 1942
Henderson, P.: Playing and solving Hex. Ph.D. thesis, UAlberta (2010). http://webdocs.cs.ualberta.ca/hayward/theses/ph.pdf
Henderson, P., Arneson, B., Hayward, R.B.: Solving 8 \(\times \) 8 Hex. In: Boutilier, C. (ed.) IJCAI, pp. 505–510 (2009)
Lagarias, J., Sleator, D.: The mathemagician and pied puzzler: a collection in tribute to martin gardner. In: Berlekamp, E., Rodgers, T. (eds.) Chap. 3, pp. 237–240. A.K. Peters (1999)
Pawlewicz, J., Hayward, R.B.: Scalable parallel DFPN search. In: Herik, H.J., Iida, H., Plaat, A. (eds.) CG 2013. LNCS, vol. 8427, pp. 138–150. Springer, Heidelberg (2014). doi:10.1007/978-3-319-09165-5_12
Acknowledgments
We thank Jakub Pawlewicz for helpful comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Young, K., Hayward, R.B. (2016). A Reverse Hex Solver. In: Plaat, A., Kosters, W., van den Herik, J. (eds) Computers and Games. CG 2016. Lecture Notes in Computer Science(), vol 10068. Springer, Cham. https://doi.org/10.1007/978-3-319-50935-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-50935-8_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-50934-1
Online ISBN: 978-3-319-50935-8
eBook Packages: Computer ScienceComputer Science (R0)