Vor wenigen Tagen ist die neueste Ausgabe von Quartz im Internet erschienen: Nummer 47 beschäftigt sich u.a. intensiv mit der Bedingung “Isardam” im Beweispartien und berichtet über interessante Entwicklungen rund um das gerade für Märchen-Beweispartien hervorragend geeignete Prüfprogramm Jacobi.
Quartz ist besonders für jene interessant, die sich auch für Märchen-Retros interessieren, hier gibt es quasi in jeder Ausgabe etwas zu entdecken. Viel Spaß bei der Lektüre!
Prüfprogramme für Beweispartien haben besonders dann große Probleme, in überschaubarer Zeit ein Prüfergebnis zu liefern, wenn sowohl bei Weiß als auch bei Schwarz “freie”, also nicht aus dem Diagramm ableitbare Züge vorhanden sind: Beim “Brute Force” Rechnen, also der Berücksichtigung aller theoretisch möglichen Züge, führt dies schnell zu extremen Prüfzeiten, die etwa exponenziell mit der Anzahl der freien Züge wächst. Wie sagte mal ein Professor während meines Studiums? “Nichts wächst so schnell wie exponenziell.” (Schaut euch mal die Ackermannfunktion an, wenn ihr sehen wollt, wie schnell “exponenziell” wachsen kann!)
Kann man einem Prüfprogramm nun “menschliche Erkenntnisse” zum Beispiel zu Reihenfolgen von Zügen oder zur Mindest- und Höchstzahl von Zügen eines Steins mitteilen, so kann man damit die Prüfzeiten drastisch verkürzen — man muss sich dabei “nur” darüber im Klaren sein, dass dies keine vollständige Computerprüfung darstellt, denn wenn die Überlegungen zu möglichen Einschränkungen (englisch: “constraints”) des Suchbaums einen Denk- oder Notationsfehler enthalten, kann das Ergebnis unseres Rechenknechts (englisch: “computer”) natürlich nicht korrekt sein.
Natch und Euklide enthalten rudimentäre Möglichkeiten, solche “constrains” einzugeben und zu nutzen; diese wurden bei Jacobi noch erweitert. In dem interessanten Artikel “Solving program Jacobi equipped with constraints — a new tool to check proof games” haben nun Michel Caillaud, Nicolas Dupont und François Labelle anhand von jeweils drei orthodoxen und Märchen-Beweispartien die Möglichkeiten ausführlich dargestellt. Dieser lesenswerte Artikel kann auf Julias Fairy-Seite als pdf-Datei gelesen bzw. direkt heruntergeladen werden.
Sehr empfehlenswerte Lektüre!
17.11.17: Programmname (!) korrigiert … Dank an Bernd Gräfrath für den Hinweis!
Erst vor ein paar Tagen hatte ich auf die Freigabe des ersten Releases von Jacobi hingewiesen, des neuen Prüfprogramms von François Labelle speziell für Märchen-Beweispartien, da hat er schon eine neue Version (V0.2) veröffentlicht, die bekannt gewordene Fehler behebt, aber auch eine teilweise deutliche Beschleunigung des Programms mit sich bringt.
Es lohnt also, die Entwicklung dieses interessanten Programms weiter zu verfolgen!
Jacobi ist ein neues Computer-Prüfprogramm speziell für Märchen-Beweispartien (aber auch noch eine Menge Anderes) und schließt damit eine echte Marktlücke, denn orthodoxe Beweispartien lassen sich ja bereits sehr gut mit Natch oder Euclide prüfen.
Autor François Labelle hat es vor wenigen Tagen im Internet zur Verfügung gestellt: Das Lösen erfolgt auf dem eigenen Rechner, die Benutzungsschnittstelle hingegen steht im Internet zur Verfügung. Die Benutzungsschnittstelle ist ein wenig gewöhnugnsbedürftig und orientiert sich etwa an Popeye. Besonders hervorzuheben ist der “PG demolition mode”, der aufgrund von Heuristiken zunächst die “gefährlichsten” Abspiele sucht, um so möglichst schnell Nebenlösungen zu finden — gerade während des Kompositionsprozesses besonders praktisch, da zeitsparend.
Jacobi hat wie zu erwarten bereits erfolgreich “zugeschlagen”, so hat das Programm schon in seiner Betatest-Phase einige Märchenberweispartien gekocht, und auch von einem Komponisten habe ich den ersten “Erfolg” beim Kochen einer bereits veröffentlichten Aufgabe mitgeteilt bekommen. Gleichzeitig kann er nun einige Aufgaben, an deren Korrektheit er nicht glauben wollte, mit dem Gütesiegel “C+ (Jacobi)” versehen.
Probiert Jacobi einfach aus — es ist für Komponisten und Preisrichter sicherlich eine unschätzbare Hilfe!
Heute hat Thomas Maeder die neue Version 4.79 von Popeye freigegeben, die ihr wie immer bei github herunterladen könnt.
Die neue Version unterstützt nun die “partielle Paralyse”, die beim Sake-Turnier im Zusammenhang mit dem WCCC das Thema bildet; Aufgaben dafür können nun also mit Popeye geprüft werden.
Darüber hinaus gibt es einige Fehlerbehebungen, u.a. auch bei der Bedingung “verlorene Steine”, die in diesem Jahr in Andernach das Kompositionsthema war.
Ich kann euch das Update nur dringend empfehlen.
Woran erkennt man, dass das Problemschachtreffen in Andernach vor der Tür steht? Es gibt eine neue Version von Popeye! Die Version 4.77 könnt ihr wie immer kostenfrei herunterladen und installieren — viel Spaß damit!
Auch wenn es dort keine Retros zu bewundern gibt, ist dies doch eine sehr erfreuliche Neuigkeit: Die Zweizüger-Sammlung, die einst Hermann Albrecht (30.08.1915-26.05.1982) begründet hatte, ist nun im Internet verfügbar!
Nach Albrechts Tod hatte Hans-Dieter Leiß (15.01.1941-23.10.1994) die Sammlung, die damals ungefähr 85.000 Aufgaben umfasste, übernommen und fortgeführt. Schließlich landete sie bei Udo Degener, der sie intensiv weiterführt (heute: mehr als 190.000 Aufgaben!!) und schon lange daran arbeitet, sie für das Internet aufzubereiten. Nun ist sie nutzbar, bleibt aber natürlich “work in progress”.
Ich bewundere die großartige Leistung, die darin steckt, solch eine früher papierbasierte Sammlung ins Internet zu bringen: Das ist ja deutlich mehr, als “nur” die Diagramme und Lösungen zu erfassen, genau so wichtig und noch viel arbeitsintensiver ist die sinnvolle und systematische Verschlagwortung, um themenbezogene Abfragen stellen zu können. Unglaublich wertvoll für den Zweizüger-Spezialisten, aber auch für alle anderen Problemisten eine Sammlung, die immer wieder zum Besuch und Stöbern einlädt!
Die Optimierungen, die Pascal Wassong in sein Beweispartie-Prüfprogramm Natch in der “Dreier-Version” eingebaut hatte, haben bei einigen Spezialfällen dazu geführt, dass nicht alle Lösungen gefunden wurden. Erste Korrekturen hatte Pascal schon nachgereicht, nun ist die Version 3.1 erschienen, die einen besonders kniffligen Fehler behebt.
Diese Version kann wieder kostenlos von der Natch Homepage heruntergeladen werden; er stehen fertige Pakete für Windows (64 und 32 Bit) sowie die kompletten Programmquellen zur Verfügung.