Abstract
Tzaar is an abstract strategy two-player game, which has recently gained popularity in the gaming community and has won several awards. There are some properties, most notably the high branching factor, that make Tzaar hard for computers. We developed Waltz, a strong Tzaar-playing program, using enhanced variants of Alpha-beta and Proof-number Search based algorithms. After many tests with computer opponents and a year of deployment on a popular board-gaming portal, we conclude that Waltz can defeat all available computer programs and even strong human players. In this paper we describe Waltz, its performance and an enhancement of Proof-number Search developed for Waltz that can be also used in other domains than Tzaar.
Tomáš Valla—This work was supported by the Centre of Excellence—Inst. for Theor. Comp. Sci. (project P202/12/G061 of GA ČR).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The name stands for the recursive acronym Waltz ALgorithmic TZaar.
- 2.
There are also some more programs available, but due to their design it is not possible to run automatic play-outs between them and Waltz.
- 3.
299 players have played Tzaar in the last six month till May 10, 2013 and 24 842 Tzaar games were finished on BAJ from October 31, 2008 to May 10, 2013.
- 4.
For a win a player obtains some ELO points according to his and opponent’s ELO and his opponent loses the same number of points. New player receives ELO \(1\,500\).
- 5.
Some of these games were played for testing purposes.
- 6.
ELOs of players and other data in this section were up to the date March 4, 2013.
- 7.
Some of these games were against other Waltz versions—this was done to increase robot’s ELO, otherwise strong players would not want to play against an opponent with a low ELO.
References
Allis, L.V.: Searching for solutions in games and artificial intelligence. Ph.D. thesis, University of Limburg, Maastricht, The Netherlands (1994)
Burm, K.: Tzaar rules. GIPF Project. http://www.gipf.com/tzaar/rules/rules.html
Chinchalkar, S.: An upper bound for the number of reachable positions. ICCA J. 19(3), 181–183 (1996)
Ueda, T., Hashimoto, T., Hashimoto, J., Iida, H.: Weak Proof-number search. In: van den Herik, H.J., Xu, X., Ma, Z., Winands, M.H.M. (eds.) CG 2008. LNCS, vol. 5131, pp. 157–168. Springer, Heidelberg (2008)
Kishimoto, A.: Dealing with infinite loops, underestimation, and overestimation of depth-first proof-number search. In: Fox, M., Poole, D. (eds.) Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA. AAAI Press (2010)
Nagai, A.: Df-pn algorithm for searching AND/OR trees and its applications. Ph.D. thesis, The University of Tokyo, Japan (2002)
Pawlewicz, J., Lew, Ł.: Improving depth-first PN-search: 1 + \(\epsilon \) trick. In: van den Herik, H.J., Ciancarini, P., Donkers, H.H.L.M.J. (eds.) CG 2006. LNCS, vol. 4630, pp. 160–171. Springer, Heidelberg (2007)
Saffidine, A., Jouandeau, N., Cazenave, T.: Solving breakthrough with race patterns and job-level proof number search. In: van den Herik, H.J., Plaat, A. (eds.) ACG 2011. LNCS, vol. 7168, pp. 196–207. Springer, Heidelberg (2012)
Saito, J.-T., Winands, M.H.M., van den Herik, H.J.: Randomized parallel proof-number search. In: van den Herik, H.J., Spronck, P. (eds.) ACG 2009. LNCS, vol. 6048, pp. 75–87. Springer, Heidelberg (2010)
Thomsen, T.: Lambda-search in game trees - with application to go. ICGA J. 23(4), 203–217 (2001). (Springer)
Valla, T., Veselý, P.: Waltz. http://kam.mff.cuni.cz/~vesely/tzaar/
Vasconcelos, P.: HsTZAAR. http://www.dcc.fc.up.pt/~pbv/stuff/hstzaar/
Veselý, P.: Artificial intelligence in abstract 2-player games. Bachelor’s thesis, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. http://kam.mff.cuni.cz/~vesely/tzaar/thesis.pdf (2012)
Wentink, D.: Analysis and implementation of the game Gipf. Master’s thesis, Universiteit Maastricht (2001)
Winands, M.H.M., Schadd, M.P.D.: Evaluation-function based proof-number search. In: van den Herik, H.J., Iida, H., Plaat, A. (eds.) CG 2010. LNCS, vol. 6515, pp. 23–35. Springer, Heidelberg (2011)
Wu, I.-C., Lin, H.-H., Lin, P.-H., Sun, D.-J., Chan, Y.-C., Chen, B.-T.: Job-level proof-number search for Connect6. In: van den Herik, H.J., Iida, H., Plaat, A. (eds.) CG 2010. LNCS, vol. 6515, pp. 11–22. Springer, Heidelberg (2011). http://dl.acm.org/citation.cfm?id=1950322.1950324
Yoshizoe, K.: A new proof-number calculation technique for proof-number search. In: van den Herik, H.J., Xu, X., Ma, Z., Winands, M.H.M. (eds.) CG 2008. LNCS, vol. 5131, pp. 135–145. Springer, Heidelberg (2008)
Boiteajeux board-gaming portal. http://www.boiteajeux.net/
GAMES game awards. Games Magazine. http://www.gamesmagazine-online.com/gameslinks/archives.html2009awards
List of games, ICGA tournaments. [cit. 2013-05-11]. http://www.grappa.univ-lille3.fr/icga/games.php
Spiel des jahres, awarded games 2008. http://www.spiel-des-jahres.com/cms/front_content.php?idart=925
Tzaar - ai game project for 2011. http://www.math.uaa.alaska.edu/~afkjm/cs405/tzaar/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Valla, T., Veselý, P. (2014). WALTZ: A Strong Tzaar-Playing Program. In: Cazenave, T., Winands, M., Iida, H. (eds) Computer Games. CGW 2013. Communications in Computer and Information Science, vol 408. Springer, Cham. https://doi.org/10.1007/978-3-319-05428-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-05428-5_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-05427-8
Online ISBN: 978-3-319-05428-5
eBook Packages: Computer ScienceComputer Science (R0)