Fundamentos

Duas deduções fundamentais de exclusão — um candidato restante numa célula ou uma posição restante para um dígito — mais Pointing e Claiming, as duas direções de uma regra de redução bloco-linha.

Singles e a regra de redução bloco-linha

Singles Nus e Singles Ocultos resolvem restrições de «exatamente um» através de exclusões. Para um Single Nu, oito dígitos foram excluídos de uma célula; resolver o sobrevivente o exclui de todos os 20 pares. Para um Single Oculto, oito posições para um dígito foram excluídas de uma casa; resolver a posição sobrevivente exclui os outros dígitos da célula e exclui esse dígito dos 12 pares fora da casa de origem. Conte de 1 a 9 para Singles Nus e faça crosshatch de um dígito através de uma casa para Singles Ocultos.

Pointing e Claiming não são duas leis separadas, mas as duas direções de uma única regra de redução caixa–linha: quando cada candidato para um dígito dentro de uma unidade está na interseção com uma segunda unidade, o dígito fica travado nessa interseção e pode ser removido do resto da outra unidade. Pointing lê-se bloco → linha; Claiming lê-se linha → bloco.