Beim Lösen eines Nonogramms ist eine Zelle nicht einfach nur „angemalt“ oder „nicht angemalt“. Du musst drei logische Arbeitszustände unterscheiden: gefüllt, leer und unbestimmt.
Diese Trennung ist grundlegend. Besonders Anfänger verlieren viele Informationen, wenn sie eine unmarkierte Zelle automatisch wie eine bestätigte Leerzelle behandeln.
Gefüllte Zelle
Eine Zelle ist gefüllt, wenn bewiesen ist, dass sie zu einem der Hinweisblöcke ihrer Zeile und ihrer Spalte gehört.
Eine Füllung ist also keine Vermutung über das entstehende Bild. Sie ist eine logische Aussage:
Jede noch gültige Lösung unter den aktuellen Bedingungen benötigt diese Zelle als gefüllt.
Eine bestätigte Füllung kann einen Block verankern, seine Reichweite beschränken oder in der kreuzenden Linie eine neue Überlappung auslösen.
Leere Zelle
Eine Zelle ist leer, wenn bewiesen ist, dass sie zu keinem gefüllten Block gehören kann.
Leere Zellen sind aktive Information.
Sie können:
- zwei Blöcke voneinander trennen;
- einen Block am Weiterwachsen hindern;
- mögliche Startpositionen ausschließen;
- eine Linie in getrennte offene Segmente teilen;
- dafür sorgen, dass ein Segment zu klein für einen Hinweis wird.
Darum ist eine bestätigte Leerzelle nicht weniger wertvoll als eine Füllung.
Unbestimmte Zelle
Eine Zelle ist unbestimmt, solange sowohl gefüllt als auch leer noch mit mindestens einer gültigen Möglichkeit vereinbar sind.
Unbestimmt bedeutet nicht, dass dir Information fehlt, weil du etwas übersehen hast. Es kann völlig korrekt sein, dass eine Zelle vorläufig offenbleiben muss.
Gutes Nonogramm-Lösen akzeptiert diese Unsicherheit und markiert nur das, was bereits bewiesen ist.
Warum unbestimmt und leer getrennt bleiben müssen
Nimm eine Linie mit dem Hinweis 1 und fünf völlig offenen Zellen.
Eine einzige Zelle wird am Ende gefüllt sein, vier werden leer sein. Zu Beginn weißt du aber nicht welche.
Wenn du alle noch ungefärbten Zellen als leer behandelst, würdest du dem Block überhaupt keinen Platz mehr lassen.
Unbestimmte Zellen gehören deshalb weiterhin zum möglichen Raum jedes Blocks, der sie legal erreichen kann.
Eine Zelle wechselt von unbestimmt zu bewiesen
Im normalen Spiel beginnt eine Zelle unbestimmt.
Dann liefert eine Schlussfolgerung genügend Information, um einen Zustand auszuschließen:
- Kann die Zelle in keiner gültigen Möglichkeit leer sein, wird sie gefüllt.
- Kann sie in keiner gültigen Möglichkeit gefüllt sein, wird sie leer.
Ein einmal korrekt bewiesener Zustand sollte später nicht einfach umgedreht werden. Wenn du das tun musst, war die ursprüngliche Folgerung oder eine frühere Markierung fehlerhaft.
X ist eine Markierung, nicht der Zustand selbst
Viele Apps und gedruckte Lösungsanleitungen verwenden ein X für leere Zellen.
Das X ist nur die Darstellung. Andere Oberflächen könnten einen Punkt, eine Schraffur oder einen anderen Marker verwenden.
Logisch lautet die Information immer gleich: leer.
Diese Unterscheidung hilft besonders später, wenn Beispiele unabhängig von einer bestimmten Benutzeroberfläche funktionieren sollen.
Wie gefüllte Zellen helfen
Eine bestätigte Füllung beweist, dass mindestens ein Hinweisblock sie abdecken muss.
Dadurch kann sie:
- einen bestimmten Block identifizieren;
- die früheste oder späteste Blockposition verschieben;
- zwei bekannte Füllungen zum selben Block zwingen;
- eine Überlappung vergrößern;
- oder in der kreuzenden Linie neue Möglichkeiten ausschließen.
Gefüllte Zellen sind deshalb Ankerpunkte für weitere Logik.
Wie leere Zellen helfen
Leere Zellen entfernen Positionen aus dem Lösungsraum.
Eine bestätigte Leerzelle kann eine Linie in zwei unabhängiger wirkende offene Bereiche zerlegen:
Ein Block darf diese Leerzelle nicht überqueren. Dadurch kann klar werden, welcher Hinweis links oder rechts davon liegen muss.
Mehrere Leerzellen können zudem einen Bereich so verkleinern, dass ein großer Block dort überhaupt nicht mehr hineinpasst.
Abgeschlossene Blöcke erzeugen leere Grenzen
Wenn ein Block bereits seine vollständige Hinweisgröße erreicht hat und eindeutig identifiziert ist, dürfen die direkt angrenzenden Zellen ihn nicht verlängern.
Diese Zellen werden leer und schaffen eine saubere Grenze zum nächsten möglichen Block.
Wichtig ist die Blockidentität: Eine gefüllte Gruppe derselben Länge ist nicht automatisch abgeschlossen, wenn sie noch Teil eines größeren Hinweises sein könnte.
Unbestimmte Zellen dürfen trotz Fortschritt bestehen bleiben
Ein guter Zug muss nicht jede offene Zelle entscheiden.
Du kannst in einer Linie mehrere sichere Füllungen und Leerzellen gewinnen und trotzdem dazwischen unbestimmte Bereiche behalten.
Das ist normal. Diese restliche Unsicherheit wird häufig später durch kreuzende Linien reduziert.
Wie Zellzustände zwischen Zeilen und Spalten wirken
Jeder bewiesene Zustand gilt in beiden Richtungen.
Ist R4C7 gefüllt, muss sowohl Zeile 4 als auch Spalte 7 diese Zelle in einem ihrer Blöcke unterbringen.
Ist dieselbe Zelle leer, darf kein Block der Zeile und kein Block der Spalte sie verwenden.
Diese gemeinsame Nutzung ist der Motor der Constraint-Propagation im gesamten Raster.
Häufige Fehler mit Zellzuständen
Bewiesene Leerzellen unmarkiert lassen
Dadurch übersiehst du Grenzen und erlaubst Blöcken gedanklich Positionen, die längst ausgeschlossen sind.
Zellen leeren, weil sie „nicht gebraucht aussehen“
Optische Plausibilität ist kein Beweis.
Eine Zelle füllen, nur weil ein Block sie erreichen kann
Kann gefüllt sein ist nicht dasselbe wie muss gefüllt sein.
X-Markierungen als Dekoration behandeln
Sie sind echte logische Bedingungen und sollten in jeder weiteren Linienanalyse berücksichtigt werden.
Vergessen, einen neuen Zustand zu propagieren
Nach jeder Füllung oder Leerzelle müssen die kreuzenden Linien neu bewertet werden.
FAQ
Was bedeutet ein X in einem Nonogramm?
Es markiert normalerweise eine als leer bewiesene Zelle.
Ist eine unmarkierte Zelle leer?
Nein. Sie kann noch unbestimmt sein.
Muss ich leere Zellen markieren?
Das konkrete Symbol ist optional, die Information sollte aber festgehalten werden, damit du sie in späteren Folgerungen nutzt.
Kann eine gefüllte Zelle später leer werden?
Nicht, wenn sie korrekt bewiesen wurde. Ein Wechsel würde auf einen früheren Fehler hinweisen.
Gibt es drei endgültige Zellzustände?
Nein. In der fertigen Lösung gibt es nur gefüllt und leer. Unbestimmt ist ein Arbeitszustand während des Lösens.
Warum sind leere Zellen nützlich?
Sie entfernen mögliche Blockpositionen, erzeugen Grenzen und teilen Linien in kleinere Segmente.
Was als Nächstes lernen?
Lies Abgeschlossene Blöcke und Trennzellen, Ausschluss von Lücken und Zeilen und Spalten abgleichen, um zu sehen, wie einzelne Zellzustände größere Strukturen verändern.