Como resolver Sudoku sem adivinhar

Adivinhar parece produtivo porque coloca um número na grelha, mas substitui uma grelha por dois ramos incertos. Um Sudoku bem construído pode ser abordado como uma cadeia de deduções verificáveis: cada colocação ou eliminação de candidato segue da linha, da coluna, do bloco ou de um padrão reconhecido. Resolver sem adivinhar não significa que cada lance seja óbvio. Significa separar possibilidades de compromissos, manter os candidatos exactos e mudar de técnica quando a passagem actual deixa de produzir informação.

O que conta como adivinhar?

Adivinhar é comprometer-se com um algarismo sem prova lógica, muitas vezes com o plano de o anular se aparecer uma contradição. As notas de candidatos não são palpites: registam todos os valores ainda permitidos pelas restrições conhecidas. As eliminações avançadas também não são palpites quando o padrão é válido. Por exemplo, um X-Wing pode não dizer onde um algarismo vai, mas prova onde esse algarismo não pode ir. O teste prático é simples: antes de alterar a grelha, é possível enunciar uma regra que se mantém verdadeira em qualquer conclusão possível?

Um fluxo repetível sem adivinhar

1. Percorrer colocações directas. Começar por candidatos únicos e candidatos únicos ocultos em linhas, colunas e blocos ocupados. Voltar a verificar as unidades tocadas por cada nova colocação.
2. Construir listas de candidatos honestas. Quando a análise directa pára, anotar os algarismos permitidos pelas três restrições. Retirar notas desactualizadas de imediato após cada colocação.
3. Procurar numa ordem fixa de técnicas. Tentar pares, candidatos bloqueados, tripletos e padrões fish só depois de esgotadas as deduções mais fáceis. Uma ordem estável evita caçar a grelha inteira ao acaso.
4. Exigir uma prova verbal. Enunciar a origem e a consequência: «o 5 está bloqueado na linha 2 dentro deste bloco, logo o 5 não pode aparecer noutro ponto da linha 2.» Se a frase for vaga, não apagar o candidato.
5. Repor o olhar quando houver bloqueio. Verificar notas, mudar o algarismo candidato ou a unidade em análise, e revisitar os únicos. Não transformar frustração numa colocação sem suporte.

Exemplo: substituir um palpite de duas vias por lógica

Suponha-se que r6c4 contém os candidatos {3,8}. Escolher 3 seria um palpite, porque ambos os valores ainda obedecem às regras imediatas de linha, coluna e bloco. Em vez de ramificar, inspeccionar onde 3 e 8 ocorrem nas unidades relacionadas e procurar um padrão que retire um candidato.

1. Não colocar nenhum dos candidatos. Deixar {3,8} como nota. A ausência de um duplicado imediato não prova que um ramo está correcto; as contradições podem aparecer muitos lances mais tarde.
2. Inspeccionar as posições no bloco. Se todos os 3 do bloco estão na linha 6, o bloco aponta para a linha 6. Retirar o 3 das outras células da linha 6, fora do bloco, com candidatos bloqueados.
3. Propagar a eliminação. Suponha-se que r6c9 passa de {3,5} para {5}. Colocar o 5, depois actualizar a linha 6, a coluna 9 e o respectivo bloco. Esse novo algarismo pode retirar o 8 de uma célula vizinha de r6c4.
4. Regressar só quando estiver justificado. Se a lógica posterior retirar o 8 de r6c4, colocar o 3 e registar a razão. O mesmo valor final é agora uma conclusão, e não um ramo que se testou primeiro por acaso.

Hábitos que disfarçam o palpite

Lista de verificação para treinar sem adivinhar

• Antes de cada colocação, nomear se é um candidato único, um candidato único oculto ou a consequência de uma eliminação específica.
• Usar notas para possibilidades por resolver e reservar algarismos grandes para valores provados pela lógica.
• Quando houver bloqueio durante dois minutos, auditar uma linha, uma coluna e um bloco em vez de testar um candidato.
• Depois de usar Anular, encontrar o passo exacto sem suporte e restaurar a lógica dos candidatos, em vez de tentar o outro ramo.

O remédio para o palpite não é mais cautela em torno de uma célula; é um processo melhor para o tabuleiro inteiro. Usar uma passagem fixa, manter candidatos, exigir uma razão e repor o ponto de vista quando o progresso pára. Começar com puzzles Clássico Médio ou Difícil, em que as técnicas exigidas são visíveis o suficiente para treinar, mas variadas o suficiente para tornar o ciclo sem palpite significativo.

Perguntas frequentes sobre resolver sem adivinhar