Forcing Chains
Siga as consequências de um candidato ser verdadeiro ou falso até que cada caminho force a mesma conclusão.
As forcing chains são a artilharia pesada da resolução lógica. Escolha uma célula e siga as implicações de cada um de seus candidatos pela grade. Se cada candidato leva ao mesmo posicionamento ou eliminação em algum lugar, essa conclusão é certa — sem adivinhação.
A maioria das sensações de "tentativa e erro" tarde num quebra-cabeça difícil são, na verdade, forcing chains esperando para serem escritas rigorosamente.
Como identificá-las
Escolha uma célula bivalor. Presuma seu primeiro candidato e propague os posicionamentos forçados; anote o resultado. Reinicie, presuma o segundo candidato, propague de novo. Onde quer que ambas as suposições forcem a mesma célula ao mesmo valor (ou à mesma eliminação), esse resultado vale incondicionalmente.
- Comece pelos candidatos de uma célula.
- Propague as consequências forçadas de cada um.
- Uma conclusão compartilhada por todos os ramos está provada.
Disciplina em vez de adivinhação
As forcing chains são lógica, não bifurcação: você mantém ambos os ramos em mente e só age sobre o que eles concordam. Escrever a cadeia evita os erros que vêm de testar um número às cegas.
Exemplo resolvido
- Uma célula bivalor mostra {1,4}.
- Presuma 1: uma sequência de singles força a célula Q a 8.
- Reinicie, presuma 4: uma sequência diferente também força a célula Q a 8.
- Ambos os ramos concordam, então Q é 8 de qualquer forma.
- Coloque o 8 em Q sem resolver a célula inicial.
Experimente você mesmo
Tap a cell, then a number, to practise.
Perguntas frequentes
- Isto é só adivinhação?
- Não. Você avalia todos os ramos e age apenas sobre as conclusões que cada ramo compartilha, então o resultado é totalmente lógico.
- Quando devo buscar as forcing chains?
- Por último, depois que singles, candidatos bloqueados, fish, wings e coloração foram esgotados.
Técnicas relacionadas
Leitura adicional
- Introducing Chains and Links — SudokuWiki.org
- Chains and Loops (Forcing Chains, AIC) — HoDoKu
Pratique: Forcing Chains
Coloque Forcing Chains em prática num tabuleiro real — sudokus grátis com notas, dicas e quatro níveis de dificuldade.
Experimente num tabuleiro real