Cadeias de força: compare todos os ramos
Uma cadeia de forçamento acompanha as consequências da escolha de um candidato. Em uma cadeia de forçamento de célula, considere todos os candidatos de uma célula; em uma cadeia de forçamento de unidade, considere todas as posições restantes de um dígito em uma linha, coluna ou bloco 3x3. Uma conclusão compartilhada só é segura depois que todos os casos iniciais forem verificados. Já uma contradição refuta a suposição que a provocou.
Ideia principal
Se qualquer um dos dois candidatos da célula bivalente inicial forçar o candidato Z a ocupar uma célula na mesma linha, coluna ou bloco da célula-alvo, Z poderá ser eliminado da célula-alvo.
Veja a jogada passo a passo
Use o mesmo exemplo resolvido da lição sobre XY-Wing para acompanhar as duas possibilidades: R1C3 pode ser 5 ou 7. As anotações de candidatos incluem eliminações anteriores.
Passo 1 de 4
Escolha um ponto de ramificação controlado
R1C3 tem exatamente dois candidatos, então a análise pode ser dividida em dois casos que cobrem todas as possibilidades.
Passo 2 de 4
Acompanhe as duas implicações
Se R1C3 for 5, R1C4 terá necessariamente o valor 6. Se R1C3 for 7, R2C3 terá necessariamente o valor 6.
Passo 3 de 4
Encontre o resultado comum
R2C4 enxerga os dois 6 forçados possíveis, então não pode conter o 6 em nenhum dos dois ramos.
Passo 4 de 4
Mantenha apenas a conclusão que independe do ramo
Elimine o candidato 6 de R2C4. Não coloque nenhum candidato com base em uma suposição, a menos que um dos ramos tenha sido refutado.
Experimente no sudoku de hoje
Use cadeias curtas quando as jogadas mais simples não forem suficientes. Uma cadeia de inferência alternada (AIC) alterna ligações fortes (se um candidato for falso, o outro deverá ser verdadeiro) com ligações fracas (se um candidato for verdadeiro, o outro deverá ser falso). Nesta grade, se R1C4 não for 6, deverá ser 5; então, R1C3 não pode ser 5, portanto é 7; em seguida, R2C3 não pode ser 7, portanto é 6. Assim, R1C4 ou R2C3 deve conter 6, e a célula relacionada a ambas, R2C4, não pode conter 6. Essa é a mesma eliminação expressa como uma AIC. Confira cada ligação com base nas anotações de candidatos atuais, não apenas no desenho. A lição anterior sobre Nice Loops mostra ligações alternadas em um loop fechado.
Jogue hoje