Platon Sudoku · Aprender sudoku

AIC agrupada de um dígito (Single-Digit Grouped AIC) · Exemplo passo a passo

Um nó agrupado significa que pelo menos um dos vários dígitos candidatos é verdadeiro; ele pode participar de uma cadeia de inferência alternada. Elimine um alvo visto pelos pontos finais de força da cadeia.

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 nó agrupado significa que pelo menos um dos vários dígitos candidatos é verdadeiro; ele pode participar de uma cadeia de inferência alternada.

Como encontrá-lo

Verifique se as células agrupadas compartilham a região necessária e, em seguida, rastreie os links de inferência fortes e fracos através de um ou mais nós do grupo.

O que permite

Elimine um alvo visto pelos pontos finais de força da cadeia.

Evite a confusão

Um grupo verdadeiro não significa que todos os membros sejam verdadeiros. Preserve o significado OR do grupo ao seguir a cadeia.

Exemplo passo a passo · Um grupo

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

Em bloco 6, 2 pode ir apenas em R4C7, R4C8, R5C8. O dígito deve aparecer uma vez nesta região.

1: Grupo OR A: pelo menos um dígito candidato é verdadeiro

Etapa 2 · Raciocínio

Em coluna 5, 2 pode ir apenas em R1C5, R4C5. O dígito deve aparecer uma vez nesta região.

1: Grupo OR A: pelo menos um dígito candidato é verdadeiro

Etapa 3 · Raciocínio

Em coluna 9, 2 pode ir apenas em R1C9, R8C9. O dígito deve aparecer uma vez nesta região.

1: Grupo OR A: pelo menos um dígito candidato é verdadeiro

Etapa 4 · Nomeie os grupos de dígitos candidatos OR

As chaves numeradas e a legenda definem estes grupos nomeados: Grupo de dígitos candidatos OR A = R4C8=2, R5C8=2. Cada grupo é um estado de verdade lógico OR: pelo menos um dígito candidato nele é verdadeiro, mas a cadeia não afirma que todos os membros são verdadeiros.

1: Grupo OR A: pelo menos um dígito candidato é verdadeiro

Etapa 5 · Raciocínio

Filial 1: suponha que Grupo de dígitos candidatos OR A seja falso.

1: Grupo OR A: pelo menos um dígito candidato é verdadeiro

Etapa 6 · Link de inferência forte do grupo: forçar o outro lado

Caso 1: Grupo de dígitos candidatos OR A é falso, então o link de inferência forte do grupo força R4C7=2. Se este for um grupo OR, pelo menos um dos seus dígitos candidatos será verdadeiro.

1: Grupo OR A: pelo menos um dígito candidato é verdadeiro

Etapa 7 · Link de inferência fraco do grupo: exclua o lado conflitante

R4C7=2 é verdadeiro como um estado de verdade lógico em cadeia, portanto, o lado mutuamente exclusivo R4C5=2 é falso.

1: Grupo OR A: pelo menos um dígito candidato é verdadeiro

Etapa 8 · Link de inferência forte do grupo: um lado deve permanecer

R4C5=2 é falso, então o link de inferência forte do grupo força R1C5=2.

1: Grupo OR A: pelo menos um dígito candidato é verdadeiro

Etapa 9 · Link de inferência fraco do grupo: exclua o lado conflitante

R1C5=2 é verdadeiro como um estado de verdade lógico em cadeia, portanto, o lado mutuamente exclusivo R1C9=2 é falso.

1: Grupo OR A: pelo menos um dígito candidato é verdadeiro

Etapa 10 · O endpoint indireto exclui os alvos

R8C9=2 é verdadeiro como o estado de verdade lógico do terminal, portanto exclui os destinos.

1: Grupo OR A: pelo menos um dígito candidato é 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.

1: Grupo OR A: pelo menos um dígito candidato é verdadeiro

Etapa 12 · Caso 2: o primeiro endpoint é verdadeiro

O primeiro terminal Grupo de dígitos candidatos OR A é verdadeiro como um estado de verdade lógico OR, portanto, exclui os destinos.

1: Grupo OR A: pelo menos um dígito candidato é verdadeiro

Etapa 13 · Ambos os casos de endpoint concordam

Os dois casos de endpoint esgotam as alternativas e ambos excluem R7C8=2, R8C8=2. Remova-os após retirar os estados de verdade lógicos temporários.

1: Grupo OR A: pelo menos um dígito candidato é verdadeiro

O que permite

Os dois casos de endpoint esgotam as alternativas e ambos excluem R7C8=2, R8C8=2. Remova-os após retirar os estados de verdade lógicos temporários.

AIC agrupada de um dígito (Single-Digit Grouped AIC) · Elimine um alvo visto pelos pontos finais de força da cadeia.

Exemplo passo a passo · Vários grupos

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

Em bloco 1, 8 pode ir apenas em R2C2, R3C1. O dígito deve aparecer uma vez nesta região.