Platon Games
Português (Brasil)

Platon Sudoku · Aprender sudoku

Coloração simples (Simple Coloring) · Exemplo passo a passo

Uma rede conectada de links de inferência fortes para um dígito possui dois estados de verdade lógicos opostos, A e B. Ou A é verdadeiro ou B é verdadeiro. Remova um dígito candidato visto por ambos os estados de verdade lógicos (armadilha de cores) ou remova todos os dígitos candidatos em um estado de verdade lógico cujos dois membros se vejam (conflito de cores).

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 rede conectada de links de inferência fortes para um dígito possui dois estados de verdade lógicos opostos, A e B. Ou A é verdadeiro ou B é verdadeiro.

Como encontrá-lo

Comece com uma região contendo exatamente dois dígitos candidatos para um dígito e, em seguida, alterne A e B em cada link de inferência forte conectado.

O que permite

Remova um dígito candidato visto por ambos os estados de verdade lógicos (armadilha de cores) ou remova todos os dígitos candidatos em um estado de verdade lógico cujos dois membros se vejam (conflito de cores).

Evite a confusão

Pinte apenas os dígitos candidatos unidos por fortes links de inferência verificados. Uma cor compartilhada é um estado de verdade lógico hipotético, não uma resposta colocada.

Exemplo passo a passo · Armadilha de cores

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 · Encontre o primeiro link de inferência forte

Em bloco 1, 4 pode ir apenas em R1C3 ou R3C2. Esses dígitos candidatos pertencem ao mesmo componente de coloração e são marcados com círculo A e marcados com quadrado B; A e B são estados de verdade lógicos opostos.

Em bloco 1, 4 pode ir apenas em R1C3 ou R3C2. Esses dígitos candidatos pertencem ao mesmo componente de coloração e são marcados com círculo A e marcados com quadrado B; A e B são estados de verdade lógicos opostos.
Em bloco 1, 4 pode ir apenas em R1C3 ou R3C2. Esses dígitos candidatos pertencem ao mesmo componente de coloração e são marcados com círculo A e marcados com quadrado B; A e B são estados de verdade lógicos opostos.

● 1A: R1C3=4

■ 1B: R3C2=4

Etapa 2 · Siga os fortes links de inferência

Continue através de cada link de inferência forte conectado para 4. Dentro deste componente, cada link une A marcado com círculo e B marcado com quadrado, os dois estados de verdade lógicos opostos.

Continue através de cada link de inferência forte conectado para 4. Dentro deste componente, cada link une A marcado com círculo e B marcado com quadrado, os dois estados de verdade lógicos opostos.
Continue através de cada link de inferência forte conectado para 4. Dentro deste componente, cada link une A marcado com círculo e B marcado com quadrado, os dois estados de verdade lógicos opostos.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Etapa 3 · Complete a rede de cores

Esses dígitos candidatos 4 formam uma rede conectada. Cada linha sólida é um forte link de inferência para 4.

Esses dígitos candidatos 4 formam uma rede conectada. Cada linha sólida é um forte link de inferência para 4.
Esses dígitos candidatos 4 formam uma rede conectada. Cada linha sólida é um forte link de inferência para 4.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Etapa 4 · Compreender os dois estados de verdade lógicos

Ou todos os A são verdadeiros e todos os B falsos, ou todos os B são verdadeiros e todos os A falsos. Não precisamos saber qual dos dois estados se verifica.

Ou todos os A são verdadeiros e todos os B falsos, ou todos os B são verdadeiros e todos os A falsos. Não precisamos saber qual dos dois estados se verifica.
Ou todos os A são verdadeiros e todos os B falsos, ou todos os B são verdadeiros e todos os A falsos. Não precisamos saber qual dos dois estados se verifica.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Etapa 5 · Encontre um alvo que veja A e B

R8C5=4 vê A em R3C5=4 e B em R8C3=4. Qualquer que seja o estado de verdade lógico verdadeiro, um desses dois dígitos candidatos exclui o alvo.

R8C5=4 vê A em R3C5=4 e B em R8C3=4. Qualquer que seja o estado de verdade lógico verdadeiro, um desses dois dígitos candidatos exclui o alvo.
R8C5=4 vê A em R3C5=4 e B em R8C3=4. Qualquer que seja o estado de verdade lógico verdadeiro, um desses dois dígitos candidatos exclui o alvo.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Etapa 6 · Remova o dígito candidato preso

Como cada alvo vê ambos os possíveis estados de verdade lógicos, remova R8C5=4.

Como cada alvo vê ambos os possíveis estados de verdade lógicos, remova R8C5=4.
Como cada alvo vê ambos os possíveis estados de verdade lógicos, remova R8C5=4.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

O que permite

Como cada alvo vê ambos os possíveis estados de verdade lógicos, remova R8C5=4.

Coloração simples (Simple Coloring) · Remova um dígito candidato visto por ambos os estados de verdade lógicos (armadilha de cores) ou remova todos os dígitos candidatos em um estado de verdade lógico cujos dois membros se vejam (conflito de cores).
Coloração simples (Simple Coloring) · Remova um dígito candidato visto por ambos os estados de verdade lógicos (armadilha de cores) ou remova todos os dígitos candidatos em um estado de verdade lógico cujos dois membros se vejam (conflito de cores).

Exemplo passo a passo · Conflito da mesma cor

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 · Encontre o primeiro link de inferência forte

Em linha 1, 1 pode ir apenas em R1C3 ou R1C4. Esses dígitos candidatos pertencem ao mesmo componente de coloração e são marcados com círculo A e marcados com quadrado B; A e B são estados de verdade lógicos opostos.

Em linha 1, 1 pode ir apenas em R1C3 ou R1C4. Esses dígitos candidatos pertencem ao mesmo componente de coloração e são marcados com círculo A e marcados com quadrado B; A e B são estados de verdade lógicos opostos.
Em linha 1, 1 pode ir apenas em R1C3 ou R1C4. Esses dígitos candidatos pertencem ao mesmo componente de coloração e são marcados com círculo A e marcados com quadrado B; A e B são estados de verdade lógicos opostos.

● 1A: R1C3=1

■ 1B: R1C4=1

Etapa 2 · Siga os fortes links de inferência

Continue através de cada link de inferência forte conectado para 1. Dentro deste componente, cada link une A marcado com círculo e B marcado com quadrado, os dois estados de verdade lógicos opostos.

Continue através de cada link de inferência forte conectado para 1. Dentro deste componente, cada link une A marcado com círculo e B marcado com quadrado, os dois estados de verdade lógicos opostos.
Continue através de cada link de inferência forte conectado para 1. Dentro deste componente, cada link une A marcado com círculo e B marcado com quadrado, os dois estados de verdade lógicos opostos.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Etapa 3 · Complete a rede de cores

Esses dígitos candidatos 5 formam uma rede conectada. Cada link de inferência forte une A a B, de modo que todos os dígitos candidatos A compartilham um estado de verdade lógico e todos os dígitos candidatos B compartilham o outro.

Esses dígitos candidatos 5 formam uma rede conectada. Cada link de inferência forte une A a B, de modo que todos os dígitos candidatos A compartilham um estado de verdade lógico e todos os dígitos candidatos B compartilham o outro.
Esses dígitos candidatos 5 formam uma rede conectada. Cada link de inferência forte une A a B, de modo que todos os dígitos candidatos A compartilham um estado de verdade lógico e todos os dígitos candidatos B compartilham o outro.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Etapa 4 · Encontre o conflito de estado de verdade com a mesma lógica

R1C4=1 e R4C4=1 estão ambos no estado de verdade lógico B e se veem. Ambos não podem ser 1, então o estado de verdade lógico B é impossível.

R1C4=1 e R4C4=1 estão ambos no estado de verdade lógico B e se veem. Ambos não podem ser 1, então o estado de verdade lógico B é impossível.
R1C4=1 e R4C4=1 estão ambos no estado de verdade lógico B e se veem. Ambos não podem ser 1, então o estado de verdade lógico B é impossível.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Etapa 5 · estado de verdade lógico B é impossível

O conflito exclui todo o estado de verdade lógico B. Risque todos os dígitos candidatos do estado de verdade lógico-B juntos: R1C4=1, R4C4=1, R6C3=1.

O conflito exclui todo o estado de verdade lógico B. Risque todos os dígitos candidatos do estado de verdade lógico-B juntos: R1C4=1, R4C4=1, R6C3=1.
O conflito exclui todo o estado de verdade lógico B. Risque todos os dígitos candidatos do estado de verdade lógico-B juntos: R1C4=1, R4C4=1, R6C3=1.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Etapa 6 · Remova o estado de verdade lógico conflitante

Remova os dígitos candidatos do estado de verdade lógica inválidos: B: R1C4=1, R4C4=1, R6C3=1.

Remova os dígitos candidatos do estado de verdade lógica inválidos: B: R1C4=1, R4C4=1, R6C3=1.
Remova os dígitos candidatos do estado de verdade lógica inválidos: B: R1C4=1, R4C4=1, R6C3=1.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

O que permite

Remova os dígitos candidatos do estado de verdade lógica inválidos: B: R1C4=1, R4C4=1, R6C3=1.

Coloração simples (Simple Coloring) · Remova um dígito candidato visto por ambos os estados de verdade lógicos (armadilha de cores) ou remova todos os dígitos candidatos em um estado de verdade lógico cujos dois membros se vejam (conflito de cores).
Coloração simples (Simple Coloring) · Remova um dígito candidato visto por ambos os estados de verdade lógicos (armadilha de cores) ou remova todos os dígitos candidatos em um estado de verdade lógico cujos dois membros se vejam (conflito de cores).

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