Zufall aus dem Design vertreiben — Vom Minesweeper zu guessing-free Logikrätseln

Einleitung

Noch zwei Felder übrig, eine Mine dazwischen. Jede Zahl auf dem Feld ist ausgeschöpft; nichts sagt einem, welches Feld man öffnen soll. In diesem Moment — vertraut aus jedem Minesweeper-Endspiel — hört das Spiel auf, ein Logikrätsel zu sein, und wird zum Münzwurf. Fünfzehn Minuten sorgfältiger Deduktion, entschieden durch Glück. Ich halte diesen erzwungenen Ratewurf für den tiefsten strukturellen Fehler im Design von Logikrätseln.

Dieser Essay verfolgt die Linie, die dreißig Jahre brauchte, um diesen Fehler zu beseitigen: beginnend beim Minesweeper von 1990, über Hexcells und Tametsi, bis zu 14 Minesweeper Variants, das einen glücklichen Ratewurf institutionell unmöglich machte. Die Designphilosophie namens guessing-free oder no-guess ist keine bloße Freundlichkeit. Es ist eine strukturelle Entscheidung, die die Quelle der Schwierigkeit vom Glück zur Deduktion verschiebt.

Minesweeper (1990) — ein Prototyp, in dem Glück und Logik zusammenlebten

Minesweeper begann als Spiel, das Curt Johnson für OS/2 schrieb, von seinem Kollegen Robert Donner nach Windows portiert. Es erschien im Oktober 1990 im Windows Entertainment Pack und wurde 1992 Teil der Standardinstallation von Windows 3.1. Von der Büro-Mittagspause bis ins Forschungslabor wurde es seither wohl zum meistgespielten Logikrätsel der Geschichte. Die Regel passt in einen Satz: Eine Zahl zählt die Minen in den acht angrenzenden Feldern. Das ist der einzige Informationskanal des Spiels.

Kombiniert man diesen einzigen Kanal mit zufälliger Minenplatzierung, entstehen strukturell Positionen, die Logik nicht auflösen kann — ein kleines Restgebiet in einer Ecke, zwei symmetrische Kandidaten. Experten berechnen Wahrscheinlichkeiten und wählen das sicherere Feld, aber das ist eine Wette auf den Erwartungswert, keine Deduktion. Eine lange Schlusskette stirbt an einem einzigen Klick, und den Spieler trifft für diesen Verlust keine Schuld. Diese Schlechtigkeit der Erfahrung wurde zum Ausgangspunkt jedes Designers, der folgte.

Die Ironie ist, dass der deduktive Kern von Minesweeper von Anfang an rechnerisch tief war. In seinem Paper „Minesweeper is NP-complete" von 2000 zeigte Richard Kaye, dass die Entscheidung über die Konsistenz eines Spielfelds NP-vollständig ist. Die Ader der Schwierigkeit war von Beginn an reich. Das Problem war die Verunreinigung durch Glück, die von Anfang an darin gemischt war.

Hexcells — das Rätsel durch ein erweitertes Hinweisvokabular vom Raten befreien

Matthew Browns Hexcells-Trilogie — mit Hexcells Infinite im Jahr 2014 abgeschlossen — war eines der frühesten kommerziellen Werke, die sich die Beseitigung dieser Verunreinigung ausdrücklich zum Ziel setzten. Wichtiger als das Sechseckraster ist das erweiterte Hinweisvokabular: Eine Zahl in geschweiften Klammern bedeutet, dass die markierten Felder zusammenhängen, Bindestriche bedeuten, dass sie es nicht tun, und Spaltensummen stehen außerhalb des Rasters.

In der Sprache des Designs gesagt: Hexcells nahm eine Grammatik, die nur eine Wortart kannte — die Zahl — und fügte neue hinzu: räumliche Beziehung und globale Verteilung. Vervielfachen sich die Informationskanäle, kann ein Designer jede Position so bauen, dass immer mindestens eine Deduktionslinie durchgeht. Auch der Blick des Spielers verändert sich, gehoben vom lokalen Zahlenabgleich zu einem Scan über das gesamte Feld auf der Suche nach Schnittpunkten von Hinweisen. Jede handgefertigte Stufe ist auf der Prämisse aufgebaut, dass niemals geraten werden muss.

Hexcells Infinite, das Finale der Trilogie, fügte einen Endlosmodus hinzu, der Felder aus Zufallsseeds generiert, während weiterhin reine Logik-Lösbarkeit angestrebt wird. Wie man handwerkliche Strenge mit generiertem Volumen vereinbart, ist eine Frage, die heute im Kontext prozeduraler Inhalte heiß diskutiert wird; es verdient Beachtung, dass ein kleines Puzzle-Spiel von 2014 bereits eine Antwort skizzierte.

Tametsi — 160 handgefertigte Beweise

2017 destillierte Tametsi von Grip Top Games diese Philosophie zu ihrer reinsten Form. Quadrate, Achtecke, verschlungene Tessellationen; Minen nach Farbe unterteilt, mit Summen pro Farbe als neue Hinweisachse. Alle 160 enthaltenen Rätsel sind garantiert ohne Raten lösbar. Es gibt kaum Dekoration — nur das Feld und die Zahlen. Ein subtraktives Design.

Was man beim Spielen von Tametsi bemerkt, ist, wie sehr die guessing-free-Garantie die Psychologie des Spielers neu verdrahtet. Feststecken bedeutet nicht mehr „vielleicht ist das unlösbar", sondern „ich habe es nur noch nicht gefunden". Irgendwo gibt es immer einen beweisbaren Zug — und dieses Vertrauen ist es, das einen zehn oder zwanzig Minuten auf ein Feld starren lässt. Ein Level verläuft wie ein einziger langer Beweis, und der Beweis schließt sich in dem Moment, in dem sich das letzte Feld öffnet. Das Entfernen des Glücks entfernte nicht das Vergnügen; es reinigte es.

14 Minesweeper Variants — Deduktion Regel für Regel neu erfinden

14 Minesweeper Variants (2022) ist der andere Gipfel dieser Linie, mit Artless Games, bekannt für Understand, unter den Machern. Minen berühren sich nie orthogonal; genau zwei Minen pro Zeile und Spalte — tauscht man eine einzige Variantenregel aus, wird die benötigte Form des Schlussfolgerns zu etwas völlig anderem. Tiefe entsteht nicht durch größere Felder oder mehr Minen, sondern durch Regeldifferenzen. Als Beispiel für die Gestaltung von Schwierigkeit ohne Rückgriff auf kombinatorische Explosion ist kaum ein Spiel so lehrbuchhaft.

Der Geniestreich ist ein Modus, in dem das Öffnen eines logisch nicht bewiesenen Feldes dazu führt, dass die Minenanordnung selbst neu verteilt wird. Die falsche Belohnung eines glücklichen Ratens wird mechanisch unmöglich gemacht. Wo Hexcells Raten unnötig machte und Tametsi es als unnötig garantierte, machte 14 Minesweeper Variants Raten bedeutungslos. An diesem Punkt ist guessing-free keine Vorliebe mehr; es ist eine Doktrin.

Auch das Hinweissystem ist mit dieser Doktrin konsistent. Statt einem feststeckenden Spieler die Antwort zu geben, zeigt es an, welche Gruppe von Hinweisen zu prüfen ist — in der Taxonomie, die ich in Das Design von Hinweissystemen verwendet habe, die Art, die das Ziel der Beobachtung übergibt, nicht die Lösung. Nachdem Raten verboten wurde, löst das Spiel auch das Feststecken innerhalb der Deduktion. So sieht Design-Kohärenz aus.

Woher erzwungene Ratewürfe kommen — Information, Schuld und Kosten

Legt man die Linie nebeneinander, wird der Ursprung des erzwungenen Ratewurfs sichtbar. Im Kern ist es ein Mangel an Informationskanälen: Wenn das Angebot an beweisbaren Hinweisen nicht mit den Feldern Schritt hält, die geöffnet werden müssen, wird der Spieler zu einer Wette gedrängt. Guessing-free zu garantieren bedeutet genau, ein Netz aus Hinweisen über das Feld zu legen, sodass vom ersten bis zum letzten Zug jede Position mindestens einen beweisbaren Zug enthält.

Das bildet ein Gegenstück zu dem Problem, das ich in Lesbares Scheitern behandelt habe. Jener Essay handelte davon, Sackgassen lesbar zu machen. Der erzwungene Ratewurf ist seine schlimmste Umkehrung: ein unlesbares Scheitern, für das der Spieler überhaupt keine Verantwortung trägt. Wenn die Ursache einer Niederlage nicht dem eigenen Denken zugeschrieben werden kann, kann man nichts daraus lernen; übrig bleibt nur das Gefühl der Ungerechtigkeit.

Es gibt natürlich Kosten. Die Deduzierbarkeit in jeder Position zu garantieren, legt dem kombinatorischen Raum des Feldes schwere Beschränkungen auf. Handarbeit lässt die Verifikationskosten pro Level explodieren; Generierung verlangt einen Lösbarkeits-Prüfer. Guessing-free ist nicht umsonst. Genau deshalb verdient diese Linie — durch die Hartnäckigkeit kleiner Entwickler in dreißig Jahren zu einem De-facto-Standard erhoben — es, als Technikgeschichte gelesen zu werden.

Schluss

Minesweeper war ein Prototyp, in dem reiche Deduktion und ungerechtes Glück zusammenlebten. Hexcells erweiterte das Hinweisvokabular, um das Glück zu tilgen; Tametsi bewies die Reinheit über 160 handgefertigte Level; 14 Minesweeper Variants verbot den erfolgreichen Ratewurf als Institution. Dreißig Jahre Linie lesen sich als Geschichte der Reparatur, die die Quelle der Schwierigkeit still vom Glück zur Deduktion verschiebt.

Würde ich als Nächstes ein Logikrätsel entwerfen, wäre die erste Entscheidung, ob Null-Raten garantiert wird. Wenn ja, das Verifikationssystem, das die Versorgung mit beweisbaren Zügen sicherstellt, von Tag eins an in die Produktionspipeline einbauen. Wenn nein, den Moment markieren, an dem die Wette beginnt — dem Spieler sagen: ab hier ist es Glück. Am schlimmsten wäre es, ihn an Deduktion glauben zu lassen und heimlich eine Wette hineinzumischen. Und eine Frage an die Leserinnen und Leser: Das letzte Rätsel, das sich für Sie ungerecht anfühlte — war es wirklich schwer, oder wurden Sie nur zu einer Wette gezwungen?