PolySolver (Software)

PolySolver (kurz für PolyForm Puzzle Solver) ist ein frei verfügbares Java-Programm von Jaap Scherphuis und löst eine große Klasse von Polyform-Geduldspielen für uns. Der PolySolver ist einfach zu bedienen und man kann die Konfigurationen für einzelne Geduldspiele abspeichern oder auch fertig downloaden.

Verschiedene zugrundeliegende Bausteine für Polyformen sind möglich: Diese sog. Gitter können nicht nur aus Quadraten bestehen, sondern auch Dreiecke (wie im Bild), Sechsecke und andere Gitter sind möglich. Auch dreidimensionale Polyformen sind möglich, bei der aktuellen Version 3.30 können diese allerdings nur aus Würfeln bestehen.

Anwendung: 

Wir können den PolySolver verwenden, wenn wir aufgegeben haben, weil wir ein Geduldspiel nicht ohne Hilfe lösen können. Oder wenn wir die genaue Anzahl von Lösungen wissen wollen. Da der Aufwand für die vollständige Analyse eines Geduldspiels exponenziell mit der Anzahl der verwendeten Spielsteine steigt, sind auch mit dem PolySolver nur Geduldspiele bis zu einer gewissen Größe lösbar. Für die üblichen Geduldspiele reicht die Leistungsfähigkeit allemal.

Mit zusätzlichen Tricks lassen sich auch andere Geduldspiele äquivalent in automatisch lösbare Polyform-Puzzles umwandeln, denen man das zunächst nicht ansieht.

Download:

Jar-File (sofort lauffähig auf fast allen Plattformen) und Kurzanleitung (in Englisch):  https://www.jaapsch.net/puzzles/polysolver.htm. Das Programm kann PolySolver-Dateien aus dem Internet herunterladen und Nutzer können ihre eigenen Dateien hochladen.

Verwendung im Blog:

Da mit Hilfe des PolySolvers gewonnene Erkenntnisse die Lösung eines Geduldspiels vereinfachen können (neben dem Bild mit einer Lösung auch Informationen über eine große oder kleine Anzahl von Lösungen oder die Zeitdauer, die der PolySolver benötigt hat), sollen diese Ergebnisse dem Leser nicht unvorbereitet ins Auge fallen. Deshalb werden sie wie die Lösungshinweise hinter einem Button versteckt. 

Lösungshinweis:

Zehn Y-Pentominos in einem 5x10-Rechteck

 

Dahinter verstecken sich möglicherweise folgende Informationen:

• Anzahl der gefundene Lösungen;
• die dafür benötigte Zeit;
• die Abbildung einer Lösung (nur wenn es viele Lösungen gibt und durch das Anzeigen einer einzigen Lösung nicht die gesamte Freude an einer eigenen Lösung genommen wird);
• die PolySolver-Datei für das Geduldspiel zum Download.

Es gibt bereits in vielen Blogposts fertige PolySolver-Dateien oder andere PolySolver-Informationen.

Entwicklung:  Jaap Scherphuis, seit 2004, letzte Version 3.30 von 2019