Forcing-Ketten: alle Zweige vergleichen
Eine Forcing-Kette verfolgt die Folgen der Wahl eines Kandidaten. Bei einer Forcing-Kette für ein Feld betrachtest du jeden Kandidaten in diesem Feld; bei einer Forcing-Kette für eine Einheit jede verbleibende Position für eine bestimmte Ziffer in einer Zeile, einer Spalte oder einem 3×3-Block. Eine gemeinsame Schlussfolgerung ist erst dann sicher, wenn jeder Ausgangsfall geprüft wurde. Ein Widerspruch widerlegt dagegen die Annahme, die ihn ausgelöst hat.
Kernidee
Wenn jeder der beiden Werte der Ausgangszelle den Kandidaten Z in eine Zelle zwingt, die das Zielfeld sieht, kann Z aus dem Zielfeld entfernt werden.
Sieh dir den Zug Schritt für Schritt an
Verfolge am selben Beispiel wie in der XY-Wing-Lektion beide Möglichkeiten: R1C3 ist entweder 5 oder 7. Die Notizen berücksichtigen frühere Eliminierungen.
Schritt 1 von 4
Wähle einen klaren Verzweigungspunkt
R1C3 hat genau zwei Kandidaten. Die Untersuchung besteht daher aus zwei Fällen, die alle Möglichkeiten abdecken.
Schritt 2 von 4
Verfolge beide Folgerungen
Wenn R1C3 eine 5 ist, muss R1C4 eine 6 sein. Wenn R1C3 eine 7 ist, muss R2C3 eine 6 sein.
Schritt 3 von 4
Finde das gemeinsame Ergebnis
R2C4 sieht beide möglichen Positionen der erzwungenen 6. In keinem der beiden Fälle kann R2C4 daher eine 6 enthalten.
Schritt 4 von 4
Behalte nur die von der Verzweigung unabhängige Schlussfolgerung
Entferne 6 aus R2C4. Trage keinen nur angenommenen Kandidaten ein, solange nicht einer der Zweige widerlegt wurde.
Probiere es mit dem heutigen Rätsel aus
Verwende kurze Ketten, wenn einfachere Schritte nicht weiterhelfen. Eine alternierende Inferenzkette (AIC) wechselt zwischen starken Verbindungen (ist ein Kandidat falsch, muss der andere wahr sein) und schwachen Verbindungen (ist einer wahr, muss der andere falsch sein). Ist R1C4 in diesem Gitter keine 6, muss dort 5 stehen; R1C3 kann dann keine 5 sein und ist daher 7; R2C3 kann dann keine 7 sein und ist daher 6. Also muss R1C4 oder R2C3 eine 6 enthalten, und ihre gemeinsame Nachbarzelle R2C4 kann keine 6 enthalten. Das ist dieselbe Eliminierung als AIC. Prüfe jede Verbindung anhand der aktuellen Kandidaten, nicht nur anhand der gezeichneten Form. Die vorherige Lektion zu Nice Loops zeigt abwechselnde Verbindungen in einer geschlossenen Schleife.
Heute spielen