Wie Chains funktionieren

Ergebnis

Du kannst eine alternierende Inferenzkette verfolgen, erklären, was ihre Endpunkte beweisen, diesen Beweis für eine Elimination verwenden und erkennen, wann eine Chain gültig, aber nicht nützlich ist.

Eine Chain braucht eine Schlussfolgerung

Eine Chain ist nicht wertvoll, weil sie lang ist.

Sie ist wertvoll, weil sie etwas beweist, das vorher nicht offensichtlich war.

Ein sinnvoller Ablauf ist:

1. eine Startannahme wählen;
2. jede Implikation korrekt weiterleiten;
3. den Endpunkt untersuchen;
4. die Endpunktbeziehung in eine Platzierung, Elimination oder einen Widerspruch umwandeln.

Schritt 1 — Verfolge die Zustände

Beginne mit:

A = B - C = D

Nimm A = falsch an.

Die Chain wird zu:

A falsch
→ B wahr
→ C falsch
→ D wahr

Jeder Pfeil muss durch die vorherige Beziehung begründet sein.

Schritt 2 — Verfolge vom anderen Ende

Beginne nun mit D = falsch und gehe rückwärts.

Du erhältst die spiegelbildliche Schlussfolgerung:

• ist A falsch, ist D wahr;
• ist D falsch, ist A wahr.

Daher können A und D nicht beide falsch sein. Mindestens ein Endpunkt muss wahr sein.

Diese Aussage über die Endpunkte ist der nützliche Teil der Chain.

Schritt 3 — Eliminiere in einer gemeinsamen Partnerzelle

Angenommen, Kandidat T kollidiert mit beiden Endpunkten A und D.

Da mindestens ein Endpunkt wahr ist, kann T nicht bestehen:

• ist A wahr, ist T falsch;
• ist D wahr, ist T falsch.

In jedem Fall wird T eliminiert.

Schritt 4 — Eine gültige Chain kann trotzdem nichts bewirken

Du kannst eine vollkommen gültige Chain verfolgen, deren Endpunktbeziehung kein nützliches Ziel besitzt und keinen Widerspruch erzeugt.

Das ist kein fehlgeschlagener Beweis, sondern einfach eine unproduktive Chain im aktuellen Zustand.

Sammle Chains nicht um ihrer selbst willen. Suche nach einer Schlussfolgerung.

Schritt 5 — Finde die gebrochene Kante

Eine Chain kann überzeugend aussehen und trotzdem einen ungültigen Strong Link enthalten.

Hat ein vermeintliches konjugiertes Paar tatsächlich einen dritten Kandidaten in seiner Quelleinheit, gilt die Implikation falsch → wahr nicht mehr. Jede Schlussfolgerung nach dieser Kante ist unbegründet.

Prüfe die Links, bevor du dem Endpunkt vertraust.

Schritt 6 — Benannte Muster sind komprimierte Chains

Skyscraper, Two-String Kite und W-Wing lassen sich alle mit derselben Implikationssprache verstehen.

Die Geometrie hilft dir, sie zu finden. Die Chain-Logik erklärt, warum die Elimination gültig ist.

Dieser Unterschied wird bei fortgeschritteneren Techniken immer hilfreicher.

Schnelltest

Verfolge die Implikationen, bestimme die nützliche Endpunktaussage und unterscheide eine gebrochene Chain von einer gültigen, aber unproduktiven.

Merke dir

Das Muster hilft bei der Suche. Die Implikationen liefern den Beweis.

Als Nächstes

W-Wing

Nutze dieselbe Strong-Link-Logik in einem kompakten benannten Muster.

Referenz

Lies Sudoku Chains für X-Chains, XY-Chains, Notation und den Weg zu allgemeineren alternierenden Inferenzketten.