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.

Singles 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.