Abstract
Depth-first proof-number (df-pn) search is a powerful member of the family of algorithms based on proof and disproof numbers. While df-pn has succeeded in practice, its theoretical properties remain poorly understood. This paper resolves the question of completeness of df-pn: its ability to solve any finite boolean-valued game tree search problem in principle, given unlimited amounts of time and memory. The main results are that df-pn is complete on finite directed acyclic graphs (DAG) but incomplete on finite directed cyclic graphs (DCG).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allis, L.V., van der Meulen, M., van den Herik, H.J.: Proof-number search. Artificial Intelligence 66(1), 91–124 (1994)
Campbell, M.: The graph-history interaction: On ignoring position history. In: 1985 Association for Computing Machinery Annual Conference, pp. 278–280 (1985)
Kishimoto, A.: Correct and Efficient Search Algorithms in the Presence of Repetitions. PhD thesis, Department of Computing Science, University of Alberta (2005)
Kishimoto, A., Müller, M.: A general solution to the graph history interaction problem. In: 19th National Conference on Artificial Intelligence (AAAI 2004), pp. 644–649. AAAI Press, Menlo Park (2004)
Kishimoto, A., Müller, M.: Search versus knowledge for solving life and death problems in Go. In: Twentieth National Conference on Artificial Intelligence (AAAI 2005), pp. 1374–1379. AAAI Press, Menlo Park (2005)
Nagai, A.: Df-pn Algorithm for Searching AND/OR Trees and Its Applications. PhD thesis, Department of Information Science, University of Tokyo (2002)
Nagai, A.: Private communication (2005)
Palay, A.J.: Searching with Probabilities. PhD thesis, Carnegie Mellon University (1983); Also published by Pitman (1985)
Pawlewicz, J., Lew, L.: Improving depth-first PN-search: 1 + ε 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)
Schaeffer, J., Burch, N., Björnsson, Y., Kishimoto, A., Müller, M., Lake, R., Lu, P., Sutphen, S.: Checkers is solved. Science 317(5844), 1518–1522 (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kishimoto, A., Müller, M. (2008). About the Completeness of Depth-First Proof-Number Search. In: van den Herik, H.J., Xu, X., Ma, Z., Winands, M.H.M. (eds) Computers and Games. CG 2008. Lecture Notes in Computer Science, vol 5131. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87608-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-87608-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87607-6
Online ISBN: 978-3-540-87608-3
eBook Packages: Computer ScienceComputer Science (R0)