XY-Chain

Uma XY-Chain é uma Cadeia de Sudoku construída, em sua forma padrão, inteiramente com células bivalue — células que contêm exatamente dois candidatos.

O valor do candidato muda enquanto a Cadeia avança.

Cada passo alterna entre:

• um Enlace Forte dentro de uma célula bivalue;
• um Enlace Fraco entre células relacionadas que compartilham um candidato.

A primeira e a última célula contêm o mesmo candidato de extremidade Z.

A Cadeia prova:

Pelo menos uma extremidade deve ser Z.

Portanto, o candidato Z pode ser eliminado de qualquer célula externa que veja as duas células das extremidades.

XY-Chain generaliza a mesma propagação bivalue apresentada primeiro em XY-Wing.

A estrutura básica de uma XY-Chain

Considere quatro células bivalue:

A {3,9}
B {9,8}
C {8,2}
D {2,3}

Para que isso forme uma Cadeia:

• A vê B;
• B vê C;
• C vê D;
• cada par vizinho compartilha o candidato de conexão mostrado na sequência.

O candidato 3 é o dígito das extremidades porque aparece em A e D.

Agora percorra as implicações.

Se A não for 3

A é bivalue, então:

A = 9.

A vê B no candidato 9, então:

B ≠ 9.

B é bivalue, então:

B = 8.

B vê C no 8:

C ≠ 8 → C = 2.

C vê D no 2:

D ≠ 2 → D = 3.

Portanto:

A não 3 → D = 3.

Leia a mesma Cadeia pela outra extremidade:

D não 3 → A = 3.

Logo A e D não podem ser ambos não-3.

Pelo menos uma extremidade contém 3.

Por que toda célula de uma XY-Chain padrão é bivalue

A Cadeia depende de uma inferência Forte dentro de cada célula.

Para:

{3,9}

se 3 for falso, 9 fica forçado.

Mas, se a célula fosse:

{3,9,5}

não-3 deixaria:

• 9;
• ou 5.

Nenhum parceiro individual seria forçado.

Isso quebra a propagação padrão de XY-Chain.

AICs mais gerais podem atravessar estruturas mais ricas, mas essas não são XY-Chains padrão.

Os dois tipos de enlace dentro de uma XY-Chain

XY-Chain fica muito mais fácil de verificar quando você separa as duas fontes de enlace.

Enlace Forte dentro de uma célula

Uma célula bivalue {X,Y} contém exatamente um de seus dois candidatos.

Então:

não X → Y
não Y → X

Enlace Fraco entre células

Suponha:

A {3,9}
B {9,8}

e que A veja B.

As duas células não podem conter 9 porque compartilham uma unidade.

Então:

A = 9 → B ≠ 9

Essa relação do candidato 9 entre células é Fraca.

Depois, o Enlace Forte bivalue de B transforma B ≠ 9 em B = 8.

Essa repetição Fraco-entre / Forte-dentro permite que o valor candidato percorra a grade.

A eliminação pelas extremidades

Suponha que a Cadeia comece na célula A {Z,X} e termine na célula F {Y,Z}.

A prova estabelece:

A = Z ou F = Z.

Agora considere um candidato-alvo Z externo.

Se o alvo vê A, não pode ser Z quando A = Z.

Se também vê F, não pode ser Z quando F = Z.

Esses dois casos cobrem todo estado válido das extremidades.

Portanto:

o candidato-alvo Z é falso.

O alvo não precisa ver as células internas da Cadeia.

Precisa ver as duas células das extremidades para o candidato compartilhado Z.

Exemplo passo a passo no tabuleiro

Antes de ler o tabuleiro, verifique:

1. todas as células da Cadeia são bivalue;
2. cada par consecutivo de células se vê;
3. células consecutivas compartilham o candidato de conexão pretendido;
4. as células das extremidades compartilham candidato Z;
5. o alvo externo Z vê as duas extremidades.

XY-Wing é a introdução curta mais familiar

XY-Wing usa três células bivalue:

Pivot {X,Y}
Pinça 1 {X,Z}
Pinça 2 {Y,Z}

A lógica pode ser escrita como uma XY-Chain curta de uma extremidade Z até a outra através das relações do pivot.

Isso cria uma progressão natural:

XY-Wing
→ entender propagação bivalue
→ estender o caminho por mais células bivalue
→ XY-Chain

Se um padrão de três células for claramente uma XY-Wing, use esse nome conhecido. XY-Chain se torna útil quando o caminho contém células bivalue adicionais ou uma geometria menos óbvia.

XY-Chain vs X-Chain

As duas técnicas usam inferência alternada e podem terminar com o mesmo tipo de eliminação em peer comum.

X-Chain

• um único dígito candidato permanece fixo;
• Enlaces Fortes normalmente vêm de pares conjugados em unidades;
• Enlaces Fracos conectam candidatos iguais em células que se veem.

XY-Chain

• os dígitos candidatos mudam ao longo do caminho;
• Enlaces Fortes ficam dentro de células bivalue;
• Enlaces Fracos conectam células relacionadas por um candidato compartilhado.

Um atalho mental útil é:

X-Chain segue um dígito. XY-Chain segue células bivalue.

XY-Chain vs Remote Pair

Um Remote Pair usa uma Cadeia de células bivalue que contêm sempre os mesmos dois candidatos, por exemplo {2,8} repetido pela Cadeia.

XY-Chain permite que o par de candidatos mude de célula para célula:

{3,9} → {9,8} → {8,2} → {2,3}

Portanto, Remote Pair pode ser visto como uma estrutura mais especializada de par repetido, enquanto XY-Chain é a Cadeia bivalue mais ampla com candidatos variáveis.

Remote Pair está incluído na camada de expansão do corpus.

Como encontrar XY-Chains

XY-Chains são mais fáceis de procurar por célula.

1. Destaque células bivalue

Uma região densa em células bivalue oferece um grafo melhor do que um Sudoku com poucas células bivalue isoladas.

2. Escolha uma célula inicial

Suponha que a célula inicial seja {3,9}.

Escolha 3 como o candidato que você espera recuperar na extremidade distante.

3. Siga o outro candidato

Procure uma célula bivalue relacionada que contenha 9.

4. Troque para o outro candidato dessa célula

Se a próxima célula for {9,8}, a Cadeia agora carrega 8 adiante.

5. Encontre uma célula bivalue relacionada contendo 8

Continue o mesmo processo.

6. Pare quando o candidato de extremidade retornar

Você procura uma célula bivalue final que contenha 3.

7. Verifique peers comuns das duas células das extremidades

Se um candidato 3 externo vê as duas extremidades, a Cadeia pode ser produtiva.

8. Verifique a Cadeia inteira nos dois sentidos

Faça isso antes de eliminar qualquer coisa.

A geometria importa apenas pela visibilidade

XY-Chains não exigem uma forma visual fixa.

Células consecutivas podem se conectar por:

• linhas;
• colunas;
• blocos.

O que importa é que cada candidato compartilhado crie um Enlace Fraco válido porque as duas células se veem.

Duas células bivalue que compartilham um candidato, mas não têm relação de peer, não estão conectadas em uma XY-Chain.

A sequência de candidatos, sozinha, nunca basta.

Evite percorrer caminhos sem objetivo

Uma rede de células bivalue pode ramificar rapidamente.

Sem disciplina, procurar XY-Chains manualmente vira uma busca em profundidade com pouco valor humano.

Prefira:

• caminhos curtos;
• extremidades próximas de vários alvos potenciais;
• candidatos que reaparecem depois de poucas células;
• relações de peer claramente visíveis.

Pare quando:

• o dígito de extremidade retornar e produzir um alvo;
• o caminho ficar difícil de verificar;
• você revisitar o mesmo estado candidato;
• ou uma técnica mais simples ficar disponível.

O objetivo é uma dedução, não percorrer o grafo inteiro.

Uma XY-Chain pode repetir células ou estados candidatos?

Uma Cadeia manual útil não deve voltar ao mesmo estado lógico apenas para ficar mais longa.

Revisitar um estado normalmente significa:

• você criou um ciclo;
• o caminho pode ser encurtado;
• ou está entrando em uma interpretação mais geral de loop/AIC.

Para a XY-Chain aberta padrão ensinada aqui, escolha um caminho simples entre duas extremidades.

Enlaces Fortes entre células da Cadeia não invalidam a XY-Chain

Às vezes duas células bivalue consecutivas compartilham um candidato em uma unidade onde esse candidato aparece apenas duas vezes.

A relação entre as células é então Forte e Fraca.

A XY-Chain precisa do papel Fraco naquele ponto:

uma verdadeira → a outra falsa.

Uma relação que também é Forte ainda pode fornecer esse papel Fraco porque os candidatos não podem ser verdadeiros ao mesmo tempo.

É a mesma flexibilidade usada em outras Cadeias alternadas.

Uma XY-Chain válida pode ser improdutiva

Você pode conectar corretamente várias células bivalue e retornar ao candidato de extremidade Z, mas não encontrar candidato Z externo que veja as duas extremidades.

Nesse caso, a eliminação padrão em peer comum não tem alvo.

A Cadeia é logicamente válida, mas improdutiva naquele momento.

Não elimine de uma célula que veja apenas uma extremidade.

Erros comuns

Usar uma célula trivalue

Uma XY-Chain padrão exige a inferência Forte par a par dentro de cada célula da Cadeia.

Conectar células que não se veem

Compartilhar um valor candidato não basta. Células consecutivas precisam ser peers para esse candidato de conexão.

Esquecer qual candidato leva a Cadeia adiante

Dentro de cada célula bivalue, você entra por um candidato e sai pelo outro.

Terminar em um candidato diferente

A eliminação padrão exige que a primeira e a última célula compartilhem o mesmo candidato Z.

Eliminar de um alvo que vê apenas uma extremidade

A outra possibilidade de extremidade deixa o alvo possível.

Procurar todos os caminhos bivalue do Sudoku

Prefira Cadeias curtas e intencionais com alvos plausíveis nas extremidades.

Tratar XY-Chain como uma forma fixa

Ela é um caminho de inferência, não um molde geométrico.

Exercício de reconhecimento

Comece com:

{3,9}

Escolha 3 como candidato de extremidade.

Depois diga o caminho em voz alta:

não 3 → 9; 9 elimina o 9 peer → outro valor; esse valor elimina o valor peer → outro valor...

Continue até chegar a outra célula contendo 3.

Então pergunte:

Quais candidatos 3 veem as duas células das extremidades?

Se você não consegue declarar cada relação de peer do candidato compartilhado, a Cadeia ainda não está provada.

FAQ

O que é uma XY-Chain no Sudoku?

É uma Cadeia de células bivalue em que Enlaces Fortes operam dentro das células e Enlaces Fracos conectam células relacionadas por candidatos compartilhados.

Todas as células de uma XY-Chain precisam ter exatamente dois candidatos?

Sim, para a XY-Chain padrão ensinada aqui. Estruturas AIC mais gerais podem usar nós mais ricos, mas são técnicas diferentes.

XY-Chain pode usar muitos dígitos diferentes?

Sim. O valor candidato pode mudar em cada célula, desde que cada par consecutivo forme a conexão Fraca necessária pelo candidato compartilhado.

XY-Wing é uma XY-Chain?

Ela pode ser representada como a forma introdutória curta de três células da lógica de XY-Chain.

Qual candidato é eliminado?

O candidato compartilhado pelas duas células das extremidades, em qualquer célula externa que veja as duas extremidades.

As células das extremidades precisam se ver?

Não. A eliminação depende de o alvo ver as duas extremidades. As extremidades podem estar distantes.

Qual é a diferença entre XY-Chain e Remote Pair?

Remote Pair repete os mesmos dois candidatos em suas células. XY-Chain permite que os pares de candidatos mudem ao longo do caminho.

O que aprender depois

Depois de X-Chain e XY-Chain, a generalização natural é Alternating Inference Chains (AICs), que podem misturar valores candidatos e estruturas de enlace com mais liberdade.