Uma cadeia de um dígito alterna links de inferência fortes e fracos verificados, tornando pelo menos uma extremidade verdadeira. Elimine o dígito de qualquer alvo que veja ambos os pontos finais.
Este curso adapta as lições do aplicativo Platon Sudoku. Leia o exemplo completo aqui e continue aprendendo e praticando no aplicativo.
Uma cadeia de um dígito alterna links de inferência fortes e fracos verificados, tornando pelo menos uma extremidade verdadeira.
Como encontrá-lo
Comece com um link de inferência forte para um dígito, alterne os tipos de link sem pular um dígito candidato e teste os alvos visíveis em ambas as extremidades.
O que permite
Elimine o dígito de qualquer alvo que veja ambos os pontos finais.
Evite a confusão
Um link de inferência forte precisa de exatamente dois dígitos candidatos em sua região; um link de inferência fraco apenas diz que os dois pontos finais não podem ser verdadeiros ao mesmo tempo.
Exemplo passo a passo · Corrente curta
Este exemplo começa em uma posição intermediária salva. Os candidatos incluem eliminações lógicas anteriores e não são anotações automáticas recém-geradas.
Azul: evidências. Verde: conclusão. Dígitos riscados: candidatos eliminados. R1C1 significa linha 1, coluna 1.
Etapa 1 · Onde procurar
Use os dígitos candidatos verificados mostrados aqui. As remoções válidas anteriores permanecem em vigor.
Use os dígitos candidatos verificados mostrados aqui. As remoções válidas anteriores permanecem em vigor.
Etapa 2 · Raciocínio
Filial 1: suponha que R5C8=2 seja falso.
Filial 1: suponha que R5C8=2 seja falso.
Etapa 3 · Raciocínio
R5C8=2 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 5. Portanto R5C4=2 deve ser verdadeiro.
R5C8=2 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 5. Portanto R5C4=2 deve ser verdadeiro.
Etapa 4 · Raciocínio
R5C4=2 é verdade. Remova R2C4=2.
R5C4=2 é verdade. Remova R2C4=2.
Etapa 5 · Raciocínio
R2C4=2 é falso. Juntos, esses dois lados contêm todas as opções restantes em bloco 2. Portanto R1C5=2 deve ser verdadeiro.
R2C4=2 é falso. Juntos, esses dois lados contêm todas as opções restantes em bloco 2. Portanto R1C5=2 deve ser verdadeiro.
Etapa 6 · Raciocínio
R1C5=2 é verdade. Remova R1C9=2.
R1C5=2 é verdade. Remova R1C9=2.
Etapa 7 · Raciocínio
R1C9=2 é falso, então R8C9=2 é forçado em coluna 9. Cada alvo vê R8C9=2, então risque R7C8=2, R8C8=2.
R1C9=2 é falso, então R8C9=2 é forçado em coluna 9. Cada alvo vê R8C9=2, então risque R7C8=2, R8C8=2.
Etapa 8 · Retire o preenchimento do retângulo anterior
Retire esta suposição e suas consequências. Retorne ao instantâneo do dígito candidato inalterado antes de examinar a próxima possibilidade.
Retire esta suposição e suas consequências. Retorne ao instantâneo do dígito candidato inalterado antes de examinar a próxima possibilidade.
Etapa 9 · Raciocínio
Defina R5C8=2. Todo alvo vê, então risque R7C8=2, R8C8=2.
Defina R5C8=2. Todo alvo vê, então risque R7C8=2, R8C8=2.
Etapa 10 · Conclusão
Os dois casos de endpoint esgotam todas as possibilidades e ambos eliminam R7C8=2, R8C8=2. Retire os estados de verdade lógicos temporários e, em seguida, remova esses dígitos candidatos.
Os dois casos de endpoint esgotam todas as possibilidades e ambos eliminam R7C8=2, R8C8=2. Retire os estados de verdade lógicos temporários e, em seguida, remova esses dígitos candidatos.
O que permite
Os dois casos de endpoint esgotam todas as possibilidades e ambos eliminam R7C8=2, R8C8=2. Retire os estados de verdade lógicos temporários e, em seguida, remova esses dígitos candidatos.
X-Chain · Elimine o dígito de qualquer alvo que veja ambos os pontos finais.
Exemplo passo a passo · Cadeia média
Este exemplo começa em uma posição intermediária salva. Os candidatos incluem eliminações lógicas anteriores e não são anotações automáticas recém-geradas.
Azul: evidências. Verde: conclusão. Dígitos riscados: candidatos eliminados. R1C1 significa linha 1, coluna 1.
Etapa 1 · Onde procurar
Use os dígitos candidatos verificados mostrados aqui. As remoções válidas anteriores permanecem em vigor.
Use os dígitos candidatos verificados mostrados aqui. As remoções válidas anteriores permanecem em vigor.
Etapa 2 · Raciocínio
Filial 1: suponha que R1C3=7 seja falso.
Filial 1: suponha que R1C3=7 seja falso.
Etapa 3 · Raciocínio
R1C3=7 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 1. Portanto R1C7=7 deve ser verdadeiro.
R1C3=7 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 1. Portanto R1C7=7 deve ser verdadeiro.
Etapa 4 · Raciocínio
R1C7=7 é verdade. Remova R8C7=7.
R1C7=7 é verdade. Remova R8C7=7.
Etapa 5 · Raciocínio
R8C7=7 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 8. Portanto R8C8=7 deve ser verdadeiro.
R8C7=7 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 8. Portanto R8C8=7 deve ser verdadeiro.
Etapa 6 · Raciocínio
R8C8=7 é verdade. Remova R5C8=7.
R8C8=7 é verdade. Remova R5C8=7.
Etapa 7 · Raciocínio
R5C8=7 é falso. Juntos, esses dois lados contêm todas as opções restantes em bloco 6. Portanto R4C9=7 deve ser verdadeiro.
R5C8=7 é falso. Juntos, esses dois lados contêm todas as opções restantes em bloco 6. Portanto R4C9=7 deve ser verdadeiro.
Etapa 8 · Raciocínio
R4C9=7 é verdade. Remova R4C5=7.
R4C9=7 é verdade. Remova R4C5=7.
Etapa 9 · Raciocínio
R4C5=7 é falso, então R2C5=7 é forçado em coluna 5. Cada alvo vê R2C5=7, então risque R2C3=7.
R4C5=7 é falso, então R2C5=7 é forçado em coluna 5. Cada alvo vê R2C5=7, então risque R2C3=7.
Etapa 10 · Retire o preenchimento do retângulo anterior
Retire esta suposição e suas consequências. Retorne ao instantâneo do dígito candidato inalterado antes de examinar a próxima possibilidade.
Retire esta suposição e suas consequências. Retorne ao instantâneo do dígito candidato inalterado antes de examinar a próxima possibilidade.
Etapa 11 · Raciocínio
Defina R1C3=7. Todo alvo vê, então risque R2C3=7.
Defina R1C3=7. Todo alvo vê, então risque R2C3=7.
Etapa 12 · Conclusão
Os dois casos de endpoint esgotam todas as possibilidades e ambos eliminam R2C3=7. Retire os estados de verdade lógicos temporários e, em seguida, remova esses dígitos candidatos.
Os dois casos de endpoint esgotam todas as possibilidades e ambos eliminam R2C3=7. Retire os estados de verdade lógicos temporários e, em seguida, remova esses dígitos candidatos.
O que permite
Os dois casos de endpoint esgotam todas as possibilidades e ambos eliminam R2C3=7. Retire os estados de verdade lógicos temporários e, em seguida, remova esses dígitos candidatos.
X-Chain · Elimine o dígito de qualquer alvo que veja ambos os pontos finais.
Exemplo passo a passo · Corrente longa
Este exemplo começa em uma posição intermediária salva. Os candidatos incluem eliminações lógicas anteriores e não são anotações automáticas recém-geradas.
Azul: evidências. Verde: conclusão. Dígitos riscados: candidatos eliminados. R1C1 significa linha 1, coluna 1.
Etapa 1 · Onde procurar
Use os dígitos candidatos verificados mostrados aqui. As remoções válidas anteriores permanecem em vigor.
Use os dígitos candidatos verificados mostrados aqui. As remoções válidas anteriores permanecem em vigor.
Etapa 2 · Raciocínio
Filial 1: suponha que R1C5=9 seja falso.
Filial 1: suponha que R1C5=9 seja falso.
Etapa 3 · Raciocínio
R1C5=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 1. Portanto R1C3=9 deve ser verdadeiro.
R1C5=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 1. Portanto R1C3=9 deve ser verdadeiro.
Etapa 4 · Raciocínio
R1C3=9 é verdade. Remova R3C1=9.
R1C3=9 é verdade. Remova R3C1=9.
Etapa 5 · Raciocínio
R3C1=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 1. Portanto R5C1=9 deve ser verdadeiro.
R3C1=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 1. Portanto R5C1=9 deve ser verdadeiro.
Etapa 6 · Raciocínio
R5C1=9 é verdade. Remova R6C3=9.
R5C1=9 é verdade. Remova R6C3=9.
Etapa 7 · Raciocínio
R6C3=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 6. Portanto R6C7=9 deve ser verdadeiro.
R6C3=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 6. Portanto R6C7=9 deve ser verdadeiro.
Etapa 8 · Raciocínio
R6C7=9 é verdade. Remova R5C8=9.
R6C7=9 é verdade. Remova R5C8=9.
Etapa 9 · Raciocínio
R5C8=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 8. Portanto R9C8=9 deve ser verdadeiro.
R5C8=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 8. Portanto R9C8=9 deve ser verdadeiro.
Etapa 10 · Raciocínio
R9C8=9 é verdade. Remova R9C2=9.
R9C8=9 é verdade. Remova R9C2=9.
Etapa 11 · Raciocínio
R9C2=9 é falso, então R8C2=9 é forçado em coluna 2. Cada alvo vê R8C2=9, então risque R8C5=9.
R9C2=9 é falso, então R8C2=9 é forçado em coluna 2. Cada alvo vê R8C2=9, então risque R8C5=9.
Etapa 12 · Retire o preenchimento do retângulo anterior
Retire esta suposição e suas consequências. Retorne ao instantâneo do dígito candidato inalterado antes de examinar a próxima possibilidade.
Retire esta suposição e suas consequências. Retorne ao instantâneo do dígito candidato inalterado antes de examinar a próxima possibilidade.
Etapa 13 · Raciocínio
Defina R1C5=9. Todo alvo vê, então risque R8C5=9.
Defina R1C5=9. Todo alvo vê, então risque R8C5=9.
Etapa 14 · Conclusão
Os dois casos de endpoint esgotam todas as possibilidades e ambos eliminam R8C5=9. Retire os estados de verdade lógicos temporários e, em seguida, remova esses dígitos candidatos.
Os dois casos de endpoint esgotam todas as possibilidades e ambos eliminam R8C5=9. Retire os estados de verdade lógicos temporários e, em seguida, remova esses dígitos candidatos.
O que permite
Os dois casos de endpoint esgotam todas as possibilidades e ambos eliminam R8C5=9. Retire os estados de verdade lógicos temporários e, em seguida, remova esses dígitos candidatos.
X-Chain · Elimine o dígito de qualquer alvo que veja ambos os pontos finais.