Das Interview wurde von Christopher Conkie, Michael Diosi

Hallo Eiko. Vielen Dank für Deine Einwilligung diese Fragen zu beantworten.

Frage 1.

Hallo Eiko. Seit fast einem Jahr gibt es offiziell Dein Programm Freezer zu kaufen. Kannst Du kurz zusammen fassen, worum es beim Freezer geht ?

Ja gerne. Der Freezer ist ein Tool, um bestimmte Arten von Endspielen wasserdicht analysieren zu können. Kurz gesagt können damit komplette Endspieldatenbanken selber erzeugt werden, ähnlich den Nalimov Tablebases.

Frage 2.

Tablebases sind ein gutes Stichwort. Bisher gibt es einerseits die normalen Spielprogramme wie Fritz und Shredder, und die Datenbanken andererseits. Wie ordnet sich der Freezer da ein ?

Die herkömmliche Analyse in Schachprogrammen basiert auf Bewertungen, die - wenn es nicht gerade eine Matt-Stellung ist - natürlich auch Fehler enthält. Endspieldatenbanken hingegen enthalten die Wahrheit schlecht hin; die Nalimov Tablebases beispielsweise enthalten die Anzahl der Züge bis zum Matt. So schön die Tablebases auch sind, haben sie doch einen gewaltigen Nachteil: Sie sind riesengroß. Während die 4-Steiner noch mit ca. 30 MB auskommen, braucht man für alle 5-Steiner schon 7 GB, was heute sicherlich kein großes Problem mehr darstellt. Aber die 6-Steiner liegen mit geschätzten 1,5 Terabyte für die meisten Schachspieler jenseits von Gut und Böse. Und hier kommt der Freezer ins Spiel. Anstatt Datenbanken zu erzeugen, die riesig sind und unzählige Stellungen enthalten, die für eine bestimmte Analyse einfach uninteressant sind, kann man hier nur "Teildatenbanken" erstellen. Damit können also bestimmte Endspiele gelöst werden, die vorher praktisch unerreichbar waren.

Frage 3.

Kann man denn einfach Stellungen weglassen ?

Nehmen wir ein klassisches Endspiel: König, Turm und Bauer gegen König, Springer und Bauer. Die Bauern seien jetzt mal blockiert, also z. B. auf d4 und d5. Die herkömmlichen Tablebases dafür würden alle Stellungen mit diesen Figuren enthalten, also auch insbesondere jene, die niemals erreichbar sind. Dies sind hier sämtliche anderen Bauernstellungen; wenn man sie zählt, so kommt man auf 1560 mögliche Stellungen der zwei Bauern. Das, was der Freezer erzeugt, ist also nur ein Bruchteil dessen, wie eine "allgemeine" Tablebase. In diesem Fall gewinnt man also die gleichen Informationen und betrachtet dabei nur einen winzigen Ausschnitt.

Frage 4.

Das heißt, das Prinzip des Freezers basiert auf solchen Einschränkungen ?

Exakt. Durch die Beschränkung von Steinen auf bestimmte Felder können große Probleme kleingekocht werden. Natürlich kann man damit nicht beliebig große Endspiele lösen, aber man kommt bei einigen Stellungstypen doch gut über die Tablebases hinaus.

Frage 5.

Wie viele Figuren kann man denn mit dem Freezer noch lösen ? Und wie lange muss man dann auf ein Ergebnis warten ?

Das kann man so pauschal schwer beantworten. Je festgefahrener die Stellung ist (z. B. durch blockierte Bauern), desto eher kann man das Problem knacken. Das Hauptproblem dabei sind die vielen Abspiele, die sich durch Figurenschlagen und Bauernumwandlung ergeben können. Dafür muss man dem Freezer vorher mitteilen, wie solche Stellungen einzuschätzen sind. Wir haben schon viele 6- und 7-Steiner lösen können, und in Extremfällen auch schon mal mit über 15 Steinen, dies waren dann aber eher spezielle Problemschachaufgaben. Der Schwerpunkt liegt bei 6 bis 8 Steinen. Aber selbst, wenn es nicht gelingt, ein exaktes Ergebnis zu bekommen, so findet man häufig gute Anhaltspunkte, in welche Richtung die Analyse zu lenken ist.

Frage 6.

Schach wird ja vorwärts gespielt: Von der Eröffnung über das Mittelspiel zum Endspiel bis zum Matt oder Remis. Schachprogramme rechnen auch vorwärts. Warum arbeitet Dein Programm rückwärts ?

In der Tat wird Schach vorwärts gespielt, und man könnte das Spiel theoretisch ja auch vorwärts lösen, wie es z. B. spezialisierte Matt-Löser tun. Für den generellen Einsatz in Endspielen hat sich die Rückwärtsanalyse jedoch als praktikabler herausgestellt. Das funktioniert einfach ausgedrückt so: Man sucht erst alle Mattstellungen, spult dann einen Halbzug zurück und erhält dann die Matt-in-1 Positionen. Spult man dann wieder einen Halbzug zurück, erhält man die Kandidaten für den nächstlängeren Verlust etc. Dies wird dann solange durchgeführt, bis keine weiteren Stellungen mehr als Gewinn oder Verlust markiert werden können - der Rest bildet dann die Remispositionen. Das Problem bei der Vorwärtssuche sind die unbestimmt breiten und tiefen Suchbäume, die in der Rückwärtsgenerierung einfach umgangen werden.

Frage 7.

Das ganze Konzept ist ja doch noch recht neu. Wie kam es eigentlich zum Freezer ?

Die Idee entstand zusammen mit Prof. Ingo Althöfer. Nach meinem Informatik-Studium machte ich mich auf die Suche nach Möglichkeiten, in dem Bereich Computerschach meine Dissertation zu schreiben. Und dort stößt man ziemlich schnell auf Ingo Althöfer, und nach einigen Gesprächen mit ihm war die grobe Richtung festgelegt. Aus diesen ganzen Überlegungen entstand dann der Freezer.

Frage 8.

Jetzt eine Frage, die sich sicherlich schon viele gestellt haben: Warum heißt der Freezer "Freezer" ?

Das Prinzip, Figuren einzuschränken, lässt sich umgangssprachlich auch als Festfrieren der Figuren bezeichnen. Und weil "Frierer" auf englisch viel besser klingt, heißt das Programm jetzt "Freezer".

Frage 9.

Kannst Du uns mal eine Stellung zeigen, die verdeutlicht, was der Freezer macht ?

Zum Einstieg zeige ich gerne einen Stellungstyp, der sich besonders gut für den Freezer eignet: eine Festung. Das Beispiel ist nicht ganz neu, aber es zeigt sehr gut die Wirkungsweise des Programms. Es geht um die folgende Stellung:

 
8/6k1/6p1/8/q7/4R3/5PK1/8 b - - 0 1