Fondements

Deux déductions fondamentales d'exclusion — un candidat restant dans une cellule ou une position restante pour un chiffre — plus Pointing et Claiming, les deux directions d'une même règle de réduction bloc-ligne.

Singles et la règle de réduction bloc-ligne

Les Singles nus et les Hidden Singles résolvent des conditions d'exactement-un par exclusions. Dans un Single nu, huit chiffres ont été exclus d'une cellule ; résoudre le survivant l'exclut de ses 20 pairs. Dans un Hidden Single, huit positions pour un chiffre ont été exclues d'une maison ; résoudre la position survivante exclut les autres chiffres de la cellule et ce chiffre des 12 pairs en dehors de la maison source. Comptez de 1 à 9 pour les Singles nus et rayez un chiffre dans une maison pour les Hidden Singles.

Pointing et Claiming ne sont pas deux lois séparées mais les deux directions d'une même règle de réduction bloc–ligne : quand chaque candidat d'un chiffre à l'intérieur d'une maison se trouve dans l'intersection avec une seconde maison, le chiffre est verrouillé dans cette intersection et peut être retiré du reste de l'autre maison. Pointing se lit bloc → ligne ; Claiming se lit ligne → bloc.