Platon Games
Português (Brasil)

Platon Sudoku · Aprender sudoku

Cadeia forçada (Forcing Chain) · Exemplo passo a passo

Um conjunto exaustivo de alternativas de dígitos candidatos é seguido por cadeias de implicação lineares separadas. Mantenha apenas uma colocação ou eliminação compartilhada por todas as filiais viáveis.

Este curso adapta as lições do aplicativo Platon Sudoku. Leia o exemplo completo aqui e continue aprendendo e praticando no aplicativo.

Ver no Google Play

Reconheça o padrão

Um conjunto exaustivo de alternativas de dígitos candidatos é seguido por cadeias de implicação lineares separadas.

Como encontrá-lo

Escolha uma divisão verdadeiro/falso ou todas as posições de um dígito em uma região; siga cada ramo até sua consequência verificada.

O que permite

Mantenha apenas uma colocação ou eliminação compartilhada por todas as filiais viáveis.

Evite a confusão

Um ramo que alcance um resultado é insuficiente; as alternativas iniciais devem cobrir todas as possibilidades.

Exemplo passo a passo · Duas filiais

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

O resultado comum a ser provado é R1C2=7; a chave de ramificação é R1C2=5. Qualquer dígito candidato é verdadeiro ou falso, portanto essas duas ramificações cobrem todas as possibilidades. Se ambos atingirem o resultado comum, esse resultado é forçado.

O resultado comum a ser provado é R1C2=7; a chave de ramificação é R1C2=5. Qualquer dígito candidato é verdadeiro ou falso, portanto essas duas ramificações cobrem todas as possibilidades. Se ambos atingirem o resultado comum, esse resultado é forçado.
O resultado comum a ser provado é R1C2=7; a chave de ramificação é R1C2=5. Qualquer dígito candidato é verdadeiro ou falso, portanto essas duas ramificações cobrem todas as possibilidades. Se ambos atingirem o resultado comum, esse resultado é forçado.
Etapa 2 · Raciocínio

Filial 1: suponha que R1C2=5 seja verdadeiro.

Filial 1: suponha que R1C2=5 seja verdadeiro.
Filial 1: suponha que R1C2=5 seja verdadeiro.
Etapa 3 · Raciocínio

R1C2=5 é verdade. Remova R1C2=7.

R1C2=5 é verdade. Remova R1C2=7.
R1C2=5 é verdade. Remova R1C2=7.
Etapa 4 · 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.
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 5 · Raciocínio

Filial 2: suponha que R1C2=5 seja falso.

Filial 2: suponha que R1C2=5 seja falso.
Filial 2: suponha que R1C2=5 seja falso.
Etapa 6 · Raciocínio

R1C2=5 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 1. Portanto R1C5=5 deve ser verdadeiro.

R1C2=5 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 1. Portanto R1C5=5 deve ser verdadeiro.
R1C2=5 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 1. Portanto R1C5=5 deve ser verdadeiro.
Etapa 7 · Raciocínio

R1C5=5 é verdade. Remova R2C5=5 de coluna 5.

R1C5=5 é verdade. Remova R2C5=5 de coluna 5.
R1C5=5 é verdade. Remova R2C5=5 de coluna 5.
Etapa 8 · Raciocínio

R2C5=5 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C8=5 deve ser verdadeiro.

R2C5=5 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C8=5 deve ser verdadeiro.
R2C5=5 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C8=5 deve ser verdadeiro.
Etapa 9 · Raciocínio

R2C8=5 é verdade. Remova R2C8=9.

R2C8=5 é verdade. Remova R2C8=9.
R2C8=5 é verdade. Remova R2C8=9.
Etapa 10 · Raciocínio

R2C8=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C4=9 deve ser verdadeiro.

R2C8=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C4=9 deve ser verdadeiro.
R2C8=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C4=9 deve ser verdadeiro.
Etapa 11 · Raciocínio

R2C4=9 é verdade. Remova R1C4=9 de coluna 4.

R2C4=9 é verdade. Remova R1C4=9 de coluna 4.
R2C4=9 é verdade. Remova R1C4=9 de coluna 4.
Etapa 12 · Raciocínio

R1C4=9 é falso. R1C4 agora tem apenas R1C4=7 restante, então deve ser verdade.

R1C4=9 é falso. R1C4 agora tem apenas R1C4=7 restante, então deve ser verdade.
R1C4=9 é falso. R1C4 agora tem apenas R1C4=7 restante, então deve ser verdade.
Etapa 13 · Raciocínio

R1C4=7 é verdade. Remova R1C2=7 de linha 1.

R1C4=7 é verdade. Remova R1C2=7 de linha 1.
R1C4=7 é verdade. Remova R1C2=7 de linha 1.
Etapa 14 · Raciocínio

Cada ramificação possível atinge o mesmo fato: R1C2=7 é falso. Depois de retiradas todas as suposições, este facto permanece certo.

Cada ramificação possível atinge o mesmo fato: R1C2=7 é falso. Depois de retiradas todas as suposições, este facto permanece certo.
Cada ramificação possível atinge o mesmo fato: R1C2=7 é falso. Depois de retiradas todas as suposições, este facto permanece certo.
Etapa 15 · Conclusão

O resultado verificado é R1C2=7 é falso. Todas as suposições temporárias foram retiradas.

O resultado verificado é R1C2=7 é falso. Todas as suposições temporárias foram retiradas.
O resultado verificado é R1C2=7 é falso. Todas as suposições temporárias foram retiradas.

O que permite

O resultado verificado é R1C2=7 é falso. Todas as suposições temporárias foram retiradas.

Cadeia forçada (Forcing Chain) · Mantenha apenas uma colocação ou eliminação compartilhada por todas as filiais viáveis.
Cadeia forçada (Forcing Chain) · Mantenha apenas uma colocação ou eliminação compartilhada por todas as filiais viáveis.

Exemplo passo a passo · Várias filiais

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

As raízes R2C4=2, R2C4=3, R2C4=6, R2C4=7 são todos os dígitos candidatos possíveis em R2C4. Siga cada um como uma cadeia de implicações lineares separada; se cada raiz atingir R2C6=3, esse resultado será forçado. Múltiplas raízes por si só não tornam este Rede forçada (Forcing Net).

As raízes R2C4=2, R2C4=3, R2C4=6, R2C4=7 são todos os dígitos candidatos possíveis em R2C4. Siga cada um como uma cadeia de implicações lineares separada; se cada raiz atingir R2C6=3, esse resultado será forçado. Múltiplas raízes por si só não tornam este Rede forçada (Forcing Net).
As raízes R2C4=2, R2C4=3, R2C4=6, R2C4=7 são todos os dígitos candidatos possíveis em R2C4. Siga cada um como uma cadeia de implicações lineares separada; se cada raiz atingir R2C6=3, esse resultado será forçado. Múltiplas raízes por si só não tornam este Rede forçada (Forcing Net).
Etapa 2 · Raciocínio

Filial 1: suponha que R2C4=2 seja verdadeiro.

Filial 1: suponha que R2C4=2 seja verdadeiro.
Filial 1: suponha que R2C4=2 seja verdadeiro.
Etapa 3 · Raciocínio

R2C4=2 é verdade. Remova R2C4=3.

R2C4=2 é verdade. Remova R2C4=3.
R2C4=2 é verdade. Remova R2C4=3.
Etapa 4 · Raciocínio

R2C4=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C6=3 deve ser verdadeiro.

R2C4=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C6=3 deve ser verdadeiro.
R2C4=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C6=3 deve ser verdadeiro.
Etapa 5 · 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.
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 6 · Raciocínio

Filial 2: suponha que R2C4=3 seja verdadeiro.

Filial 2: suponha que R2C4=3 seja verdadeiro.
Filial 2: suponha que R2C4=3 seja verdadeiro.
Etapa 7 · Raciocínio

R2C4=3 é verdade. Remova R2C4=6.

R2C4=3 é verdade. Remova R2C4=6.
R2C4=3 é verdade. Remova R2C4=6.
Etapa 8 · Raciocínio

R2C4=6 é falso. Juntos, esses dois lados contêm todas as opções restantes em bloco 2. Portanto R1C5=6 deve ser verdadeiro.

R2C4=6 é falso. Juntos, esses dois lados contêm todas as opções restantes em bloco 2. Portanto R1C5=6 deve ser verdadeiro.
R2C4=6 é falso. Juntos, esses dois lados contêm todas as opções restantes em bloco 2. Portanto R1C5=6 deve ser verdadeiro.
Etapa 9 · Raciocínio

R1C5=6 é verdade. Remova R4C5=6 de coluna 5.

R1C5=6 é verdade. Remova R4C5=6 de coluna 5.
R1C5=6 é verdade. Remova R4C5=6 de coluna 5.
Etapa 10 · Raciocínio

R4C5=6 é falso. R4C5 agora tem apenas R4C5=3 restante, então deve ser verdade.

R4C5=6 é falso. R4C5 agora tem apenas R4C5=3 restante, então deve ser verdade.
R4C5=6 é falso. R4C5 agora tem apenas R4C5=3 restante, então deve ser verdade.
Etapa 11 · Raciocínio

R4C5=3 é verdade. Remova R6C6=3 de bloco 5.

R4C5=3 é verdade. Remova R6C6=3 de bloco 5.
R4C5=3 é verdade. Remova R6C6=3 de bloco 5.
Etapa 12 · Raciocínio

R6C6=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 6. Portanto R2C6=3 deve ser verdadeiro.

R6C6=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 6. Portanto R2C6=3 deve ser verdadeiro.
R6C6=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 6. Portanto R2C6=3 deve ser verdadeiro.
Etapa 13 · 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.
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 14 · Raciocínio

Filial 3: suponha que R2C4=6 seja verdadeiro.

Filial 3: suponha que R2C4=6 seja verdadeiro.
Filial 3: suponha que R2C4=6 seja verdadeiro.
Etapa 15 · Raciocínio

R2C4=6 é verdade. Remova R2C4=3.

R2C4=6 é verdade. Remova R2C4=3.
R2C4=6 é verdade. Remova R2C4=3.
Etapa 16 · Raciocínio

R2C4=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C6=3 deve ser verdadeiro.

R2C4=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C6=3 deve ser verdadeiro.
R2C4=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C6=3 deve ser verdadeiro.
Etapa 17 · 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.
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 18 · Raciocínio

Filial 4: suponha que R2C4=7 seja verdadeiro.

Filial 4: suponha que R2C4=7 seja verdadeiro.
Filial 4: suponha que R2C4=7 seja verdadeiro.
Etapa 19 · Raciocínio

R2C4=7 é verdade. Remova R2C4=3.

R2C4=7 é verdade. Remova R2C4=3.
R2C4=7 é verdade. Remova R2C4=3.
Etapa 20 · Raciocínio

R2C4=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C6=3 deve ser verdadeiro.

R2C4=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C6=3 deve ser verdadeiro.
R2C4=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C6=3 deve ser verdadeiro.
Etapa 21 · Raciocínio

Cada ramificação possível atinge o mesmo fato: R2C6=3 é verdade. Depois de retiradas todas as suposições, este facto permanece certo.

Cada ramificação possível atinge o mesmo fato: R2C6=3 é verdade. Depois de retiradas todas as suposições, este facto permanece certo.
Cada ramificação possível atinge o mesmo fato: R2C6=3 é verdade. Depois de retiradas todas as suposições, este facto permanece certo.
Etapa 22 · Conclusão

O resultado verificado é R2C6=3 é verdade. Todas as suposições temporárias foram retiradas.

O resultado verificado é R2C6=3 é verdade. Todas as suposições temporárias foram retiradas.
O resultado verificado é R2C6=3 é verdade. Todas as suposições temporárias foram retiradas.

O que permite

O resultado verificado é R2C6=3 é verdade. Todas as suposições temporárias foram retiradas.

Cadeia forçada (Forcing Chain) · Mantenha apenas uma colocação ou eliminação compartilhada por todas as filiais viáveis.
Cadeia forçada (Forcing Chain) · Mantenha apenas uma colocação ou eliminação compartilhada por todas as filiais viáveis.

Prática

Este curso adapta as lições do aplicativo Platon Sudoku. Leia o exemplo completo aqui e continue aprendendo e praticando no aplicativo.

Ver no Google Play