PDS-PN: A new proof-number search algorithm - Application to lines of action

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 Lines of Action 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: 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. © Springer-Verlag Berlin Heidelberg 2003.