Grundlagen
Zwei grundlegende Ausschlussdeduktionen — ein verbleibender Kandidat in einer Zelle oder eine verbleibende Position für eine Ziffer — plus Pointing und Claiming, die zwei Richtungen einer einzigen Block-Linien-Reduktionsregel.
Nackte Einer
Acht Ziffern sind aus einer Zelle ausgeschlossen; lösen Sie den Überlebenden und seine 20 Peer-Ausschlüsse auf.
Weiterlesen
Hidden Single
Acht Positionen für eine Ziffer sind in einer Einheit ausgeschlossen; lösen Sie den Überlebenden und seine 8+12-Konsequenzen auf.
Weiterlesen
Pointing
Box-zu-Zeile-Kandidaten-Einschränkung und -Eliminierung.
Weiterlesen
Claiming
Zeile-zu-Box-Kandidaten-Einschränkung und -Eliminierung.
WeiterlesenSingles und die Block-Linien-Reduktionsregel
Naked Singles und Hidden Singles lösen Genau-eine-Bedingungen durch Ausschlüsse. Bei einem Naked Single wurden acht Ziffern aus einer Zelle ausgeschlossen; das Auflösen des Überlebenden schließt ihn aus allen 20 Peers aus. Bei einem Hidden Single wurden acht Positionen für eine Ziffer aus einer Einheit ausgeschlossen; das Auflösen der überlebenden Position schließt die anderen Ziffern der Zelle aus und diese Ziffer aus den 12 Peers außerhalb der Quell-Einheit. Zählen Sie 1–9 für Naked Singles durch und kreuzen Sie eine Ziffer durch eine Einheit für Hidden Singles.
Pointing und Claiming sind nicht zwei getrennte Gesetze, sondern die zwei Richtungen einer einzigen Box-Linien-Reduktionsregel: Wenn jeder Kandidat für eine Ziffer innerhalb einer Einheit in der Schnittmenge mit einer zweiten Einheit liegt, ist die Ziffer auf diese Schnittmenge festgelegt und kann aus dem Rest der anderen Einheit entfernt werden. Pointing liest Block → Linie; Claiming liest Linie → Block.