Der größte Teil eines Nonogramms wird durch Linienlogik gelöst: Du wählst eine Zeile oder Spalte, bestimmst die Anordnungen, die ihre Hinweise und bekannten Zellen erfüllen, und markierst Zustände, die in dieser Linie erzwungen sind.
Bei manchen schwierigen Puzzles erreichst du jedoch einen Punkt, an dem jede einzelne Linie mehrere gültige Muster besitzt, diese Muster aber nicht unabhängig voneinander gewählt werden können. Ein Muster kann in seiner eigenen Zeile vollkommen legal aussehen und gleichzeitig mehrere kreuzende Spalten gemeinsam unmöglich machen. Mehrere mögliche Blocklagen können zusammen mehr gefüllte Kapazität beanspruchen, als eine benachbarte Region überhaupt tragen kann. Zwei alternative Fälle können sich lokal unterscheiden und trotzdem anderswo dieselbe Zelle erzwingen.
Genau hier beginnt die Mehrlinienlogik.
Was unterscheidet Mehrlinienlogik von normaler Linienlogik?
Eine Einlinienfrage lautet:
Was muss in dieser Zeile oder Spalte gelten?
Eine Mehrlinienfrage lautet:
Welche Kombinationen aus jeweils lokal gültigen Linienzuständen können gleichzeitig im selben Raster existieren?
Die zweite Frage ist stärker, weil jede Zelle genau eine Zeile und eine Spalte koppelt. Legale Zeilenmuster und legale Spaltenmuster müssen an allen gemeinsamen Zellen gleichzeitig übereinstimmen.
Mehrlinienlogik erfindet keine zusätzlichen Puzzle-Regeln. Sie verwendet dieselben Hinweise, Blockreihenfolgen, Trennzellen und sicheren Zustände, betrachtet aber einen größeren Ausschnitt des gesamten Constraint-Systems auf einmal.
Erreiche zuerst einen echten festen Punkt der Linienlogik
Verwende globale Logik nicht nur deshalb, weil ein Puzzle schwierig wirkt.
Vor dieser Stufe solltest du normale Schlussfolgerungen vollständig ausschöpfen:
- exakte Einpassung und leere Linien;
- Überlappung und reduzierten Spielraum;
- abgeschlossene Blöcke, Erweiterung und Reichweite;
- Lückenausschluss und Segmentzuordnung;
- früheste und späteste Blockgrenzen;
- gültige Linienmuster;
- kreuzweises Auswerten und Propagation durch jede veränderte Linie.
Kann eine einzelne Linie noch sicher eine Zelle bestimmen, ist dieser einfachere Beweis vorzuziehen. Mehrlinienlogik ist besonders nützlich, wenn alle relevanten Linien lokal konsistent bleiben, das Gesamtgitter aber stärker eingeschränkt ist, als eine Linie allein erkennen kann.
1. Randlogik über mehrere Linien
Die Begriffe Edge Logic oder Boundary Logic werden in manchen fortgeschrittenen Nonogramm-Communities für eine Technik verwendet, die nicht mit der Einlinien-Technik identisch ist, die VeyraPlay als Randverankerung bezeichnet.
Bei mehrliniger Randlogik startest du mit einem Hinweisblock nahe einer äußeren Kante und untersuchst, was seine möglichen Lagen in den senkrechten Linien direkt hinter dieser Kante erzwingen würden.
Ein typischer Ablauf ist:
- Wähle einen Randblock mit wenigen stark eingeschränkten Anfangsplatzierungen.
- Betrachte eine konkrete Kandidatenlage oder eine kleine Familie von Lagen.
- Übertrage deren gefüllte und leere Folgen auf die kreuzenden Linien.
- Prüfe, ob diese Linien ihre Hinweise gemeinsam noch erfüllen können.
- Verwirf Randplatzierungen, deren Folgen die benachbarte Zone unmöglich machen.
- Behalte nur Zellen oder Platzierungsbereiche, die jeden globalen Konsistenztest überstehen.
Der entscheidende Unterschied ist die Ebene:
Randverankerung (G-027) bleibt innerhalb einer einzigen Zeile oder Spalte. Die physische Begrenzung des Rasters schränkt dort den Bereich eines identifizierten Blocks ein.
Mehrlinien-Randlogik untersucht dagegen die Konsequenzen einer Randlage in mehreren senkrechten Linien. Eine Platzierung kann in ihrer eigenen Linie völlig legal und trotzdem global unmöglich sein.
Ein schematisches Randbeispiel
Stell dir vor, der erste Hinweisblock einer oberen Zeile kann entweder Spalten 2–5 oder Spalten 3–6 belegen. Beide Varianten erfüllen die Zeile.
Nun betrachtest du die vier betroffenen Spalten unterhalb dieser möglichen Füllungen.
Würde die Lage 2–5 erzwingen, dass drei dieser Spalten ihre Blöcke durch die nächsten beiden Zeilen fortsetzen müssen, während diese beiden Zeilen zusammen in dieser Region nur Kapazität für zwei solche Füllungen besitzen, ist die Lage 2–5 global unmöglich.
In der ursprünglichen Zeile war nichts falsch. Der Konflikt wird erst sichtbar, wenn Randblock, kreuzende Spalten und benachbarte Zeilen als gemeinsames System betrachtet werden.
Genau deshalb gehört diese Art von Edge/Boundary Logic über die normale Einlinienlogik.
2. Gemeinsame Konsequenzen aus Zwei-Wege-Logik
Manchmal hat eine ungelöste Aussage genau zwei vollständige Fälle:
- Fall A: Eine Zelle ist gefüllt.
- Fall B: Dieselbe Zelle ist leer.
Vielleicht kannst du keinen der beiden Fälle sofort ausschließen. Wenn aber beide Fälle eine andere Zelle in denselben Zustand zwingen, ist diese gemeinsame Konsequenz unabhängig vom Ausgangsfall sicher.
Die logische Form lautet:
- Wenn A, dann ist C gefüllt.
- Wenn nicht A, dann ist C ebenfalls gefüllt.
- Also ist C unabhängig von A gefüllt.
Dasselbe Prinzip kann auf Blockplatzierungen angewendet werden – aber nur, wenn die betrachteten Fälle tatsächlich alle Möglichkeiten abdecken.
Warum das nicht einfach Widerspruchsdenken ist
Widerspruchsdenken versucht normalerweise zu zeigen, dass ein Fall unmöglich ist und deshalb der Gegenfall gelten muss.
Zwei-Wege-Logik kann dagegen Fortschritt erzeugen, obwohl beide Fälle weiterhin möglich bleiben. Du übernimmst nur das, worin beide Zweige übereinstimmen, und verwirfst die provisorischen Zweigzustände.
Die Fälle müssen vollständig sein
Die Schlussfolgerung ist nur gültig, wenn die Zweige alle Möglichkeiten der getesteten Aussage abdecken.
Bei einer binären Zelle sind „gefüllt“ und „leer“ vollständig.
Hat ein Block dagegen vier legale Positionen, sind nur die äußerste linke und äußerste rechte Lage keine vollständige Zwei-Fall-Aufteilung, solange die beiden mittleren Positionen nicht separat ausgeschlossen wurden.
Das ist ein häufiger Fehler bei fortgeschrittener Falllogik: Ein Zwei-Fall-Beweis ist nur so stark wie der Beweis, dass es wirklich genau zwei Fälle gibt.
3. Regionales Zählen und Summieren
Hinweise bestimmen nicht nur wo Blöcke liegen können, sondern auch wie viele gefüllte Zellen existieren müssen.
Für eine vollständige Zeile ist die Anzahl gefüllter Zellen die Summe ihrer Hinweise. Dasselbe gilt für jede Spalte. Über das ganze Puzzle muss deshalb die Summe aller Zeilenhinweise mit der Summe aller Spaltenhinweise übereinstimmen – beide zählen dieselben gefüllten Zellen.
Meist ist diese Gleichheit nur ein Konsistenzcheck. In einer eng begrenzten Region kann Zählen aber direkt deduktiv werden.
Angenommen, ein rechteckiger Streifen enthält mehrere ungelöste Zellen. Von der Zeilenseite ist bewiesen, dass genau sieben verbleibende Füllungen innerhalb dieser Region liegen müssen. Die kreuzenden Spalten können dort zusammen höchstens sieben weitere Füllungen aufnehmen.
Dann ist die Region gesättigt: Jede noch vorhandene Einheit Spaltenkapazität wird innerhalb dieses Streifens benötigt.
Das kann beispielsweise bedeuten:
- eine Spalte darf keine ihrer verbleibenden Füllungen außerhalb der Region „verbrauchen“;
- eine alternative Blocklage, die nur noch sechs verfügbare Füllplätze innerhalb der Region zulässt, ist unmöglich;
- eine Linie, die in die Region hineinläuft, muss einen bestimmten Block dort unterbringen;
- Zellen außerhalb einer gesättigten Zone werden leer, weil sämtliche notwendigen Füllungen bereits innerhalb der Zone gebunden sind.
In manchen Community-Erklärungen wird diese Argumentationsart Summing genannt. VeyraPlay verwendet den breiteren Begriff regionales Zählen, weil es um Bedarf und Kapazität geht – nicht nur um das Addieren von Hinweiszahlen.
Zählen muss die Blockstruktur respektieren
Eine reine Gesamtzahl reicht nicht aus.
Wenn zwei Regionen jeweils fünf gefüllte Zellen aufnehmen könnten, bedeutet das nicht, dass ein Hinweisblock 5 beliebig zwischen ihnen verschoben werden darf. Der Block muss weiterhin alle normalen Regeln erfüllen:
- feste Hinweisreihenfolge;
- Zusammenhängigkeit;
- notwendige Trennzellen;
- aktuelle Füllungen und X-Markierungen;
- Platz für frühere und spätere Blöcke.
Nutze Zählen, um global unmögliche Verteilungen auszuschließen. Kehre danach zur normalen Blocklogik zurück, um konkrete Zellen zu bestimmen.
4. Sättigung und Kapazität über einen Streifen
Regionale Logik wird besonders stark, wenn eine Gruppe von Linien keine Reservekapazität mehr besitzt.
Ein nützliches Modell ist:
- Bedarf: Wie viele Füllungen oder Hinweisblöcke müssen die Region durchlaufen?
- Kapazität: Wie viele passende Belegungen können die kreuzenden Linien dort noch tragen?
Wenn Bedarf = Kapazität, ist jede verbliebene Kapazität gebunden.
Wenn Bedarf > Kapazität, ist die angenommene Anordnung unmöglich.
Wenn Kapazität > Bedarf, reicht Zählen allein vielleicht noch nicht für konkrete Zellen, kann aber einschränken, welche Blöcke überhaupt in die Region eintreten dürfen.
Das ist die Mehrlinien-Entsprechung zum Spielraum einer einzelnen Linie: Je weniger Reserve, desto stärker die Einschränkung.
5. Globale Hinweissummen als Konsistenzprüfung
Für jedes gültige monochrome Nonogramm gilt:
Summe aller Zeilenhinweise = Summe aller Spaltenhinweise.
Sind beide Summen verschieden, kann die Hinweisstruktur kein einziges gefüllt/leeres Raster beschreiben.
Beim Lösen lässt sich dieselbe Idee lokal auf verbleibende Füllungen anwenden, solange bereits bestätigte Zellen korrekt berücksichtigt und nicht aus beiden Richtungen doppelt gezählt werden.
Diese Invariante ist beim Konstruieren und Prüfen eines Puzzles oft nützlicher als im normalen Einsteiger-Spiel, aber sie erklärt eine wichtige globale Eigenschaft des Systems.
6. Symmetrie ist bedingt – kein Hinweis aus dem versteckten Bild
Manche Nonogramm-Hinweissysteme sind unter Spiegelung oder Rotation symmetrisch.
Wenn du zusätzlich unabhängig weißt, dass das Puzzle genau eine Lösung besitzt, muss diese Lösung jede Symmetrie des vollständigen Hinweissystems übernehmen. Andernfalls würde das Spiegeln oder Drehen einer asymmetrischen Lösung eine zweite, verschiedene Lösung mit denselben Hinweisen erzeugen.
Die Eindeutigkeitsbedingung ist unverzichtbar.
Ein symmetrisches Hinweissystem kann zwei asymmetrische Lösungen besitzen, die Spiegelbilder voneinander sind. Ohne garantierte Eindeutigkeit darfst du nicht einfach das „schönere“ oder symmetrischere Bild auswählen.
VeyraPlay lehrt deshalb nicht „das Bild wird wahrscheinlich symmetrisch“ als normale Technik. Symmetrie wird erst dann zu einer legitimen globalen Einschränkung, wenn Eindeutigkeit als unabhängige Information zur Verfügung steht.
7. Mehrlinien-Ausschluss ohne einen Zweig festzulegen
Fortgeschrittene Logik funktioniert oft besser, wenn du Kombinationen entfernst, statt sofort eine konkrete Antwort auszuwählen.
Angenommen, Zeile A besitzt drei gültige Muster und Spalte B vier:
- Zeilenmuster A1 ist mit jedem legalen Zustand von Spalte B unvereinbar;
- A2 ist mit B1 und B3 kompatibel;
- A3 ist mit B2 und B4 kompatibel.
Dann kannst du A1 entfernen, ohne dich zwischen A2 und A3 zu entscheiden.
Wenn A2 und A3 anschließend an einer anderen Zelle denselben Zustand besitzen, ist diese Zelle sicher.
Diese Sicht skaliert direkt in Richtung Constraint-Programming: Lokale Kandidatenmengen werden immer wieder durch Kompatibilität mit benachbarten Constraints gefiltert.
8. Mehrlinienlogik versus Widerspruchsdenken
Die Techniken überschneiden sich, sind aber nicht identisch.
Mehrlinienlogik
- vergleicht mehrere Einschränkungen gleichzeitig;
- kann Platzierungen entfernen, ohne eine provisorische Annahme zu setzen;
- kann vollständige Fallmengen betrachten und nur gemeinsame Folgen behalten;
- kann Zähl- oder Kapazitätsargumente über ganze Regionen verwenden.
Widerspruchsdenken
- beginnt mit einer ausdrücklich provisorischen Annahme;
- propagiert deren Folgen;
- beweist den Zweig durch einen harten Widerspruch unmöglich;
- folgert daraus den Gegenfall.
Ein Mehrlinienargument kann einen Widerspruch enthalten. Die nützliche redaktionelle Trennung lautet aber: globale Kompatibilitätsanalyse gegenüber Zweig setzen und widerlegen.
Praktischer Mehrlinien-Ablauf
Wenn normale Propagation einen echten festen Punkt erreicht:
- Identifiziere eine stark eingeschränkte Grenze, Region oder Gruppe interagierender Linien.
- Schreibe die kleine Menge verbleibender Alternativen auf oder halte sie gedanklich klar auseinander.
- Prüfe, dass diese Alternativen wirklich vollständig sind.
- Propagiere jeden Fall nur so weit, wie es für den Vergleich notwendig ist.
- Entferne Kombinationen, die regionale Kapazität überschreiten oder kreuzende Linien unmöglich machen.
- Übernimm nur Zustände, die in allen überlebenden Fällen gelten.
- Verwirf sämtliche temporären, fallspezifischen Markierungen.
- Kehre nach jeder bewiesenen Zelle sofort zur normalen Propagation zurück.
Der letzte Schritt ist wichtig. Eine einzige globale Schlussfolgerung kann mehrere einfache Überlappungen, abgeschlossene Blöcke oder exakte Einpassungen erzeugen. Es wäre ineffizient, länger als nötig im „Fortgeschrittenenmodus“ zu bleiben.
Wann ist regionales Zählen besonders nützlich?
Achte darauf, wenn:
- ein schmaler Streifen viele notwendige Blöcke, aber wenig freien Raum enthält;
- mehrere Randhinweise um dieselben Zeilen oder Spalten konkurrieren;
- einzelne Linien mehrere Muster besitzen, ihre gemeinsamen Füllsummen aber stark begrenzt sind;
- ein abstraktes Puzzle wiederholte Hinweise mit strukturiert überlappenden Platzierungen enthält.
Weniger nützlich ist es, wenn noch offensichtliche Einlinienschlüsse existieren oder die Region sehr viel ungenutzte Kapazität besitzt.
Häufige Fehler
Jede Randfolgerung „Edge Logic“ nennen
Die Terminologie ist nicht einheitlich. VeyraPlay verwendet Randverankerung für die Einlinien-Technik aus G-027 und definiert Edge/Boundary Logic ausdrücklich, wenn mehrlinige Konsequenzen gemeint sind.
Nur zwei bequeme Fälle vergleichen
Zwei-Wege-Logik braucht eine vollständige Fallmenge. Ignoriere keine dritte legale Blockposition nur deshalb, weil sie den Beweis komplizierter macht.
Mit Summen arbeiten, aber Platzierungsregeln ignorieren
Fünf notwendige Füllungen sind nicht beliebig austauschbar, wenn sie zu geordneten Blöcken mit Trennzellen gehören.
Symmetrie aus dem entstehenden Bild ableiten
Symmetrie ist nur dann logische Information, wenn das Hinweissystem symmetrisch ist und Eindeutigkeit unabhängig garantiert ist.
Fallspezifische Markierungen behalten
Überlebt ein Fall, ohne bewiesen zu sein, musst du seine temporären Zustände wieder entfernen. Nur gemeinsame oder unabhängig bewiesene Folgen gehören ins echte Raster.
Nicht zur Linienlogik zurückkehren
Nach einer globalen Schlussfolgerung kann das Puzzle sofort in gewöhnliche Überlappung, exakte Einpassung oder abgeschlossene Blöcke zurückfallen. Propagiere zuerst, bevor du den nächsten komplizierten globalen Beweis suchst.
Verbindung zu Computer-Solvern
Ein Computer-Solver kann jede Zeile und Spalte als Constraint modellieren und wiederholt inkompatible Zustände entfernen. Constraint-Programming, SAT, ganzzahlige Optimierung oder suchbasierte Verfahren können globale Beziehungen systematisch erzwingen, die ein Mensch nur schwer vollständig im Kopf hält.
Menschliche Mehrlinien-Techniken sind wertvoll, weil sie einen Teil dieser globalen Konsistenz in erkennbare Beweise komprimieren: eine gesättigte Region, eine unmögliche Randlage oder eine Konsequenz, die in allen vollständigen Fällen identisch ist.
Sie beseitigen nicht die grundsätzliche Rechenkomplexität beliebiger Nonogramme. Sie erklären aber, warum ein Mensch manchmal ein Puzzle logisch lösen kann, an dem ein Solver mit ausschließlich einfacher Linienlogik stehen bleibt.
Was du als Nächstes lernen solltest
Bleiben nach globalen Kompatibilitätsprüfungen mehrere Möglichkeiten bestehen, zeigt Widerspruchsdenken, wie du eine einzelne kontrollierte Annahme testest und sie nur dann verwirfst, wenn Propagation eine harte Unmöglichkeit beweist.
Auf der theoretischen Seite erklärt Eindeutige Lösungen und mehrdeutige Nonogramme, warum die Eindeutigkeitsgarantie für fortgeschrittene Argumente wie Symmetrie entscheidend sein kann.
FAQ
Braucht man Mehrlinienlogik für die meisten Nonogramme?
Nein. Starke Einlinienlogik plus Zeilen-Spalten-Propagation löst einen großen Teil normaler, von Menschen entworfener Puzzles. Mehrlinienlogik wird vor allem relevant, wenn jede einzelne Linie am festen Punkt lokal mehrdeutig bleibt.
Ist Edge Logic dasselbe wie Randverankerung?
Nicht in allen Quellen. VeyraPlay verwendet Randverankerung für einen Block, dessen Reichweite innerhalb einer Linie durch den physischen Rand eingeschränkt wird. Manche Communities nennen dagegen die hier beschriebene mehrlinige Randanalyse Edge Logic oder Boundary Logic.
Ist Zwei-Wege-Logik dasselbe wie Raten?
Nein, sofern die Fälle vollständig sind und du nur Folgen behältst, die in jedem Fall bewiesen sind – oder einen Fall durch einen eindeutigen Widerspruch ausschließt. Einen unbewiesenen Zweig einfach festzulegen wäre Raten oder Suche.
Kann Zählen allein das genaue Bild bestimmen?
Meist nicht. Zählen ist besonders stark als Ausschlusswerkzeug: Es beweist, dass bestimmte Verteilungen oder Platzierungen nicht gemeinsam existieren können. Konkrete Zellen folgen danach häufig aus normaler Linienlogik.
Darf ich bei einem symmetrischen Puzzle immer Symmetrie verwenden?
Nein. Symmetrische Hinweise garantieren keine symmetrische Lösung, wenn mehrere Lösungen möglich sind. Symmetrie ist nur dann logisch sicher, wenn Eindeutigkeit unabhängig garantiert ist.