Skip to main content

Reducing the Seesaw Effect with Deep Proof-Number Search

  • Conference paper
  • First Online:
Advances in Computer Games (ACG 2015)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9525))

Included in the following conference series:

Abstract

In this paper, DeepPN is introduced. It is a modified version of PN-search. It introduces a procedure to solve the seesaw effect. DeepPN employs two important values associated with each node, viz. the usual proof number and a deep value. The deep value of a node is defined as the depth to which each child node has been searched. So, the deep value of a node shows the progress of the search in the depth direction. By mixing the proof numbers and the deep value, DeepPN works with two characteristics, viz., the best-first manner of search (equal to the original proof-number search) and the depth-first manner. By adjusting a parameter (called R in this paper) we can choose between best-first or depth-first behavior. In our experiments, we tried to find a balance between both manners of searching. As it turned out, best results were obtained at an R value in between the two extremes of best-first search (original proof number search) and depth-first search. Our experiments showed better results for DeepPN compared to the original PN-search: a point in between best-first and depth-first performed best. For random Othello and Hex positions, DeepPN works almost twice as good as PN-search. From the results, we may conclude that Deep Proof-Number Search outperforms PN-search considerably in Othello and Hex.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Kishimoto, A., Müller, M.: About the completeness of depth-first proof-number search. In: van den Herik, H.J., Xu, X., Ma, Z., Winands, M.H.M. (eds.) CG 2008. LNCS, vol. 5131, pp. 146–156. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  2. Kishimoto, A., Winands, M., Müller, M., Saito, J.-T.: Game-tree search using proof numbers: the first twenty years. ICGA J. 35(3), 131–156 (2012)

    Article  Google Scholar 

  3. Kishimoto, A., Muller, M.: Search versus knowledge for solving life and death problems in go. In: Twentieth National Conference on Artificial Intelligence (AAAI 2005), pp. 1374–1379 (2005)

    Google Scholar 

  4. Kishimoto, A.: Correct and Efficient Search Algorithms in the Presence of Repetitions, Ph.D. thesis, University of Alberta (2005)

    Google Scholar 

  5. Nagai, A.: Df-pn Algorithm for Searching AND/OR Trees and Its Applications. Ph.D. thesis, Dept. of Information Science, University of Tokyo, Tokyo (2002)

    Google Scholar 

  6. Nagai, A.: A new AND/OR tree search algorithm using proof number and disproof number. In: Proceedings of Complex Games Lab Workshop, pp. 40–45. ETL, Tsukuba (1998)

    Google Scholar 

  7. Nagai, A.: A new depth-first search algorithm for AND/OR trees. M.Sc. thesis, Department of Information Science, The University of Tokyo, Japan (1999)

    Google Scholar 

  8. Plaat, A., Schaeffer, J., Pijls, W., de Bruin, A.: Best-first and depth-first minimax search in practice. In: Proceedings of Computer Science in the Netherlands, pp. 182–193 (1995)

    Google Scholar 

  9. Plaat, A., Schaeffer, J., Pijls, W., de Bruin, A.: SSS* = Alpha-beta + TT. Technical report 94–17, University of Alberta, Edmonton, Canada (1994)

    Google Scholar 

  10. McAllester, D.: Conspiracy numbers for min-max search. Artif. Intell. 35(1), 287–310 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  11. Hashimoto, J.: A Study on Game-Independent Heuristics in Game-Tree Search. Ph.D. thesis, School of Information Science, Japan Advanced Institute of Science and Technology (2011)

    Google Scholar 

  12. 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)

    Chapter  Google Scholar 

  13. Schaeffer, J., Björnsson, Y., Burch, N., Kishimoto, A., Müller, M., Lake, R., Lu, P., Sutphen, S.: Checkers is solved. Science 317(5844), 1518–1522 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  14. Schaeffer, J.: Game over: black to play and draw in checkers. ICGA J. 30(4), 187–197 (2007)

    Google Scholar 

  15. Hoki, K., Kaneko, T., Kishimoto, A., Ito, T.: Parallel dovetailing and its application to depth-first proof-number search. ICGA J. 36(1), 22–36 (2013)

    Article  Google Scholar 

  16. Allis, L.V., van der Meulen, M., van den Herik, H.J.: Proof-number search. Artif. Intell. 66(1), 91–124 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  17. Seo, M., Iida, H., Uiterwijk, J.W.H.M.: The PN*-search algorithm: application to tsume-shogi. Artif. Intell. 129(4), 253–277 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  18. Winands, M.H.M.: Informed Search in Complex Games., Ph.D. thesis, Maastricht University, The Netherlands (2004)

    Google Scholar 

  19. 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)

    Chapter  Google Scholar 

Download references

Acknowledgements

This research is funded by a grant from the Japan Society for the Promotion of Science, in the framework of the Grant-in-Aid for Challenging Exploratory Research (grant number 26540189).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Taichi Ishitobi .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Ishitobi, T., Plaat, A., Iida, H., van den Herik, J. (2015). Reducing the Seesaw Effect with Deep Proof-Number Search. In: Plaat, A., van den Herik, J., Kosters, W. (eds) Advances in Computer Games. ACG 2015. Lecture Notes in Computer Science(), vol 9525. Springer, Cham. https://doi.org/10.1007/978-3-319-27992-3_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-27992-3_17

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-27991-6

  • Online ISBN: 978-3-319-27992-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics