Ein gültiges Linienmuster ist eine vollständige Anordnung aus gefüllten und leeren Zellen einer Zeile oder Spalte, die sowohl die Hinweisfolge als auch alle bereits bestätigten Zellzustände erfüllt.
Wenn einfachere Techniken keine neue Zelle mehr erzwingen, liefert die Menge aller noch gültigen Muster eine vollständige Antwort auf die Frage: Was erlaubt diese Linie überhaupt noch?
Beispiel: Eine 2 2-Linie auf zwei Muster reduzieren
Betrachte eine Linie mit sieben Zellen und den Hinweisen 2 2. Zelle 3 ist gefüllt, Zelle 5 ist leer:
??■?×??
Nur zwei vollständige Muster erfüllen gleichzeitig Hinweise und bekannte Zellen:
.##..##
..##.##
Vergleiche beide Muster Zelle für Zelle:
- Zelle 3 ist in beiden gefüllt;
- Zellen 6 und 7 sind in beiden gefüllt;
- Zellen 1 und 5 sind in beiden leer;
- Zellen 2 und 4 unterscheiden sich.
Daraus folgt: 3, 6 und 7 sind sicher gefüllt; 1 und 5 sicher leer; 2 und 4 bleiben unbekannt.
Sichere Zellen sind Übereinstimmung in allen gültigen Mustern
Damit lässt sich eine sehr präzise Regel formulieren:
Eine Zelle ist genau dann durch diese Linie erzwungen, wenn jedes gültige Linienmuster ihr denselben Zustand gibt.
Sind alle Muster dort gefüllt, füllst du die Zelle.
Sind alle dort leer, setzt du ein X.
Existieren mindestens ein Muster mit Füllung und ein Muster mit Leerzustand, entscheidet diese Linie die Zelle noch nicht.
Gültige Muster von Hand konstruieren
Bei langen Linien musst du selten jedes Muster ausschreiben. Der gedankliche Ablauf ist trotzdem nützlich:
- platziere die Hinweisblöcke in ihrer festen Reihenfolge;
- halte mindestens eine Leerzelle zwischen aufeinanderfolgenden monochromen Blöcken frei;
- verwerfe Platzierungen, die bestätigte X-Markierungen überdecken;
- verwerfe Platzierungen, die bestätigte Füllungen nicht abdecken;
- prüfe, dass jedes gefüllte Fragment zu irgendeinem legalen Hinweisblock gehört;
- vergleiche die übrig gebliebenen Muster.
Das ist das allgemeine Modell hinter exakter Einpassung, Überlappung, Reichweite, Segmentzuordnung und Platzierungsgrenzen.
Einfachere Techniken sind Abkürzungen durch denselben Möglichkeitsraum
Viele vertraute Schlussfolgerungen lassen sich als effiziente Kurzformen der Mustermenge verstehen:
- exakte Einpassung → es existiert nur ein gültiges Muster;
- Überlappung → derselbe Block deckt bestimmte Zellen in allen legalen Lagen;
- unerreichbare Zellen → kein gültiges Muster füllt diese Zellen;
- Platzierungsgrenzen → kompakte Darstellung, wo jeder geordnete Block liegen darf.
Musterlogik ersetzt diese schnellen Techniken nicht. Sie erklärt, warum sie funktionieren, und deckt Fälle ab, in denen zwei Extrempositionen nicht genug Information liefern.
Warum gültige Muster bei schwierigen Linien wichtig werden
In komplexen, teilweise gelösten Linien können früheste und späteste Blocklagen manche Schlussfolgerung übersehen. Eine vollständige Musterprüfung berücksichtigt jede Anordnung, die noch mit dem aktuellen Zustand kompatibel ist.
Computer-Solver verwenden dafür oft dynamische Programmierung oder andere spezialisierte Verfahren, statt alle Kombinationen tatsächlich zu speichern. Der Grund ist einfach: Die Anzahl möglicher Muster kann schnell wachsen.
Zweites Beispiel: Vier Restmuster können trotzdem viele Zellen erzwingen
Eine fortgeschrittene Linie muss nicht auf nur ein oder zwei Muster schrumpfen, um nützliche Information zu liefern. Betrachte eine teilweise eingeschränkte Linie mit Hinweisen 3 2, für die nach bekannten X- und Füllzuständen noch genau vier vollständige Muster übrig bleiben.
Die vier Muster unterscheiden sich an mehreren Positionen. Trotzdem stimmen sie an anderen Zellen vollständig überein. Genau diese Schnittmenge liefert neue sichere Füllungen und Leerzellen.
Das Beispiel zeigt zwei wichtige Punkte:
- Eine Linie kann weiterhin mehrere Muster besitzen und dennoch starke Schlussfolgerungen liefern.
- Die Zahl der Restmuster ist weniger wichtig als wo sie übereinstimmen.
Wenn Segmentzuordnung oder Join/Split-Logik eine Musterfamilie entfernt, kann diese Übereinstimmung plötzlich deutlich größer werden. Bei besonders schwierigen Fällen kann zusätzlich Mehrlinienlogik lokale Muster durch globale Kompatibilität filtern.
Wenn eine vermeintlich sichere Markierung dazu führt, dass anschließend kein gültiges Muster mehr existiert, ist das ein Warnsignal für einen Fehler oder – innerhalb eines Testzweigs – ein expliziter Widerspruch.
Die Zahl der Muster kann plötzlich einbrechen
Eine senkrechte Linie kann aus einem ? ein X machen. Eine einzige neue Leerzelle kann zahlreiche Muster dieser Linie auf einmal ausschließen.
Nach dem Filtern stimmen die übrigen Muster vielleicht plötzlich an mehreren weiteren Zellen überein. Diese Zellen werden sicher, beeinflussen wiederum ihre senkrechten Linien und lösen neue Filterungen aus.
Das ist die Verbindung zwischen Linienmustern und Constraint-Propagation.
Schritt-für-Schritt-Musterlogik
- Wähle eine ungelöste Linie.
- Ermittle alle Hinweisplatzierungen, die mit den bestätigten Zellen kompatibel bleiben.
- Entferne jedes Muster, das auch nur einen sicheren Zellzustand verletzt.
- Vergleiche die Restmuster Zelle für Zelle.
- Markiere Zustände, auf die sich alle Muster einigen.
- Lass Zellen mit unterschiedlichen Restzuständen unbekannt.
- Übertrage die neuen sicheren Zustände auf die senkrechten Linien.
Häufige Fehler
Muster behalten, die zwar die Hinweise erfüllen, aber bekannten Zellen widersprechen
Ein Muster ist nur gültig, wenn es Hinweise und aktuellen Linienzustand gleichzeitig erfüllt.
Eine Zelle erzwingen, weil „die meisten“ Muster übereinstimmen
Mehrheit ist kein Beweis. Ein einziges weiterhin legales Gegenmuster reicht, damit die Zelle unbekannt bleibt.
Gleich lange Hinweise als austauschbar behandeln
Muster müssen die Hinweisreihenfolge und damit die Blockidentität bewahren.
Das ganze Puzzle statt einer Linie enumerieren
Diese Guide behandelt weiterhin Linienanalyse. Ganzgitter-Falllogik gehört zu Mehrlinienlogik, Widerspruch und Suche.
Was du als Nächstes lernen solltest
Sobald du Linien als Mengen gültiger Muster verstehst, wird die nächste Ebene klar: Eine neue Zellinformation filtert die Mustermenge der senkrechten Linie, daraus entsteht eine neue sichere Zelle, und dieser Prozess kann sich fortsetzen.
FAQ
Muss ich wirklich jedes Muster auf Papier auflisten?
Normalerweise nein. Auf kurzen schwierigen Segmenten kann es hilfreich sein, einige Möglichkeiten aufzuschreiben. Wichtiger ist das Prinzip der vollständigen Restmenge.
Ist eine Zelle sicher, wenn 9 von 10 Mustern sie füllen?
Nein. Solange das zehnte Muster legal bleibt, ist die Zelle durch diese Linie nicht bewiesen.
Kann eine Linie gar kein gültiges Muster mehr haben?
Ja. In einem gültigen Puzzle bedeutet das, dass der aktuelle markierte oder angenommene Zustand inkonsistent ist. Genau diese Idee wird bei Widerspruchsdenken zentral.