Sciweavers

Share
CG
2002
Springer

PDS-PN: A New Proof-Number Search Algorithm

8 years 7 months ago
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.
Mark H. M. Winands, Jos W. H. M. Uiterwijk, H. Jaa
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2002
Where CG
Authors Mark H. M. Winands, Jos W. H. M. Uiterwijk, H. Jaap van den Herik
Comments (0)
books