Platon Games
Português (Brasil)

Platon Sudoku · Aprender sudoku

Rede forçada (Forcing Net) · Exemplo passo a passo

Um Rede forçada (Forcing Net) ramifica e mescla implicações de dígitos candidatos. Pode refutar uma suposição ou provar um resultado comum entre alternativas. Remova um dígito candidato refutado ou aplique o resultado compartilhado por todas as ramificações exaustivas.

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 Rede forçada (Forcing Net) ramifica e mescla implicações de dígitos candidatos. Pode refutar uma suposição ou provar um resultado comum entre alternativas.

Como encontrá-lo

Rastreie cada premissa através da rede ramificada, verifique cada link e compare contradições ou pontos finais comuns.

O que permite

Remova um dígito candidato refutado ou aplique o resultado compartilhado por todas as ramificações exaustivas.

Evite a confusão

Não pule uma ramificação nem confunda um efeito compartilhado com um efeito de apenas um caminho.

Exemplo passo a passo · Contradição

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

R1C3=7 é verdadeiro ou falso. O gráfico testa R1C3=7 é verdade; uma contradição exclui esse estado de verdade lógico e força R1C3=7 é falso, portanto, os dois estados de verdade lógicos possíveis são totalmente cobertos. Esta é uma Rede forçada (Forcing Net), não uma Cadeia forçada (Forcing Chain), porque o gráfico de dependência verificada se espalha ou se funde em vez de permanecer um único caminho de implicação linear. A ramificação explorada contém nós verificados 49.

R1C3=7 é verdadeiro ou falso. O gráfico testa R1C3=7 é verdade; uma contradição exclui esse estado de verdade lógico e força R1C3=7 é falso, portanto, os dois estados de verdade lógicos possíveis são totalmente cobertos. Esta é uma Rede forçada (Forcing Net), não uma Cadeia forçada (Forcing Chain), porque o gráfico de dependência verificada se espalha ou se funde em vez de permanecer um único caminho de implicação linear. A ramificação explorada contém nós verificados 49.
R1C3=7 é verdadeiro ou falso. O gráfico testa R1C3=7 é verdade; uma contradição exclui esse estado de verdade lógico e força R1C3=7 é falso, portanto, os dois estados de verdade lógicos possíveis são totalmente cobertos. Esta é uma Rede forçada (Forcing Net), não uma Cadeia forçada (Forcing Chain), porque o gráfico de dependência verificada se espalha ou se funde em vez de permanecer um único caminho de implicação linear. A ramificação explorada contém nós verificados 49.
Etapa 2 · Raciocínio

Filial 1: suponha que R1C3=7 seja verdadeiro.

Filial 1: suponha que R1C3=7 seja verdadeiro.
Filial 1: suponha que R1C3=7 seja verdadeiro.
Etapa 3 · Raciocínio

R1C3=7 é verdade. Remova {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.

R1C3=7 é verdade. Remova {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
R1C3=7 é verdade. Remova {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
Etapa 4 · Raciocínio

Após as exclusões anteriores, R8C3=3 é a única opção restante em R8C3. É forçado sob esta suposição.

Após as exclusões anteriores, R8C3=3 é a única opção restante em R8C3. É forçado sob esta suposição.
Após as exclusões anteriores, R8C3=3 é a única opção restante em R8C3. É forçado sob esta suposição.
Etapa 5 · Raciocínio

R8C3=3 é verdade. Remova R7C3=3.

R8C3=3 é verdade. Remova R7C3=3.
R8C3=3 é verdade. Remova R7C3=3.
Etapa 6 · Raciocínio

Após as exclusões anteriores, R7C4=3 é a única opção restante em linha 7. É forçado sob esta suposição.

Após as exclusões anteriores, R7C4=3 é a única opção restante em linha 7. É forçado sob esta suposição.
Após as exclusões anteriores, R7C4=3 é a única opção restante em linha 7. É forçado sob esta suposição.
Etapa 7 · Raciocínio

Após as exclusões anteriores, R8C2=7 é a única opção restante em linha 8. É forçado sob esta suposição.

Após as exclusões anteriores, R8C2=7 é a única opção restante em linha 8. É forçado sob esta suposição.
Após as exclusões anteriores, R8C2=7 é a única opção restante em linha 8. É forçado sob esta suposição.
Etapa 8 · Raciocínio

R8C2=7 é verdade. Remova R8C2=8.

R8C2=7 é verdade. Remova R8C2=8.
R8C2=7 é verdade. Remova R8C2=8.
Etapa 9 · Raciocínio

Após as exclusões anteriores, R8C8=8 é a única opção restante em linha 8. É forçado sob esta suposição.

Após as exclusões anteriores, R8C8=8 é a única opção restante em linha 8. É forçado sob esta suposição.
Após as exclusões anteriores, R8C8=8 é a única opção restante em linha 8. É forçado sob esta suposição.
Etapa 10 · Raciocínio

R8C8=8 é verdade. Remova R8C8=4.

R8C8=8 é verdade. Remova R8C8=4.
R8C8=8 é verdade. Remova R8C8=4.
Etapa 11 · Raciocínio

Após as exclusões anteriores, R6C1=7 é a única opção restante em coluna 1. É forçado sob esta suposição.

Após as exclusões anteriores, R6C1=7 é a única opção restante em coluna 1. É forçado sob esta suposição.
Após as exclusões anteriores, R6C1=7 é a única opção restante em coluna 1. É forçado sob esta suposição.
Etapa 12 · Raciocínio

R6C1=7 é verdade. Remova R6C1=5.

R6C1=7 é verdade. Remova R6C1=5.
R6C1=7 é verdade. Remova R6C1=5.
Etapa 13 · Raciocínio

Após as exclusões anteriores, R3C8=4 é a única opção restante em coluna 8. É forçado sob esta suposição.

Após as exclusões anteriores, R3C8=4 é a única opção restante em coluna 8. É forçado sob esta suposição.
Após as exclusões anteriores, R3C8=4 é a única opção restante em coluna 8. É forçado sob esta suposição.
Etapa 14 · Raciocínio

R3C8=4 é verdade. Remova {R3C8=1, R3C8=6}.

R3C8=4 é verdade. Remova {R3C8=1, R3C8=6}.
R3C8=4 é verdade. Remova {R3C8=1, R3C8=6}.
Etapa 15 · Raciocínio

Após as exclusões anteriores, R3C1=2 é a única opção restante em bloco 1. É forçado sob esta suposição.

Após as exclusões anteriores, R3C1=2 é a única opção restante em bloco 1. É forçado sob esta suposição.
Após as exclusões anteriores, R3C1=2 é a única opção restante em bloco 1. É forçado sob esta suposição.
Etapa 16 · Raciocínio

R3C1=2 é verdade. Remova R3C1=5.

R3C1=2 é verdade. Remova R3C1=5.
R3C1=2 é verdade. Remova R3C1=5.
Etapa 17 · Raciocínio

Após as exclusões anteriores, R9C7=4 é a única opção restante em bloco 9. É forçado sob esta suposição.

Após as exclusões anteriores, R9C7=4 é a única opção restante em bloco 9. É forçado sob esta suposição.
Após as exclusões anteriores, R9C7=4 é a única opção restante em bloco 9. É forçado sob esta suposição.
Etapa 18 · Raciocínio

R9C7=4 é verdade. Remova R9C7=9.

R9C7=4 é verdade. Remova R9C7=9.
R9C7=4 é verdade. Remova R9C7=9.
Etapa 19 · Raciocínio

Após as exclusões anteriores, R7C9=9 é a única opção restante em bloco 9. É forçado sob esta suposição.

Após as exclusões anteriores, R7C9=9 é a única opção restante em bloco 9. É forçado sob esta suposição.
Após as exclusões anteriores, R7C9=9 é a única opção restante em bloco 9. É forçado sob esta suposição.
Etapa 20 · Raciocínio

R3C8=4 é verdade. Remova R2C7=4.

R3C8=4 é verdade. Remova R2C7=4.
R3C8=4 é verdade. Remova R2C7=4.
Etapa 21 · Raciocínio

R6C1=7 é verdade. Remova R6C7=7.

R6C1=7 é verdade. Remova R6C7=7.
R6C1=7 é verdade. Remova R6C7=7.
Etapa 22 · Raciocínio

Após as exclusões anteriores, R6C7=6 é a única opção restante em R6C7. É forçado sob esta suposição.

Após as exclusões anteriores, R6C7=6 é a única opção restante em R6C7. É forçado sob esta suposição.
Após as exclusões anteriores, R6C7=6 é a única opção restante em R6C7. É forçado sob esta suposição.
Etapa 23 · Raciocínio

R6C7=6 é verdade. Remova R3C7=6.

R6C7=6 é verdade. Remova R3C7=6.
R6C7=6 é verdade. Remova R3C7=6.
Etapa 24 · Raciocínio

R7C4=3 é verdade. Remova R2C4=3.

R7C4=3 é verdade. Remova R2C4=3.
R7C4=3 é verdade. Remova R2C4=3.
Etapa 25 · Raciocínio

R7C9=9 é verdade. Remova {R1C9=9, R7C3=9}.

R7C9=9 é verdade. Remova {R1C9=9, R7C3=9}.
R7C9=9 é verdade. Remova {R1C9=9, R7C3=9}.
Etapa 26 · Raciocínio

R8C8=8 é verdade. Remova R1C8=8.

R8C8=8 é verdade. Remova R1C8=8.
R8C8=8 é verdade. Remova R1C8=8.
Etapa 27 · Raciocínio

Após as exclusões anteriores, R3C9=6 é a única opção restante em linha 3. É forçado sob esta suposição.

Após as exclusões anteriores, R3C9=6 é a única opção restante em linha 3. É forçado sob esta suposição.
Após as exclusões anteriores, R3C9=6 é a única opção restante em linha 3. É forçado sob esta suposição.
Etapa 28 · Raciocínio

R3C9=6 é verdade. Remova R3C9=1.

R3C9=6 é verdade. Remova R3C9=1.
R3C9=6 é verdade. Remova R3C9=1.
Etapa 29 · Raciocínio

Após as exclusões anteriores, R9C1=9 é a única opção restante em linha 9. É forçado sob esta suposição.

Após as exclusões anteriores, R9C1=9 é a única opção restante em linha 9. É forçado sob esta suposição.
Após as exclusões anteriores, R9C1=9 é a única opção restante em linha 9. É forçado sob esta suposição.
Etapa 30 · Raciocínio

R9C1=9 é verdade. Remova R9C1=5.

R9C1=9 é verdade. Remova R9C1=5.
R9C1=9 é verdade. Remova R9C1=5.
Etapa 31 · Raciocínio

Após as exclusões anteriores, R2C1=5 é a única opção restante em coluna 1. É forçado sob esta suposição.

Após as exclusões anteriores, R2C1=5 é a única opção restante em coluna 1. É forçado sob esta suposição.
Após as exclusões anteriores, R2C1=5 é a única opção restante em coluna 1. É forçado sob esta suposição.
Etapa 32 · Raciocínio

Após as exclusões anteriores, R2C3=9 é a única opção restante em coluna 3. É forçado sob esta suposição.

Após as exclusões anteriores, R2C3=9 é a única opção restante em coluna 3. É forçado sob esta suposição.
Após as exclusões anteriores, R2C3=9 é a única opção restante em coluna 3. É forçado sob esta suposição.
Etapa 33 · Raciocínio

Após as exclusões anteriores, R2C9=1 é a única opção restante em bloco 3. É forçado sob esta suposição.

Após as exclusões anteriores, R2C9=1 é a única opção restante em bloco 3. É forçado sob esta suposição.
Após as exclusões anteriores, R2C9=1 é a única opção restante em bloco 3. É forçado sob esta suposição.
Etapa 34 · Raciocínio

Após as exclusões anteriores, R1C8=5 é a única opção restante em R1C8. É forçado sob esta suposição.

Após as exclusões anteriores, R1C8=5 é a única opção restante em R1C8. É forçado sob esta suposição.
Após as exclusões anteriores, R1C8=5 é a única opção restante em R1C8. É forçado sob esta suposição.
Etapa 35 · Raciocínio

R1C8=5 é verdade. Remova R1C9=5.

R1C8=5 é verdade. Remova R1C9=5.
R1C8=5 é verdade. Remova R1C9=5.
Etapa 36 · Raciocínio

Após as exclusões anteriores, R1C9=8 é a única opção restante em R1C9. É forçado sob esta suposição.

Após as exclusões anteriores, R1C9=8 é a única opção restante em R1C9. É forçado sob esta suposição.
Após as exclusões anteriores, R1C9=8 é a única opção restante em R1C9. É forçado sob esta suposição.
Etapa 37 · Raciocínio

R1C9=8 é verdade. Remova R2C7=8.

R1C9=8 é verdade. Remova R2C7=8.
R1C9=8 é verdade. Remova R2C7=8.
Etapa 38 · Raciocínio

R2C1=5 é verdade. Remova R2C4=5.

R2C1=5 é verdade. Remova R2C4=5.
R2C1=5 é verdade. Remova R2C4=5.
Etapa 39 · Raciocínio

R2C3=9 é verdade. Remova R2C7=9.

R2C3=9 é verdade. Remova R2C7=9.
R2C3=9 é verdade. Remova R2C7=9.
Etapa 40 · Raciocínio

Após as exclusões anteriores, R2C7=7 é a única opção restante em R2C7. É forçado sob esta suposição.

Após as exclusões anteriores, R2C7=7 é a única opção restante em R2C7. É forçado sob esta suposição.
Após as exclusões anteriores, R2C7=7 é a única opção restante em R2C7. É forçado sob esta suposição.
Etapa 41 · Raciocínio

R2C7=7 é verdade. Remova R2C4=7.

R2C7=7 é verdade. Remova R2C4=7.
R2C7=7 é verdade. Remova R2C4=7.
Etapa 42 · Raciocínio

R2C9=1 é verdade. Remova R2C4=1.

R2C9=1 é verdade. Remova R2C4=1.
R2C9=1 é verdade. Remova R2C4=1.
Etapa 43 · Raciocínio

Esta suposição não deixa nenhum valor ou posição possível em R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Uma célula Sudoku e cada dígito ausente em uma região devem ter uma opção. A suposição é impossível.

Esta suposição não deixa nenhum valor ou posição possível em R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Uma célula Sudoku e cada dígito ausente em uma região devem ter uma opção. A suposição é impossível.
Esta suposição não deixa nenhum valor ou posição possível em R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Uma célula Sudoku e cada dígito ausente em uma região devem ter uma opção. A suposição é impossível.
Etapa 44 · 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 45 · Conclusão

R1C3=7 pode ser removido porque não pode ser verdadeiro neste padrão.

R1C3=7 pode ser removido porque não pode ser verdadeiro neste padrão.
R1C3=7 pode ser removido porque não pode ser verdadeiro neste padrão.

O que permite

R1C3=7 pode ser removido porque não pode ser verdadeiro neste padrão.

Rede forçada (Forcing Net) · Remova um dígito candidato refutado ou aplique o resultado compartilhado por todas as ramificações exaustivas.
Rede forçada (Forcing Net) · Remova um dígito candidato refutado ou aplique o resultado compartilhado por todas as ramificações exaustivas.

Exemplo passo a passo · Resultado comum

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 conjunto raiz R7C5=2, R7C5=4, R7C5=9 contém todos os inícios possíveis em R7C5, portanto, as ramificações raiz são exaustivas. Este é um Rede forçada (Forcing Net), não um Cadeia forçada (Forcing Chain), porque o gráfico de dependência verificada se espalha ou se funde em vez de permanecer um único caminho de implicação linear. O gráfico de dependência contém nós verificados 58 nas ramificações raiz 3. O resultado comum a ser verificado é R3C6=2 é verdade.

O conjunto raiz R7C5=2, R7C5=4, R7C5=9 contém todos os inícios possíveis em R7C5, portanto, as ramificações raiz são exaustivas. Este é um Rede forçada (Forcing Net), não um Cadeia forçada (Forcing Chain), porque o gráfico de dependência verificada se espalha ou se funde em vez de permanecer um único caminho de implicação linear. O gráfico de dependência contém nós verificados 58 nas ramificações raiz 3. O resultado comum a ser verificado é R3C6=2 é verdade.
O conjunto raiz R7C5=2, R7C5=4, R7C5=9 contém todos os inícios possíveis em R7C5, portanto, as ramificações raiz são exaustivas. Este é um Rede forçada (Forcing Net), não um Cadeia forçada (Forcing Chain), porque o gráfico de dependência verificada se espalha ou se funde em vez de permanecer um único caminho de implicação linear. O gráfico de dependência contém nós verificados 58 nas ramificações raiz 3. O resultado comum a ser verificado é R3C6=2 é verdade.
Etapa 2 · Raciocínio

Filial 1: suponha que R7C5=2 seja verdadeiro.

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

R7C5=2 é verdade. Remova R3C5=2.

R7C5=2 é verdade. Remova R3C5=2.
R7C5=2 é verdade. Remova R3C5=2.
Etapa 4 · Raciocínio

Após as exclusões anteriores, R3C6=2 é a única opção restante em linha 3. É forçado sob esta suposição.

Após as exclusões anteriores, R3C6=2 é a única opção restante em linha 3. É forçado sob esta suposição.
Após as exclusões anteriores, R3C6=2 é a única opção restante em linha 3. É forçado sob esta suposição.
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 R7C5=4 seja verdadeiro.

Filial 2: suponha que R7C5=4 seja verdadeiro.
Filial 2: suponha que R7C5=4 seja verdadeiro.
Etapa 7 · Raciocínio

R7C5=4 é verdade. Remova R8C5=4.

R7C5=4 é verdade. Remova R8C5=4.
R7C5=4 é verdade. Remova R8C5=4.
Etapa 8 · Raciocínio

Após as exclusões anteriores, R8C5=2 é a única opção restante em R8C5. É forçado sob esta suposição.

Após as exclusões anteriores, R8C5=2 é a única opção restante em R8C5. É forçado sob esta suposição.
Após as exclusões anteriores, R8C5=2 é a única opção restante em R8C5. É forçado sob esta suposição.
Etapa 9 · Raciocínio

R8C5=2 é verdade. Remova R3C5=2.

R8C5=2 é verdade. Remova R3C5=2.
R8C5=2 é verdade. Remova R3C5=2.
Etapa 10 · Raciocínio

Após as exclusões anteriores, R3C6=2 é a única opção restante em linha 3. É forçado sob esta suposição.

Após as exclusões anteriores, R3C6=2 é a única opção restante em linha 3. É forçado sob esta suposição.
Após as exclusões anteriores, R3C6=2 é a única opção restante em linha 3. É forçado sob esta suposição.
Etapa 11 · 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 12 · Raciocínio

Filial 3: suponha que R7C5=9 seja verdadeiro.

Filial 3: suponha que R7C5=9 seja verdadeiro.
Filial 3: suponha que R7C5=9 seja verdadeiro.
Etapa 13 · Raciocínio

R7C5=9 é verdade. Remova {R7C7=9, R7C8=9, R7C9=9}.

R7C5=9 é verdade. Remova {R7C7=9, R7C8=9, R7C9=9}.
R7C5=9 é verdade. Remova {R7C7=9, R7C8=9, R7C9=9}.
Etapa 14 · Raciocínio

Após as exclusões anteriores, R7C8=7 é a única opção restante em R7C8. É forçado sob esta suposição.

Após as exclusões anteriores, R7C8=7 é a única opção restante em R7C8. É forçado sob esta suposição.
Após as exclusões anteriores, R7C8=7 é a única opção restante em R7C8. É forçado sob esta suposição.
Etapa 15 · Raciocínio

R7C8=7 é verdade. Remova {R7C9=7, R9C7=7, R9C8=7}.

R7C8=7 é verdade. Remova {R7C9=7, R9C7=7, R9C8=7}.
R7C8=7 é verdade. Remova {R7C9=7, R9C7=7, R9C8=7}.
Etapa 16 · Raciocínio

Após as exclusões anteriores, R7C9=8 é a única opção restante em R7C9. É forçado sob esta suposição.

Após as exclusões anteriores, R7C9=8 é a única opção restante em R7C9. É forçado sob esta suposição.
Após as exclusões anteriores, R7C9=8 é a única opção restante em R7C9. É forçado sob esta suposição.
Etapa 17 · Raciocínio

R7C9=8 é verdade. Remova {R7C7=8, R8C7=8, R9C7=8}.

R7C9=8 é verdade. Remova {R7C7=8, R8C7=8, R9C7=8}.
R7C9=8 é verdade. Remova {R7C7=8, R8C7=8, R9C7=8}.
Etapa 18 · Raciocínio

Após as exclusões anteriores, R9C1=7 é a única opção restante em linha 9. É forçado sob esta suposição.

Após as exclusões anteriores, R9C1=7 é a única opção restante em linha 9. É forçado sob esta suposição.
Após as exclusões anteriores, R9C1=7 é a única opção restante em linha 9. É forçado sob esta suposição.
Etapa 19 · Raciocínio

Após as exclusões anteriores, R4C7=8 é a única opção restante em coluna 7. É forçado sob esta suposição.

Após as exclusões anteriores, R4C7=8 é a única opção restante em coluna 7. É forçado sob esta suposição.
Após as exclusões anteriores, R4C7=8 é a única opção restante em coluna 7. É forçado sob esta suposição.
Etapa 20 · Raciocínio

R4C7=8 é verdade. Remova R4C7=5.

R4C7=8 é verdade. Remova R4C7=5.
R4C7=8 é verdade. Remova R4C7=5.
Etapa 21 · Raciocínio

Após as exclusões anteriores, R4C9=7 é a única opção restante em coluna 9. É forçado sob esta suposição.

Após as exclusões anteriores, R4C9=7 é a única opção restante em coluna 9. É forçado sob esta suposição.
Após as exclusões anteriores, R4C9=7 é a única opção restante em coluna 9. É forçado sob esta suposição.
Etapa 22 · Raciocínio

R4C9=7 é verdade. Remova R4C9=9.

R4C9=7 é verdade. Remova R4C9=9.
R4C9=7 é verdade. Remova R4C9=9.
Etapa 23 · Raciocínio

Após as exclusões anteriores, R6C9=9 é a única opção restante em coluna 9. É forçado sob esta suposição.

Após as exclusões anteriores, R6C9=9 é a única opção restante em coluna 9. É forçado sob esta suposição.
Após as exclusões anteriores, R6C9=9 é a única opção restante em coluna 9. É forçado sob esta suposição.
Etapa 24 · Raciocínio

R6C9=9 é verdade. Remova R6C9=1.

R6C9=9 é verdade. Remova R6C9=1.
R6C9=9 é verdade. Remova R6C9=1.
Etapa 25 · Raciocínio

Após as exclusões anteriores, R5C7=1 é a única opção restante em bloco 6. É forçado sob esta suposição.

Após as exclusões anteriores, R5C7=1 é a única opção restante em bloco 6. É forçado sob esta suposição.
Após as exclusões anteriores, R5C7=1 é a única opção restante em bloco 6. É forçado sob esta suposição.
Etapa 26 · Raciocínio

R5C7=1 é verdade. Remova {R5C7=5, R5C7=7}.

R5C7=1 é verdade. Remova {R5C7=5, R5C7=7}.
R5C7=1 é verdade. Remova {R5C7=5, R5C7=7}.
Etapa 27 · Raciocínio

Após as exclusões anteriores, R4C8=5 é a única opção restante em bloco 6. É forçado sob esta suposição.

Após as exclusões anteriores, R4C8=5 é a única opção restante em bloco 6. É forçado sob esta suposição.
Após as exclusões anteriores, R4C8=5 é a única opção restante em bloco 6. É forçado sob esta suposição.
Etapa 28 · Raciocínio

R4C8=5 é verdade. Remova {R4C5=5, R8C8=5}.

R4C8=5 é verdade. Remova {R4C5=5, R8C8=5}.
R4C8=5 é verdade. Remova {R4C5=5, R8C8=5}.
Etapa 29 · Raciocínio

R5C7=1 é verdade. Remova {R2C7=1, R5C1=1}.

R5C7=1 é verdade. Remova {R2C7=1, R5C1=1}.
R5C7=1 é verdade. Remova {R2C7=1, R5C1=1}.
Etapa 30 · Raciocínio

R9C1=7 é verdade. Remova R5C1=7.

R9C1=7 é verdade. Remova R5C1=7.
R9C1=7 é verdade. Remova R5C1=7.
Etapa 31 · Raciocínio

Após as exclusões anteriores, R5C2=7 é a única opção restante em linha 5. É forçado sob esta suposição.

Após as exclusões anteriores, R5C2=7 é a única opção restante em linha 5. É forçado sob esta suposição.
Após as exclusões anteriores, R5C2=7 é a única opção restante em linha 5. É forçado sob esta suposição.
Etapa 32 · Raciocínio

R5C2=7 é verdade. Remova R5C2=3.

R5C2=7 é verdade. Remova R5C2=3.
R5C2=7 é verdade. Remova R5C2=3.
Etapa 33 · Raciocínio

Após as exclusões anteriores, R8C7=5 é a única opção restante em linha 8. É forçado sob esta suposição.

Após as exclusões anteriores, R8C7=5 é a única opção restante em linha 8. É forçado sob esta suposição.
Após as exclusões anteriores, R8C7=5 é a única opção restante em linha 8. É forçado sob esta suposição.
Etapa 34 · Raciocínio

R8C7=5 é verdade. Remova {R8C7=2, R8C7=6}.

R8C7=5 é verdade. Remova {R8C7=2, R8C7=6}.
R8C7=5 é verdade. Remova {R8C7=2, R8C7=6}.
Etapa 35 · Raciocínio

Após as exclusões anteriores, R1C1=1 é a única opção restante em coluna 1. É forçado sob esta suposição.

Após as exclusões anteriores, R1C1=1 é a única opção restante em coluna 1. É forçado sob esta suposição.
Após as exclusões anteriores, R1C1=1 é a única opção restante em coluna 1. É forçado sob esta suposição.
Etapa 36 · Raciocínio

Após as exclusões anteriores, R7C7=6 é a única opção restante em coluna 7. É forçado sob esta suposição.

Após as exclusões anteriores, R7C7=6 é a única opção restante em coluna 7. É forçado sob esta suposição.
Após as exclusões anteriores, R7C7=6 é a única opção restante em coluna 7. É forçado sob esta suposição.
Etapa 37 · Raciocínio

R7C7=6 é verdade. Remova R7C7=2.

R7C7=6 é verdade. Remova R7C7=2.
R7C7=6 é verdade. Remova R7C7=2.
Etapa 38 · Raciocínio

Após as exclusões anteriores, R9C7=2 é a única opção restante em bloco 9. É forçado sob esta suposição.

Após as exclusões anteriores, R9C7=2 é a única opção restante em bloco 9. É forçado sob esta suposição.
Após as exclusões anteriores, R9C7=2 é a única opção restante em bloco 9. É forçado sob esta suposição.
Etapa 39 · Raciocínio

R9C7=2 é verdade. Remova R9C7=9.

R9C7=2 é verdade. Remova R9C7=9.
R9C7=2 é verdade. Remova R9C7=9.
Etapa 40 · Raciocínio

Após as exclusões anteriores, R9C8=9 é a única opção restante em bloco 9. É forçado sob esta suposição.

Após as exclusões anteriores, R9C8=9 é a única opção restante em bloco 9. É forçado sob esta suposição.
Após as exclusões anteriores, R9C8=9 é a única opção restante em bloco 9. É forçado sob esta suposição.
Etapa 41 · Raciocínio

R9C8=9 é verdade. Remova R9C8=3.

R9C8=9 é verdade. Remova R9C8=3.
R9C8=9 é verdade. Remova R9C8=3.
Etapa 42 · Raciocínio

R1C1=1 é verdade. Remova R2C3=1.

R1C1=1 é verdade. Remova R2C3=1.
R1C1=1 é verdade. Remova R2C3=1.
Etapa 43 · Raciocínio

Após as exclusões anteriores, R2C5=1 é a única opção restante em linha 2. É forçado sob esta suposição.

Após as exclusões anteriores, R2C5=1 é a única opção restante em linha 2. É forçado sob esta suposição.
Após as exclusões anteriores, R2C5=1 é a única opção restante em linha 2. É forçado sob esta suposição.
Etapa 44 · Raciocínio

R2C5=1 é verdade. Remova R2C5=5.

R2C5=1 é verdade. Remova R2C5=5.
R2C5=1 é verdade. Remova R2C5=5.
Etapa 45 · Raciocínio

Após as exclusões anteriores, R9C3=3 é a única opção restante em linha 9. É forçado sob esta suposição.

Após as exclusões anteriores, R9C3=3 é a única opção restante em linha 9. É forçado sob esta suposição.
Após as exclusões anteriores, R9C3=3 é a única opção restante em linha 9. É forçado sob esta suposição.
Etapa 46 · Raciocínio

Após as exclusões anteriores, R5C5=5 é a única opção restante em coluna 5. É forçado sob esta suposição.

Após as exclusões anteriores, R5C5=5 é a única opção restante em coluna 5. É forçado sob esta suposição.
Após as exclusões anteriores, R5C5=5 é a única opção restante em coluna 5. É forçado sob esta suposição.
Etapa 47 · Raciocínio

R5C5=5 é verdade. Remova R5C5=3.

R5C5=5 é verdade. Remova R5C5=3.
R5C5=5 é verdade. Remova R5C5=3.
Etapa 48 · Raciocínio

R9C3=3 é verdade. Remova R5C3=3.

R9C3=3 é verdade. Remova R5C3=3.
R9C3=3 é verdade. Remova R5C3=3.
Etapa 49 · Raciocínio

Após as exclusões anteriores, R5C6=3 é a única opção restante em linha 5. É forçado sob esta suposição.

Após as exclusões anteriores, R5C6=3 é a única opção restante em linha 5. É forçado sob esta suposição.
Após as exclusões anteriores, R5C6=3 é a única opção restante em linha 5. É forçado sob esta suposição.
Etapa 50 · Raciocínio

R5C6=3 é verdade. Remova R3C6=3.

R5C6=3 é verdade. Remova R3C6=3.
R5C6=3 é verdade. Remova R3C6=3.
Etapa 51 · Raciocínio

Após as exclusões anteriores, R3C6=2 é a única opção restante em R3C6. É forçado sob esta suposição.

Após as exclusões anteriores, R3C6=2 é a única opção restante em R3C6. É forçado sob esta suposição.
Após as exclusões anteriores, R3C6=2 é a única opção restante em R3C6. É forçado sob esta suposição.
Etapa 52 · Raciocínio

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

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

R3C6=2 é forçado por esse padrão.

R3C6=2 é forçado por esse padrão.
R3C6=2 é forçado por esse padrão.

O que permite

R3C6=2 é forçado por esse padrão.

Rede forçada (Forcing Net) · Remova um dígito candidato refutado ou aplique o resultado compartilhado por todas as ramificações exaustivas.
Rede forçada (Forcing Net) · Remova um dígito candidato refutado ou aplique o resultado compartilhado por todas as ramificações exaustivas.

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