Cadeias de múltiplos dígitos

Cadeias de múltiplos dígitos

Mestre

Técnicas associadas

Ligações Fortes e Fracas no Contexto de Múltiplos Dígitos

Cadeias de múltiplos dígitos usam a mesma linguagem de ligações fortes e fracas que as cadeias de um único dígito, mas os nós são candidatos individuais em vez de células inteiras.

Ligações fortes de pares conjugados conectam o mesmo dígito em duas células quando essas são as únicas duas posições em uma casa. Ligações fortes bivalores Célula conectam os dois candidatos dentro de uma única bivalores Célula: se um for falso, o outro deve ser verdadeiro. Ligações fracas conectam candidatos que não podem ser ambos verdadeiros, seja porque são o mesmo dígito em uma casa compartilhada ou dígitos diferentes na mesma Célula.

É isso que permite que uma cadeia mude de dígito permanecendo logicamente válida.

Cadeia XY: Percorrendo Células com Dois Valores

Cada Célula bivalor. Células consecutivas compartilham uma casa e um dígito. Se os dígitos inicial e final coincidirem, pelo menos uma das extremidades deve conter esse dígito. Elimine dos quadrados que veem ambas as extremidades.

Um três-Célula Cadeia XY é um Pena XY. Nível 10 (Mestre).

AIC: A Técnica de Cadeia Mais Geral

Um Cadeia de Inferência Alternada opera sobre os 729 nós candidatos possíveis: 81 células vezes 9 dígitos. Ele alternar ligações fortes e fracas, e pode usar ligações entre candidatos do mesmo dígito, entre os dois candidatos em um Célula bivalorado, ou entre candidatos que entram em conflito dentro de um Célula.

Resultados úteis comuns incluem:

Tipo 1: Os pontos finais da cadeia são o mesmo dígito em células diferentes. Pelo menos um dos pontos finais deve ser verdadeiro, então elimine esse dígito das células que veem ambos os pontos finais.

Tipo 2: Os pontos finais da cadeia são dígitos diferentes na mesma Célula. Pelo menos um dos pontos finais deve ser verdadeiro, então elimine todos os outros candidatos dessa Célula.

Loop descontínuo: A cadeia se fecha com duas ligações do mesmo tipo em um mesmo candidato. Duas ligações fortes se encontrando forçam esse candidato a ser verdadeiro; duas ligações fracas se encontrando tornam esse candidato falso.

Nível 12 (Extremo).

Cadeia XY vs AIC

Cadeia XY: apenas células bivalores, as trocas de dígitos ocorrem dentro dessas células bivalores, e o resultado comum é uma eliminação de ponto final do Tipo 1. Nível 10.

AIC: pode usar ligações conjugadas, ligações bivalores-Célula, ligações agrupadas e outros conflitos de candidatos. Pode produzir eliminações de ponto final, reduções Célula, posicionamentos e eliminações de laço descontínuo. Nível 12.

Cadeia XY é um caso especial de Célula de AIC. AIC é estritamente mais poderoso, mas muito mais difícil de encontrar manualmente.

Como encontrar cadeias XY e AICs

Cadeias XY: Identifique células bivalores, construa um mapa de adjacência através de candidatos compartilhados e procure cadeias cujos pontos finais contenham o mesmo dígito.

Cadeias AIC: Comece com ligações fortes confiáveis, como pares conjugados e células bivalores. Estenda a cadeia alternando os tipos de ligação e verifique constantemente se os pontos finais produzem uma eliminação ou se a cadeia se fecha em uma descontinuidade útil. Solucionadores de computador muitas vezes buscam diretamente o grafo de candidatos de 729 nós.

Por que as Técnicas AIC são a Melhor Técnica

Muitas técnicas mais simples são casos especiais de AIC ou podem ser expressas naturalmente como AICs: Pena XY, Pássaro-Céu, W-asa, Pares remotos, e muitos argumentos de coloração. Um resolvedor que implementa busca ampla de AIC pode reproduzir muitas técnicas nomeadas. No entanto, as técnicas nomeadas são mais rápidas para encontrar, mais fáceis de explicar e melhores para resolução humana, por isso geralmente são aplicadas primeiro.

Resumo

Cadeia XY (Nível 10) passa por células bivalores e é melhor compreendido como um AIC restrito. AIC (Nível 12) opera no gráfico completo de candidatos e pode alternar dígitos, usar muitos tipos de ligações fortes e produzir vários tipos de deduções. Juntos, eles representam a culminância da resolução baseada em cadeias.

Técnicas associadas