PDS-PN: A New Proof-Number Search Algorithm

Abstract. The paper introduces a new proof-number (PN) search algorithm, called PDS-PN. It is a two-level search, which performs at the first level a depth-first Proof-number and Disproof-number Search (PDS), and at the second level a best-first PN search. First, we thoroughly investigate four established algorithms in the domain of LOA endgame positions: PN, PN2 , PDS and search. It turns out that PN2 and PDS are best in solving hard problems when measured by the number of solutions and the solution time. However, each of those two has a practical disadvantage: PN2 is restricted by the working memory, and PDS is relatively slow in searching. Then we formulate our new algorithm by selectively using the power of each one, viz. the two-level nature and the depth-first traversal respectively. Experiments reveal that PDS-PN is competitive with PDS in terms of speed and with PN2 since it is not restricted in working memory.

• Type: Journal
• Year: 2002
• Where: CG
• Authors: Mark H. M. Winands, Jos W. H. M. Uiterwijk, H. Jaap van den Herik
• Keywords: Algorithm, CG 2002, Computer Graphics, Search Algorithm, Two-level Search