Anel AIC de Três Nós Agrupado (mesmo dígito)
Um Anel AIC de Três Nós Agrupado (mesmo dígito) — tradicionalmente listado como (3 Strong Links) Grouped X-Loop, assinatura L(1)-Anel — é uma AIC fechada de mesmo dígito de três nós onde pelo menos um lado de nó representa um grupo de ocorrências de candidatos. Um grupo é verdadeiro quando pelo menos uma das suas ocorrências representadas é verdadeira e falso apenas quando todas as suas ocorrências representadas são falsas.
O que é um Anel AIC de Três Nós Agrupado (mesmo dígito)?
Um nó agrupado deve listar todas as ocorrências de candidatos representadas em cada lado; sua relação forte afirma que pelo menos um lado é verdadeiro. Uma inferência fraca para outro nó é válida apenas quando todas as ocorrências que poderiam tornar o primeiro grupo verdadeiro são incompatíveis com a proposição conectada.
Exemplo passo a passo
Um exemplo passo a passo de um Anel AIC Agrupado de Três Nós do Mesmo Dígito: nós fortes agrupados do mesmo dígito fechados por uma inferência fraca verificada independentemente do caminho.
Passo 1
Considere estas 7 células.
Passo 2
Os candidatos destacados para 3 formam o anel fechado de três nós (C7=B9 e B7)-(B4=F4)-(F3=C3). Cada sinal de igual é uma ligação forte (XOR) entre dois lados lógicos em bloco 7, linha 4 e linha 3: exatamente um dos dois lados contém 3, e um lado pode ser uma célula ou um grupo de células. Quando um lado é agrupado, uma moldura contorna as células do grupo e um único conector liga essa moldura ao outro lado lógico — todo o conector é uma única ligação forte agrupada, e nenhuma célula individual é forçada. Cada traço é uma inferência fraca (NAND) através de coluna 2, coluna 6 e coluna 3: os dois lados ligados não podem conter 3 ambos. O traço através de coluna 3 é verificado independentemente do caminho — ele fecha o anel, então o teorema das extremidades fornece a sua inferência forte complementar e cada aresta fraca do anel torna-se um par exatamente-um.
Passo 3
Qualquer 3 vermelho pode portanto ser removido. Está fora das unidades das ligações fortes do anel e vê cada 3 destacado em pelo menos uma unidade conectora (coluna 2, coluna 6 e coluna 3) — isto é, ambos os lados da aresta fraca ali. O anel fechado torna essa aresta exatamente-um, então uma das suas extremidades é sempre verdadeira e exclui o candidato vermelho.
Um anel agrupado do mesmo dígito requer incompatibilidade universal em cada aresta fraca: um lado agrupado só é falso quando todas as ocorrências que ele representa são falsas. Uma vez verificada a inferência fraca de fechamento, o teorema das extremidades satura o par de fechamento, e um alvo só é válido quando conflita com todos os candidatos representados por ambos os lados conectados. Você pode jogar Sudoku online para praticar com o estado atual de candidatos visível.
Como encontrá-lo
Para um dígito, identifique grupos de candidatos deixados por interseções linha-bloco ou coluna-bloco ou por restrições de casas especificadas. Desenhe a sequência completa de nós e teste cada membro do grupo em cada conexão fraca; contagem de células ou forma visual sozinha não justifica o anel.
A lógica
Propague falso através de inferências fortes para tornar o lado oposto verdadeiro, e verdadeiro através de inferências fracas para tornar a proposição conectada falsa. Nunca deduza que um grupo é falso só porque todos os seus membros não podem ser verdadeiros; aplique conclusões de extremos ou de anel apenas após a sequência completa ou o fechamento ser provado.