Wenn bei einem Nonogramm keine offensichtliche Zelle mehr erscheint, ist die beste Reaktion nicht sofort zu raten, sondern die vorhandenen Constraints in einer festen Reihenfolge erneut auszuwerten.
Viele Stillstände entstehen durch eine übersehene Leerzelle, einen inzwischen kleineren Blockbereich oder eine Linie, deren gültige Muster sich seit dem letzten Scan verändert haben.
1. Abgeschlossene Blöcke erneut prüfen
Ein Block, dessen Länge und Identität feststehen, darf nicht weiter wachsen. Prüfe deshalb seine Grenzen und markiere notwendige Leerzellen.
2. Prüfen, ob ein Hinweis bereits ausgeschöpft ist
Wenn alle Blöcke einer Hinweisfolge eindeutig gefunden sind, sind alle übrigen Zellen der Linie leer.
Das ist besonders leicht zu übersehen, wenn die Blöcke weit auseinanderliegen.
3. Jede verbleibende Lücke neu bewerten
Neue X-Markierungen können Bereiche so verkleinert haben, dass ein bestimmter Hinweis dort nicht mehr passt.
Wenn kein verbleibender Block vollständig in eine Lücke passt, kann die gesamte Lücke leer werden.
4. Hinweise Segmenten zuordnen
Wenn X-Markierungen eine Linie teilen, frage nicht nur „welcher Block passt irgendwo?“, sondern „welche zusammenhängende Teilfolge der Hinweise kann in welches Segment gehören?“.
Eine eindeutige Segmentzuordnung kann mehrere andere Möglichkeiten sofort ausschließen.
5. Überlappung mit dem aktuellen Linienzustand neu berechnen
Überlappung ist nicht nur eine Starttechnik.
Ein Block, der zu Beginn viel Spielraum hatte, kann nach neuen Füllungen, X oder Segmentgrenzen einen deutlich kleineren Bereich besitzen. Berechne seine früheste und späteste Lage erneut.
6. Blockreichweite prüfen
Frage für jede unbekannte Zelle:
Kann irgendein verbleibender Block diese Zelle noch legal erreichen?
Wenn nein, ist sie leer.
7. Nach unzulässigem Verbinden oder Trennen suchen
Gefüllte Fragmente können inzwischen genug Kontext besitzen, um zu zeigen, dass sie:
- zum selben Block gehören müssen;
- nicht zum selben Block gehören können;
- noch immer in beiden Varianten möglich sind.
Wichtig ist auch die dritte Antwort. Nicht jede unsichere Situation muss sofort entschieden werden.
8. Die verbleibenden gültigen Linienmuster aufzählen
Wenn lokale Faustregeln nichts liefern, analysiere die Linie als Ganzes.
Erzeuge gedanklich oder formal alle Muster, die:
- die Hinweisfolge respektieren;
- alle X vermeiden;
- alle bestätigten Füllungen abdecken;
- Reihenfolge und Trennungen einhalten.
Zellen, die in allen verbleibenden Mustern denselben Zustand haben, sind erzwungen.
9. Der Propagationskette folgen
Vielleicht hast du die richtige Zelle bereits gesetzt, aber ihre Kreuzfolgen noch nicht vollständig verarbeitet.
Verfolge die zuletzt geänderten Zellen durch Zeilen und Spalten, bis ein echter Fixpunkt erreicht ist.
Vor dem Verdacht auf einen fehlerhaften Puzzle-Datensatz noch einmal zählen
Off-by-one-Fehler sind bei langen Linien häufig.
Prüfe Mindestplatz, Trennungen, Blocklängen und die genaue Zahl der Zellen, bevor du annimmst, die veröffentlichten Hinweise seien falsch.
Bist du festgefahren oder ist das aktuelle Raster bereits inkonsistent?
Das ist eine entscheidende Unterscheidung.
Festgefahren: Jede Zeile besitzt weiterhin mindestens ein gültiges Muster, aber du findest gerade keine neue sichere Zelle.
Inkonsistent: Mindestens eine Zeile oder Spalte besitzt wegen deiner Markierungen kein gültiges Muster mehr.
Anzeichen dafür, dass du einen Fehler eingebaut hast
- ein Run ist zu lang;
- notwendige Trennungen fehlen;
- ein X blockiert den letzten möglichen Platz eines Hinweises;
- ein gefülltes Fragment kann keinem Hinweis mehr zugeordnet werden;
- die vollständige Musterliste einer Linie ist leer.
Von der ersten unmöglichen Linie zurückverfolgen
Nimm nicht zufällig Markierungen zurück. Suche die erste sicher unmögliche Linie und verfolge die jüngsten Änderungen über ihre Kreuzungen zurück.
Unbegründete Zustände gehen zunächst auf unbestimmt zurück, nicht automatisch ins Gegenteil.
10. Prüfen, ob das Rätsel Mehrlinienlogik braucht
Wenn jede einzelne Linie mehrere gültige Muster besitzt und keines davon allein neue Zellen erzwingt, können globale Beziehungen trotzdem eine gemeinsame Konsequenz haben.
Dann können Rand-/Boundary-Logik, Fallabdeckung, regionale Zählung oder andere Mehrlinienargumente weiterhelfen.
11. Widerspruch erst nutzen, wenn direkte und Mehrlinienlogik ausgeschöpft sind
Wähle eine klare provisorische Annahme, propagieren ihre Folgen und verwerfe sie nur bei einer expliziten Unmöglichkeit.
Dieser Schritt sollte kontrolliert bleiben und nicht in beliebiges Trial-and-Error übergehen.
Das entstehende Bild nicht als Rettungswerkzeug verwenden
Gerade wenn man lange feststeckt, ist die Versuchung groß, eine Form „zu vervollständigen“. Widerstehe ihr.
Das Bild bestätigt höchstens nachträglich eine logische Lösung; es ersetzt keinen Hinweis.
Die Recovery-Reihenfolge zum Merken
- abgeschlossene Blöcke;
- ausgeschöpfte Hinweise;
- zu kleine Lücken;
- Segmente und Hinweiszuordnung;
- neue Überlappung und Blockreichweite;
- Verbinden/Trennen;
- vollständige Linienmuster;
- Propagationskette;
- Inkonsistenz-/Fehlercheck;
- Mehrlinienlogik;
- Widerspruchsdenken.
FAQ
Bedeutet Feststecken, dass ich raten muss?
Nein. Es bedeutet zunächst nur, dass die nächste beweisbare Folgerung noch nicht gefunden wurde.
Was sollte ich zuerst prüfen, wenn keine Linie lösbar wirkt?
Beginne mit abgeschlossenen Blöcken, sicheren Leerzellen, veränderten Segmenten und Linien, die seit dem letzten Scan neue Kreuzinformationen erhalten haben.
Soll ich neu anfangen, wenn das Raster unmöglich aussieht?
Nicht sofort. Identifiziere zuerst die konkrete unmögliche Linie und rolle unbegründete Markierungen systematisch zurück.