Widerspruchsdenken

Widerspruchsdenken testet eine klar abgegrenzte Annahme und verfolgt danach ausschließlich sichere Folgeschlüsse. Bleibt der Zweig möglich, ist zunächst nichts bewiesen. Wird er dagegen zwangsläufig unmöglich, muss der entgegengesetzte Zustand gelten.

Diese Technik gehört zur fortgeschrittenen Logik. Sie sollte erst eingesetzt werden, wenn gewöhnliche Linienlogik und Constraint-Propagation wirklich ausgeschöpft sind.

Die Kernregel

Angenommen, eine ungelöste Zelle kann nur gefüllt oder leer sein.

Setze testweise: Sie ist leer.

Führt diese Annahme irgendwann dazu, dass eine Zeile oder Spalte kein einziges gültiges Linienmuster mehr besitzt, kann die Annahme in keiner gültigen Gesamtlösung vorkommen. Also muss die Zelle gefüllt sein.

Das funktioniert genauso in umgekehrter Richtung.

Der Beweis ist die Unmöglichkeit des Zweigs – nicht der Eindruck, dass eine Variante „schlechter aussieht“.

Beispiel: Eine falsche Annahme zerstört einen Hinweis

Betrachte einen teilweise gelösten 5×5-Zustand mit:

Zeilen:

• 1 2
• 1
• 2
• 4
• 1 1

Spalten:

• 1 1
• 1 1
• 1 2
• 1 2
• 1 1

Nach gewöhnlicher Propagation ist das Raster:

???■?

???.?

.. ?■?

?■■■?

?.?.?

Für den Testzweig nehmen wir an: R1C1 ist leer.

Diese Annahme zwingt Zeile 1 in ihr einziges verbleibendes Muster. Dadurch ändern sich mehrere Spalten. Verfolgst du nur die daraus sicher folgenden Schritte weiter, enthält Zeile 2 schließlich zwei getrennte gefüllte Zellen, obwohl ihr Hinweis nur 1 lautet.

Zeile 2 besitzt dann null gültige Muster. Der Zweig ist unmöglich.

Also war R1C1 = leer falsch, und R1C1 muss gefüllt sein.

Entscheidend: Nach der ersten testweisen Annahme ist jeder weitere Schritt normal erzwungene Logik.

Widerspruch ist etwas anderes als blindes Raten

Blindes Raten heißt: einen plausiblen Zustand wählen und so weiterspielen, als wäre er wahr.

Widerspruchsdenken hält die Annahme ausdrücklich provisorisch:

1. Wähle einen präzisen Kandidatenzustand.
2. Propagiere nur logisch erzwungene Folgen.
3. Suche nach einer eindeutigen Unmöglichkeit.
4. Tritt ein Widerspruch auf, verwirf den Zweig und übernimm den Gegenfall.
5. Tritt kein Widerspruch auf, ist die Annahme nicht automatisch bewiesen.

Ein überlebender Zweig kann lediglich weiterhin möglich sein.

Was zählt als echter Widerspruch?

Beispiele:

• eine Linie hat kein Muster mehr, das Hinweise und Zellzustände erfüllt;
• ein zusammenhängender gefüllter Lauf wird länger als jeder kompatible Hinweis;
• notwendige Blöcke haben nicht mehr genug Platz;
• eine bestätigte Füllung kann von keinem Hinweisblock mehr abgedeckt werden;
• die Hinweisreihenfolge wird unmöglich;
• dieselbe Zelle müsste gleichzeitig gefüllt und leer sein.

Dass das entstehende Bild „komisch aussieht“, ist kein Widerspruch.

Verwende die kleinste sinnvolle Annahme

Ein guter Test beginnt normalerweise mit einer Zelle oder einer sehr eng begrenzten Blockposition – nicht mit mehreren unabhängigen Spekulationen.

Bevorzuge Kandidaten, bei denen beide Zustände sofort starke Folgen haben. Das macht Widersprüche schneller sichtbar und den Beweis nachvollziehbarer.

Propagiere tief genug, aber halte den Zweig kontrolliert

Nach der Annahme verwendest du dieselben Werkzeuge wie im normalen Puzzle:

• gültige Linienmuster;
• Blockgrenzen;
• Segmentzuordnung;
• abgeschlossene Blöcke;
• kreuzweises Auswerten;
• Constraint-Propagation.

Führe keine zweite unbegründete Annahme innerhalb desselben Testzweigs ein. Wenn der Zweig ohne Widerspruch feststeckt, kehre zum Ausgangszustand zurück – es sei denn, du arbeitest bewusst mit vollständiger Suche oder Backtracking.

Wähle informative Zweige, nicht einfach irgendeine unbekannte Zelle

Jede unbekannte Zelle hat zwei Zustände, aber viele davon sind schlechte Kandidaten für einen Widerspruchstest.

Ein guter Kandidat liegt dort, wo beide möglichen Zustände sofort eine stark eingeschränkte Linie verändern. Besonders geeignet sind:

• eine Zelle, die nur zwischen zwei verbleibenden Linienmustern unterscheidet;
• der Endpunkt eines Blocks mit genau zwei möglichen Lagen;
• eine Hinweis-zu-Segment-Zuordnung mit nur zwei Restalternativen;
• eine Zelle, deren Zustand einen fast fertigen Block sofort abschließt oder unmöglich macht.

Vermeide dagegen lockere Zellen in großen offenen Regionen, in denen beide Zustände noch dutzende Möglichkeiten lassen. Ein solcher Zweig erzeugt viel Spekulation, aber wenig Constraint-Druck.

Unterscheide kurzes Lookahead von vollständiger Suche

Ein Widerspruchsbeweis kann extrem kurz sein:

Annahme X → eine kreuzende Linie verliert ihr letztes gültiges Muster → X wird verworfen.

Er kann aber auch über mehrere Zeilen und Spalten propagieren, bevor die Unmöglichkeit sichtbar wird. Der logische Status bleibt derselbe, solange:

1. genau eine provisorische Ausgangsannahme klar benannt ist;
2. jeder spätere Zustand unter dieser Annahme erzwungen ist;
3. der abschließende Widerspruch explizit ist;
4. keine zweite unbegründete Wahl im Zweig versteckt wurde.

Sobald du neue willkürliche Entscheidungen einführst, weil der erste Zweig nicht weitergeht, verlässt du den sauberen Widerspruchsbeweis und bewegst dich in Richtung allgemeiner Suche/Backtracking.

Führe ein einfaches Zweigprotokoll

Bei schwierigen manuellen Puzzles hilft es, drei Informationsarten sauber zu trennen:

• Wurzelfakten — permanente Zustände, die bereits vor der Annahme bewiesen waren;
• Zweigfolgen — Zustände, die nur unter der provisorischen Annahme gelten;
• Zweigergebnis — entweder ein expliziter Widerspruch oder noch kein Ergebnis.

Scheitert der Zweig, verwirfst du alle Zweigfolgen gemeinsam. Die einzige neue permanente Information ist die Negation der gescheiterten Annahme.

Bleibt der Zweig nur stecken, verwirfst du seine temporären Folgen ebenfalls und kehrst unverändert zu den Wurzelfakten zurück. Dieses Vorgehen verhindert, dass hypothetische Zustände unbemerkt ins echte Puzzle durchsickern.

Zwei-Wege-Logik kann gemeinsame Konsequenzen beweisen

Manchmal lassen sich beide möglichen Zustände einer Zelle kurz untersuchen.

Wenn beide Zweige eine andere Zelle in denselben Zustand zwingen, ist diese gemeinsame Konsequenz gültig, obwohl noch keiner der Zweige widerlegt wurde.

Das ist eine Form von Fallanalyse und bildet die Brücke zur Mehrlinienlogik. Es ist nicht dasselbe wie gewöhnliche Einlinienlogik.

Wenn beide vollständigen Zustände einer Aussage möglich bleiben, aber beide dieselbe spätere Zelle erzwingen, ist diese gemeinsame Folge trotzdem sicher. VeyraPlay behandelt diese Beweisform als Mehrlinien-/Zwei-Wege-Logik, weil hier nicht ein Zweig widerlegt wird.

Schritt-für-Schritt-Methode

1. Erschöpfe normale Propagation zuerst vollständig.
2. Wähle eine ungelöste Zelle oder einen sehr engen Blockfall.
3. Isoliere den aktuellen Zustand mental oder in einer Kopie.
4. Setze einen Kandidatenzustand testweise.
5. Propagiere ausschließlich erzwungene Folgen.
6. Stoppe sofort, wenn eine Linie kein gültiges Muster mehr hat oder eine andere harte Unmöglichkeit entsteht.
7. Verwirf den gescheiterten Zweig und markiere den Gegenfall im echten Raster.
8. Starte von dieser bewiesenen Zelle wieder normale Propagation.

Häufige Fehler

„Ich komme nicht weiter“ als Widerspruch behandeln

Ein Zweig, der keine neue Schlussfolgerung liefert, kann trotzdem gültig sein.

Mehrere Vermutungen im selben Zweig machen

Dann weißt du später nicht mehr, welche Annahme den Widerspruch verursacht hat.

Das Bild als Ablehnungsgrund benutzen

Nur Hinweisbedingungen können einen Zweig logisch unmöglich machen.

Widerspruchsdenken zu früh einsetzen

Viele scheinbare Sackgassen verschwinden nach sorgfältiger Musterprüfung, Segmentzuordnung oder erneuter Auswertung geänderter Kreuzlinien.

Eine überlebende Annahme als Tatsache behalten

Dass du keinen Widerspruch gefunden hast, ist kein Beweis, solange der Gegenfall nicht ausgeschlossen ist.

Wo diese Technik in der Lösungshierarchie steht

Eine sinnvolle Reihenfolge ist:

1. direkte Linienlogik;
2. Segment- und Blockgrenzenlogik;
3. gültige Linienmuster;
4. Kreuzreferenzierung und Propagation;
5. kontrolliertes Lookahead/Widerspruchsdenken;
6. vollständige Suche oder Backtracking nur dann, wenn Puzzle oder Solver es benötigen.

Gut konstruierte Menschenpuzzles versuchen meist, möglichst viel Fortschritt vor der letzten Suchstufe zu ermöglichen.

Was du als Nächstes lernen solltest

Widerspruchsdenken verbindet menschliches Lösen mit Methoden von Computer-Solvern: Kandidaten testen, unmögliche Zweige erkennen und bei Bedarf schließlich Suchverfahren verwenden.

FAQ

Ist Widerspruchsdenken einfach nur Raten?

Es verwendet eine temporäre Annahme. Die Schlussfolgerung ist aber nur dann gültig, wenn ein Zweig bewiesen unmöglich wird. Das unterscheidet es vom blinden Festlegen eines geratenen Zustands.

Was ist, wenn beide Annahmen möglich bleiben?

Dann beweist der Fall diese Zelle noch nicht. Kehre zum Ausgangszustand zurück oder suche nach einer Konsequenz, die in beiden Zweigen gleich ist.

Sollten Einsteiger Widerspruchsdenken verwenden?

Nicht als erste Wahl. Starke Linienlogik und Propagation lösen einen großen Teil normaler Nonogramme und sind leichter zu überprüfen.