Proof-Number-Suche (kurz: PN-Suche) bzw. Beweiszahlsuche ist ein Spielbaum-Suchalgorithmus, erfunden von Victor Allis, ursprünglich zur Lösung der Spiele Vier gewinnt, Qubic (1990). Anwendungen sind hauptsächlich in der Endspiel-Lösung und für Teilziele während des Spiels. Zur Anwendung des Algorithmus wird ein binäres Ziel definiert (z. B....