Platon Games
Português (Brasil)

Platon Sudoku · Aprender sudoku

Nice Loop / AIC · Exemplo passo a passo

Uma cadeia de inferência alternada conecta estados de verdade lógica de dígitos candidatos com links de inferência fortes e fracos verificados. Cadeias abertas e fechadas têm conclusões distintas. Use o resultado verificado: remova um dígito candidato ou coloque um dígito quando seu estado de verdade lógico oposto for impossível.

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

Uma cadeia de inferência alternada conecta estados de verdade lógica de dígitos candidatos com links de inferência fortes e fracos verificados. Cadeias abertas e fechadas têm conclusões distintas.

Como encontrá-lo

Rastreie cada implicação de uma extremidade, registrando transições fortes e fracas e se a cadeia fecha ou contradiz uma extremidade.

O que permite

Use o resultado verificado: remova um dígito candidato ou coloque um dígito quando seu estado de verdade lógico oposto for impossível.

Evite a confusão

Um elo forte implica que, se uma extremidade for falsa, a outra será verdadeira. Um elo fraco implica que, se uma extremidade for verdadeira, a outra será falsa. Não inverta essas implicações; confira a relação entre as extremidades antes de concluir.

Exemplo passo a passo · Descontínuo · eliminar

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 · Leia o AIC antes de segui-lo

Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R1C6=1 é verdade e inspecione R1C6=1. Em coluna 6, linha 2, coluna 9, linha 7, bloco 5, linha 5, coluna 1, linha 9, coluna 8, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.

Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R1C6=1 é verdade e inspecione R1C6=1. Em coluna 6, linha 2, coluna 9, linha 7, bloco 5, linha 5, coluna 1, linha 9, coluna 8, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.
Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R1C6=1 é verdade e inspecione R1C6=1. Em coluna 6, linha 2, coluna 9, linha 7, bloco 5, linha 5, coluna 1, linha 9, coluna 8, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.
Etapa 2 · Suposição: inicie a cadeia alternada

Filial 1: suponha que R1C6=1 seja verdadeiro.

Filial 1: suponha que R1C6=1 seja verdadeiro.
Filial 1: suponha que R1C6=1 seja verdadeiro.
Etapa 3 · Relação fraca: conflito de dígitos candidatos vinculados

R1C6=1 é verdade. Remova R1C6=8.

R1C6=1 é verdade. Remova R1C6=8.
R1C6=1 é verdade. Remova R1C6=8.
Etapa 4 · Relação forte: o outro ponto final é forçado

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

R1C6=8 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 6. Portanto R2C6=8 deve ser verdadeiro.
R1C6=8 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 6. Portanto R2C6=8 deve ser verdadeiro.
Etapa 5 · Relação fraca: conflito de dígitos candidatos vinculados

R2C6=8 é verdade. Remova R2C6=6.

R2C6=8 é verdade. Remova R2C6=6.
R2C6=8 é verdade. Remova R2C6=6.
Etapa 6 · Relação forte: o outro ponto final é forçado

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

R2C6=6 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C9=6 deve ser verdadeiro.
R2C6=6 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 2. Portanto R2C9=6 deve ser verdadeiro.
Etapa 7 · Relação fraca: conflito de dígitos candidatos vinculados

R2C9=6 é verdade. Remova R2C9=3.

R2C9=6 é verdade. Remova R2C9=3.
R2C9=6 é verdade. Remova R2C9=3.
Etapa 8 · Relação forte: o outro ponto final é forçado

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

R2C9=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 9. Portanto R7C9=3 deve ser verdadeiro.
R2C9=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 9. Portanto R7C9=3 deve ser verdadeiro.
Etapa 9 · Relação fraca: conflito de dígitos candidatos vinculados

R7C9=3 é verdade. Remova R7C6=3.

R7C9=3 é verdade. Remova R7C6=3.
R7C9=3 é verdade. Remova R7C6=3.
Etapa 10 · Relação forte: o outro ponto final é forçado

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

R7C6=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 6. Portanto R6C6=3 deve ser verdadeiro.
R7C6=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 6. Portanto R6C6=3 deve ser verdadeiro.
Etapa 11 · Relação fraca: conflito de dígitos candidatos vinculados

R6C6=3 é verdade. Remova R5C4=3.

R6C6=3 é verdade. Remova R5C4=3.
R6C6=3 é verdade. Remova R5C4=3.
Etapa 12 · Relação forte: o outro ponto final é forçado

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

R5C4=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 5. Portanto R5C1=3 deve ser verdadeiro.
R5C4=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 5. Portanto R5C1=3 deve ser verdadeiro.
Etapa 13 · Relação fraca: conflito de dígitos candidatos vinculados

R5C1=3 é verdade. Remova R9C1=3.

R5C1=3 é verdade. Remova R9C1=3.
R5C1=3 é verdade. Remova R9C1=3.
Etapa 14 · Relação forte: o outro ponto final é forçado

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

R9C1=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 9. Portanto R9C8=3 deve ser verdadeiro.
R9C1=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 9. Portanto R9C8=3 deve ser verdadeiro.
Etapa 15 · Relação fraca: conflito de dígitos candidatos vinculados

R9C8=3 é verdade. Remova R2C8=3.

R9C8=3 é verdade. Remova R2C8=3.
R9C8=3 é verdade. Remova R2C8=3.
Etapa 16 · Mesma célula: força o outro dígito candidato

R2C8=3 é falso. Na mesma célula R2C8, o outro dígito candidato R2C8=8 é forçado a ser verdadeiro sob a suposição atual.

R2C8=3 é falso. Na mesma célula R2C8, o outro dígito candidato R2C8=8 é forçado a ser verdadeiro sob a suposição atual.
R2C8=3 é falso. Na mesma célula R2C8, o outro dígito candidato R2C8=8 é forçado a ser verdadeiro sob a suposição atual.
Etapa 17 · Relação fraca: conflito de dígitos candidatos vinculados

R2C8=8 é verdade. Remova R2C6=8.

R2C8=8 é verdade. Remova R2C6=8.
R2C8=8 é verdade. Remova R2C6=8.
Etapa 18 · Relação forte: o outro ponto final é forçado

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

R2C6=8 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 6. Portanto R1C6=8 deve ser verdadeiro.
R2C6=8 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 6. Portanto R1C6=8 deve ser verdadeiro.
Etapa 19 · A cadeia chega a uma contradição

A dedução contradiz “R1C6=1 é verdade”, portanto R1C6=1 é falso.

A dedução contradiz “R1C6=1 é verdade”, portanto R1C6=1 é falso.
A dedução contradiz “R1C6=1 é verdade”, portanto R1C6=1 é falso.
Etapa 20 · 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 21 · Resumo AIC

A cadeia alternada começou em “R1C6=1 é verdade” e seguiu as relações fortes e fracas rotuladas, incluindo interruptores na mesma célula quando necessário, até uma contradição. Portanto R1C6=1 é falso. Todos os estados de verdade lógicos temporários são retirados.

A cadeia alternada começou em “R1C6=1 é verdade” e seguiu as relações fortes e fracas rotuladas, incluindo interruptores na mesma célula quando necessário, até uma contradição. Portanto R1C6=1 é falso. Todos os estados de verdade lógicos temporários são retirados.
A cadeia alternada começou em “R1C6=1 é verdade” e seguiu as relações fortes e fracas rotuladas, incluindo interruptores na mesma célula quando necessário, até uma contradição. Portanto R1C6=1 é falso. Todos os estados de verdade lógicos temporários são retirados.

O que permite

A cadeia alternada começou em “R1C6=1 é verdade” e seguiu as relações fortes e fracas rotuladas, incluindo interruptores na mesma célula quando necessário, até uma contradição. Portanto R1C6=1 é falso. Todos os estados de verdade lógicos temporários são retirados.

Nice Loop / AIC · Use o resultado verificado: remova um dígito candidato ou coloque um dígito quando seu estado de verdade lógico oposto for impossível.
Nice Loop / AIC · Use o resultado verificado: remova um dígito candidato ou coloque um dígito quando seu estado de verdade lógico oposto for impossível.

Exemplo passo a passo · Descontínuo · lugar

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 · Leia o AIC antes de segui-lo

Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R1C1=4 é falso e inspecione R1C1=4. Em linha 1, coluna 2, bloco 4, coluna 3, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.

Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R1C1=4 é falso e inspecione R1C1=4. Em linha 1, coluna 2, bloco 4, coluna 3, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.
Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R1C1=4 é falso e inspecione R1C1=4. Em linha 1, coluna 2, bloco 4, coluna 3, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.
Etapa 2 · Suposição: inicie a cadeia alternada

Filial 1: suponha que R1C1=4 seja falso.

Filial 1: suponha que R1C1=4 seja falso.
Filial 1: suponha que R1C1=4 seja falso.
Etapa 3 · Relação forte: o outro ponto final é forçado

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

R1C1=4 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 1. Portanto R1C3=4 deve ser verdadeiro.
R1C1=4 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 1. Portanto R1C3=4 deve ser verdadeiro.
Etapa 4 · Relação fraca: conflito de dígitos candidatos vinculados

R1C3=4 é verdade. Remova R1C3=5.

R1C3=4 é verdade. Remova R1C3=5.
R1C3=4 é verdade. Remova R1C3=5.
Etapa 5 · Relação forte: o outro ponto final é forçado

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

R1C3=5 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 1. Portanto R1C2=5 deve ser verdadeiro.
R1C3=5 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 1. Portanto R1C2=5 deve ser verdadeiro.
Etapa 6 · Relação fraca: conflito de dígitos candidatos vinculados

R1C2=5 é verdade. Remova R1C2=9.

R1C2=5 é verdade. Remova R1C2=9.
R1C2=5 é verdade. Remova R1C2=9.
Etapa 7 · Relação forte: o outro ponto final é forçado

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

R1C2=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 2. Portanto R5C2=9 deve ser verdadeiro.
R1C2=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 2. Portanto R5C2=9 deve ser verdadeiro.
Etapa 8 · Relação fraca: conflito de dígitos candidatos vinculados

R5C2=9 é verdade. Remova R4C3=9.

R5C2=9 é verdade. Remova R4C3=9.
R5C2=9 é verdade. Remova R4C3=9.
Etapa 9 · Mesma célula: força o outro dígito candidato

R4C3=9 é falso. Na mesma célula R4C3, o outro dígito candidato R4C3=4 é forçado a ser verdadeiro sob a suposição atual.

R4C3=9 é falso. Na mesma célula R4C3, o outro dígito candidato R4C3=4 é forçado a ser verdadeiro sob a suposição atual.
R4C3=9 é falso. Na mesma célula R4C3, o outro dígito candidato R4C3=4 é forçado a ser verdadeiro sob a suposição atual.
Etapa 10 · Relação fraca: conflito de dígitos candidatos vinculados

R4C3=4 é verdade. Remova R1C3=4.

R4C3=4 é verdade. Remova R1C3=4.
R4C3=4 é verdade. Remova R1C3=4.
Etapa 11 · A cadeia chega a uma contradição

A dedução contradiz “R1C1=4 é falso”, portanto R1C1=4 é verdade.

A dedução contradiz “R1C1=4 é falso”, portanto R1C1=4 é verdade.
A dedução contradiz “R1C1=4 é falso”, portanto R1C1=4 é verdade.
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.
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 · Resumo AIC

A cadeia alternada começou em “R1C1=4 é falso” e seguiu as relações fortes e fracas rotuladas, incluindo interruptores na mesma célula quando necessário, até uma contradição. Portanto R1C1=4 é verdade. Todos os estados de verdade lógicos temporários são retirados.

A cadeia alternada começou em “R1C1=4 é falso” e seguiu as relações fortes e fracas rotuladas, incluindo interruptores na mesma célula quando necessário, até uma contradição. Portanto R1C1=4 é verdade. Todos os estados de verdade lógicos temporários são retirados.
A cadeia alternada começou em “R1C1=4 é falso” e seguiu as relações fortes e fracas rotuladas, incluindo interruptores na mesma célula quando necessário, até uma contradição. Portanto R1C1=4 é verdade. Todos os estados de verdade lógicos temporários são retirados.

O que permite

A cadeia alternada começou em “R1C1=4 é falso” e seguiu as relações fortes e fracas rotuladas, incluindo interruptores na mesma célula quando necessário, até uma contradição. Portanto R1C1=4 é verdade. Todos os estados de verdade lógicos temporários são retirados.

Nice Loop / AIC · Use o resultado verificado: remova um dígito candidato ou coloque um dígito quando seu estado de verdade lógico oposto for impossível.
Nice Loop / AIC · Use o resultado verificado: remova um dígito candidato ou coloque um dígito quando seu estado de verdade lógico oposto for impossível.

Exemplo passo a passo · Tipo 1

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 · Leia o AIC antes de segui-lo

Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R1C6=2 é falso e inspecione R1C8=2, R1C9=2, R2C4=2. Em coluna 6, linha 2, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.

Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R1C6=2 é falso e inspecione R1C8=2, R1C9=2, R2C4=2. Em coluna 6, linha 2, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.
Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R1C6=2 é falso e inspecione R1C8=2, R1C9=2, R2C4=2. Em coluna 6, linha 2, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.
Etapa 2 · Suposição: inicie a cadeia alternada

Filial 1: suponha que R1C6=2 seja falso.

Filial 1: suponha que R1C6=2 seja falso.
Filial 1: suponha que R1C6=2 seja falso.
Etapa 3 · Mesma célula: força o outro dígito candidato

R1C6=2 é falso. Na mesma célula R1C6, o outro dígito candidato R1C6=1 é forçado a ser verdadeiro sob a suposição atual.

R1C6=2 é falso. Na mesma célula R1C6, o outro dígito candidato R1C6=1 é forçado a ser verdadeiro sob a suposição atual.
R1C6=2 é falso. Na mesma célula R1C6, o outro dígito candidato R1C6=1 é forçado a ser verdadeiro sob a suposição atual.
Etapa 4 · Relação fraca: conflito de dígitos candidatos vinculados

R1C6=1 é verdade. Remova R6C6=1.

R1C6=1 é verdade. Remova R6C6=1.
R1C6=1 é verdade. Remova R6C6=1.
Etapa 5 · Mesma célula: força o outro dígito candidato

R6C6=1 é falso. Na mesma célula R6C6, o outro dígito candidato R6C6=6 é forçado a ser verdadeiro sob a suposição atual.

R6C6=1 é falso. Na mesma célula R6C6, o outro dígito candidato R6C6=6 é forçado a ser verdadeiro sob a suposição atual.
R6C6=1 é falso. Na mesma célula R6C6, o outro dígito candidato R6C6=6 é forçado a ser verdadeiro sob a suposição atual.
Etapa 6 · Relação fraca: conflito de dígitos candidatos vinculados

R6C6=6 é verdade. Remova R2C6=6.

R6C6=6 é verdade. Remova R2C6=6.
R6C6=6 é verdade. Remova R2C6=6.
Etapa 7 · Mesma célula: força o outro dígito candidato

R2C6=6 é falso. Na mesma célula R2C6, o outro dígito candidato R2C6=7 é forçado a ser verdadeiro sob a suposição atual.

R2C6=6 é falso. Na mesma célula R2C6, o outro dígito candidato R2C6=7 é forçado a ser verdadeiro sob a suposição atual.
R2C6=6 é falso. Na mesma célula R2C6, o outro dígito candidato R2C6=7 é forçado a ser verdadeiro sob a suposição atual.
Etapa 8 · Relação fraca: conflito de dígitos candidatos vinculados

R2C6=7 é verdade. Remova R2C8=7.

R2C6=7 é verdade. Remova R2C8=7.
R2C6=7 é verdade. Remova R2C8=7.
Etapa 9 · Mesma célula: força o outro dígito candidato

R2C8=7 é falso. Na mesma célula R2C8, o outro dígito candidato R2C8=2 é forçado a ser verdadeiro sob a suposição atual.

R2C8=7 é falso. Na mesma célula R2C8, o outro dígito candidato R2C8=2 é forçado a ser verdadeiro sob a suposição atual.
R2C8=7 é falso. Na mesma célula R2C8, o outro dígito candidato R2C8=2 é forçado a ser verdadeiro sob a suposição atual.
Etapa 10 · Resumo AIC

Pelo menos uma das extremidades R1C6=2 e R2C8=2, do mesmo dígito, deve ser verdadeira. Cada alvo R1C8=2, R1C9=2, R2C4=2 vê ambas as extremidades e, portanto, não pode ser verdadeiro.

Pelo menos uma das extremidades R1C6=2 e R2C8=2, do mesmo dígito, deve ser verdadeira. Cada alvo R1C8=2, R1C9=2, R2C4=2 vê ambas as extremidades e, portanto, não pode ser verdadeiro.
Pelo menos uma das extremidades R1C6=2 e R2C8=2, do mesmo dígito, deve ser verdadeira. Cada alvo R1C8=2, R1C9=2, R2C4=2 vê ambas as extremidades e, portanto, não pode ser verdadeiro.
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 · Resumo AIC

Retire o caso do terminal temporário. O AIC Tipo 1 remove permanentemente R1C8=2, R1C9=2, R2C4=2, porque cada alvo vê R1C6=2 e R2C8=2.

Retire o caso do terminal temporário. O AIC Tipo 1 remove permanentemente R1C8=2, R1C9=2, R2C4=2, porque cada alvo vê R1C6=2 e R2C8=2.
Retire o caso do terminal temporário. O AIC Tipo 1 remove permanentemente R1C8=2, R1C9=2, R2C4=2, porque cada alvo vê R1C6=2 e R2C8=2.

O que permite

Retire o caso do terminal temporário. O AIC Tipo 1 remove permanentemente R1C8=2, R1C9=2, R2C4=2, porque cada alvo vê R1C6=2 e R2C8=2.

Nice Loop / AIC · Use o resultado verificado: remova um dígito candidato ou coloque um dígito quando seu estado de verdade lógico oposto for impossível.
Nice Loop / AIC · Use o resultado verificado: remova um dígito candidato ou coloque um dígito quando seu estado de verdade lógico oposto for impossível.

Exemplo passo a passo · Tipo 2

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 · Leia o AIC antes de segui-lo

Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R1C8=9 é falso e inspecione R4C8=9. Em linha 1, coluna 7, bloco 6, coluna 8, linha 3, coluna 6, linha 5, coluna 4, linha 6, coluna 9, linha 4, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.

Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R1C8=9 é falso e inspecione R4C8=9. Em linha 1, coluna 7, bloco 6, coluna 8, linha 3, coluna 6, linha 5, coluna 4, linha 6, coluna 9, linha 4, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.
Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R1C8=9 é falso e inspecione R4C8=9. Em linha 1, coluna 7, bloco 6, coluna 8, linha 3, coluna 6, linha 5, coluna 4, linha 6, coluna 9, linha 4, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.
Etapa 2 · Suposição: inicie a cadeia alternada

Filial 1: suponha que R1C8=9 seja falso.

Filial 1: suponha que R1C8=9 seja falso.
Filial 1: suponha que R1C8=9 seja falso.
Etapa 3 · Relação forte: o outro ponto final é forçado

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

R1C8=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 1. Portanto R1C7=9 deve ser verdadeiro.
R1C8=9 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 1. Portanto R1C7=9 deve ser verdadeiro.
Etapa 4 · Relação fraca: conflito de dígitos candidatos vinculados

R1C7=9 é verdade. Remova R5C7=9.

R1C7=9 é verdade. Remova R5C7=9.
R1C7=9 é verdade. Remova R5C7=9.
Etapa 5 · Mesma célula: força o outro dígito candidato

R5C7=9 é falso. Na mesma célula R5C7, o outro dígito candidato R5C7=2 é forçado a ser verdadeiro sob a suposição atual.

R5C7=9 é falso. Na mesma célula R5C7, o outro dígito candidato R5C7=2 é forçado a ser verdadeiro sob a suposição atual.
R5C7=9 é falso. Na mesma célula R5C7, o outro dígito candidato R5C7=2 é forçado a ser verdadeiro sob a suposição atual.
Etapa 6 · Relação fraca: conflito de dígitos candidatos vinculados

R5C7=2 é verdade. Remova R6C8=2.

R5C7=2 é verdade. Remova R6C8=2.
R5C7=2 é verdade. Remova R6C8=2.
Etapa 7 · Mesma célula: força o outro dígito candidato

R6C8=2 é falso. Na mesma célula R6C8, o outro dígito candidato R6C8=1 é forçado a ser verdadeiro sob a suposição atual.

R6C8=2 é falso. Na mesma célula R6C8, o outro dígito candidato R6C8=1 é forçado a ser verdadeiro sob a suposição atual.
R6C8=2 é falso. Na mesma célula R6C8, o outro dígito candidato R6C8=1 é forçado a ser verdadeiro sob a suposição atual.
Etapa 8 · Relação fraca: conflito de dígitos candidatos vinculados

R6C8=1 é verdade. Remova R3C8=1.

R6C8=1 é verdade. Remova R3C8=1.
R6C8=1 é verdade. Remova R3C8=1.
Etapa 9 · Mesma célula: força o outro dígito candidato

R3C8=1 é falso. Na mesma célula R3C8, o outro dígito candidato R3C8=6 é forçado a ser verdadeiro sob a suposição atual.

R3C8=1 é falso. Na mesma célula R3C8, o outro dígito candidato R3C8=6 é forçado a ser verdadeiro sob a suposição atual.
R3C8=1 é falso. Na mesma célula R3C8, o outro dígito candidato R3C8=6 é forçado a ser verdadeiro sob a suposição atual.
Etapa 10 · Relação fraca: conflito de dígitos candidatos vinculados

R3C8=6 é verdade. Remova R3C6=6.

R3C8=6 é verdade. Remova R3C6=6.
R3C8=6 é verdade. Remova R3C6=6.
Etapa 11 · Mesma célula: força o outro dígito candidato

R3C6=6 é falso. Na mesma célula R3C6, o outro dígito candidato R3C6=4 é forçado a ser verdadeiro sob a suposição atual.

R3C6=6 é falso. Na mesma célula R3C6, o outro dígito candidato R3C6=4 é forçado a ser verdadeiro sob a suposição atual.
R3C6=6 é falso. Na mesma célula R3C6, o outro dígito candidato R3C6=4 é forçado a ser verdadeiro sob a suposição atual.
Etapa 12 · Relação fraca: conflito de dígitos candidatos vinculados

R3C6=4 é verdade. Remova R5C6=4.

R3C6=4 é verdade. Remova R5C6=4.
R3C6=4 é verdade. Remova R5C6=4.
Etapa 13 · Relação forte: o outro ponto final é forçado

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

R5C6=4 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 5. Portanto R5C4=4 deve ser verdadeiro.
R5C6=4 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 5. Portanto R5C4=4 deve ser verdadeiro.
Etapa 14 · Relação fraca: conflito de dígitos candidatos vinculados

R5C4=4 é verdade. Remova R5C4=3.

R5C4=4 é verdade. Remova R5C4=3.
R5C4=4 é verdade. Remova R5C4=3.
Etapa 15 · Relação forte: o outro ponto final é forçado

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

R5C4=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 4. Portanto R6C4=3 deve ser verdadeiro.
R5C4=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 4. Portanto R6C4=3 deve ser verdadeiro.
Etapa 16 · Relação fraca: conflito de dígitos candidatos vinculados

R6C4=3 é verdade. Remova R6C9=3.

R6C4=3 é verdade. Remova R6C9=3.
R6C4=3 é verdade. Remova R6C9=3.
Etapa 17 · Relação forte: o outro ponto final é forçado

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

R6C9=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 9. Portanto R4C9=3 deve ser verdadeiro.
R6C9=3 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 9. Portanto R4C9=3 deve ser verdadeiro.
Etapa 18 · Relação fraca: conflito de dígitos candidatos vinculados

R4C9=3 é verdade. Remova R4C9=7.

R4C9=3 é verdade. Remova R4C9=7.
R4C9=3 é verdade. Remova R4C9=7.
Etapa 19 · Relação forte: o outro ponto final é forçado

R4C9=7 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 4. Portanto R4C8=7 deve ser verdadeiro.

R4C9=7 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 4. Portanto R4C8=7 deve ser verdadeiro.
R4C9=7 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 4. Portanto R4C8=7 deve ser verdadeiro.
Etapa 20 · Resumo AIC

Os pontos finais de peer R1C8=9 e R4C8=7 carregam dígitos diferentes. Cada dígito de candidato cruzado marcado R4C8=9 tornaria ambos os pontos de extremidade falsos, portanto, remova-o.

Os pontos finais de peer R1C8=9 e R4C8=7 carregam dígitos diferentes. Cada dígito de candidato cruzado marcado R4C8=9 tornaria ambos os pontos de extremidade falsos, portanto, remova-o.
Os pontos finais de peer R1C8=9 e R4C8=7 carregam dígitos diferentes. Cada dígito de candidato cruzado marcado R4C8=9 tornaria ambos os pontos de extremidade falsos, portanto, remova-o.
Etapa 21 · 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 22 · Resumo AIC

Retire o caso do terminal temporário. O AIC Tipo 2 remove permanentemente os dígitos de candidatos cruzados R4C8=9 entre R1C8=9 e R4C8=7.

Retire o caso do terminal temporário. O AIC Tipo 2 remove permanentemente os dígitos de candidatos cruzados R4C8=9 entre R1C8=9 e R4C8=7.
Retire o caso do terminal temporário. O AIC Tipo 2 remove permanentemente os dígitos de candidatos cruzados R4C8=9 entre R1C8=9 e R4C8=7.

O que permite

Retire o caso do terminal temporário. O AIC Tipo 2 remove permanentemente os dígitos de candidatos cruzados R4C8=9 entre R1C8=9 e R4C8=7.

Nice Loop / AIC · Use o resultado verificado: remova um dígito candidato ou coloque um dígito quando seu estado de verdade lógico oposto for impossível.
Nice Loop / AIC · Use o resultado verificado: remova um dígito candidato ou coloque um dígito quando seu estado de verdade lógico oposto for impossível.

Exemplo passo a passo · Ciclo contínuo

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 · Leia o AIC antes de segui-lo

Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R9C3=6 é falso e inspecione R9C3=5. Em coluna 3, linha 5, coluna 8, linha 9, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.

Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R9C3=6 é falso e inspecione R9C3=5. Em coluna 3, linha 5, coluna 8, linha 9, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.
Esta lição Nice Loop / AIC usa a família de nós de dígitos candidatos comuns de HoDoKu: eliminações e posicionamentos descontínuos, cadeias abertas Tipo 1 e Tipo 2 e loops contínuos. Comece em R9C3=6 é falso e inspecione R9C3=5. Em coluna 3, linha 5, coluna 8, linha 9, um link de linha sólida significa que pelo menos uma extremidade é verdadeira; um link tracejado significa que os dois pontos finais não podem ser verdadeiros ao mesmo tempo. Siga uma relação destacada de cada vez.
Etapa 2 · Suposição: inicie a cadeia alternada

Escolha R9C3=6 apenas como início de leitura deste circuito fechado. Esta não é uma suposição experimental; o loop alternado retornará aqui.

Escolha R9C3=6 apenas como início de leitura deste circuito fechado. Esta não é uma suposição experimental; o loop alternado retornará aqui.
Escolha R9C3=6 apenas como início de leitura deste circuito fechado. Esta não é uma suposição experimental; o loop alternado retornará aqui.
Etapa 3 · Relação forte: o outro ponto final é forçado

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

R9C3=6 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 3. Portanto R5C3=6 deve ser verdadeiro.
R9C3=6 é falso. Juntos, esses dois lados contêm todas as opções restantes em coluna 3. Portanto R5C3=6 deve ser verdadeiro.
Etapa 4 · Relação fraca: conflito de dígitos candidatos vinculados

R5C3=6 é verdade. Remova R5C8=6.

R5C3=6 é verdade. Remova R5C8=6.
R5C3=6 é verdade. Remova R5C8=6.
Etapa 5 · Mesma célula: força o outro dígito candidato

R5C8=6 é falso. Na mesma célula R5C8, o outro dígito candidato R5C8=8 é forçado a ser verdadeiro sob a suposição atual.

R5C8=6 é falso. Na mesma célula R5C8, o outro dígito candidato R5C8=8 é forçado a ser verdadeiro sob a suposição atual.
R5C8=6 é falso. Na mesma célula R5C8, o outro dígito candidato R5C8=8 é forçado a ser verdadeiro sob a suposição atual.
Etapa 6 · Relação fraca: conflito de dígitos candidatos vinculados

R5C8=8 é verdade. Remova R9C8=8.

R5C8=8 é verdade. Remova R9C8=8.
R5C8=8 é verdade. Remova R9C8=8.
Etapa 7 · Relação forte: o outro ponto final é forçado

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

R9C8=8 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 9. Portanto R9C3=8 deve ser verdadeiro.
R9C8=8 é falso. Juntos, esses dois lados contêm todas as opções restantes em linha 9. Portanto R9C3=8 deve ser verdadeiro.
Etapa 8 · Relação fraca: conflito de dígitos candidatos vinculados

R9C3=8 é verdade. Remova R9C3=6.

R9C3=8 é verdade. Remova R9C3=6.
R9C3=8 é verdade. Remova R9C3=6.
Etapa 9 · Resumo AIC

A corrente se fecha como um loop alternado contínuo. Cada relação fraca no loop é, portanto, forte, o que remove R9C3=5 da célula afetada ou da unidade Sudoku.

A corrente se fecha como um loop alternado contínuo. Cada relação fraca no loop é, portanto, forte, o que remove R9C3=5 da célula afetada ou da unidade Sudoku.
A corrente se fecha como um loop alternado contínuo. Cada relação fraca no loop é, portanto, forte, o que remove R9C3=5 da célula afetada ou da unidade Sudoku.
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.
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 · Resumo AIC

A passagem do loop está completa; retirar seus estados de verdade lógicos temporários e remover permanentemente R9C3=5.

A passagem do loop está completa; retirar seus estados de verdade lógicos temporários e remover permanentemente R9C3=5.
A passagem do loop está completa; retirar seus estados de verdade lógicos temporários e remover permanentemente R9C3=5.

O que permite

A passagem do loop está completa; retirar seus estados de verdade lógicos temporários e remover permanentemente R9C3=5.

Nice Loop / AIC · Use o resultado verificado: remova um dígito candidato ou coloque um dígito quando seu estado de verdade lógico oposto for impossível.
Nice Loop / AIC · Use o resultado verificado: remova um dígito candidato ou coloque um dígito quando seu estado de verdade lógico oposto for impossível.

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