XY-Chain

Uma XY-Chain é uma Cadeia formada inteiramente por células bivalue.

Cada célula da Cadeia tem exatamente dois candidatos.

A Cadeia avança alternando:

• um Enlace Forte dentro de cada 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.

Isso prova:

Pelo menos uma das extremidades deve ser Z.

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

Uma sequência simples de candidatos

Considere:

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

Requisitos:

• A vê B;
• B vê C;
• C vê D;
• cada conexão entre células usa o candidato compartilhado.

Comece supondo que A não seja 3.

A não é 3

A é bivalue → A = 9.

A = 9

B vê A → B não pode ser 9.

B é bivalue → B = 8.

B = 8

C não pode ser 8 → C = 2.

C = 2

D não pode ser 2 → D = 3.

Logo:

A não 3 → D = 3.

Leia a Cadeia no sentido inverso:

D não 3 → A = 3.

Portanto, pelo menos uma extremidade é 3.

Qualquer candidato 3 que veja as duas extremidades é impossível.

Por que todas as células são bivalue

A Cadeia depende de um Enlace Forte dentro de cada célula.

Célula {3,9}:

não 3 → 9.

Se a célula fosse {3,9,5}:

não 3

deixaria:

• 9;
• ou 5.

9 não seria obrigatório.

Por isso, a XY-Chain padrão exige que cada célula da Cadeia tenha exatamente dois candidatos.

Exemplo passo a passo na grade

XY-Wing é a introdução curta

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

{X,Y}
{X,Z}
{Y,Z}

Ela pode ser interpretada como uma XY-Chain curta.

Isso cria uma progressão natural:

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

Como as células se conectam

Suponha:

• A {2,7};
• B {7,9}.

Se A vê B e A se torna 7:

• B não pode ser 7;
• B deve ser 9.

A relação do 7 entre as duas células é Fraca.

A relação {7,9} dentro da célula é Forte.

Esse padrão repetido permite que o valor candidato “caminhe” pela Cadeia.

Como encontrar XY-Chains

1. Destaque células bivalue

2. Escolha uma célula inicial

Escolha um candidato como o dígito de extremidade Z.

3. Siga o outro candidato

Procure uma célula bivalue relacionada que contenha esse candidato.

4. Troque de candidato

Dentro da nova célula, siga o outro valor.

5. Continue por células bivalue relacionadas

6. Pare quando o candidato Z reaparecer na outra extremidade

7. Verifique células relacionadas às duas extremidades

Uma XY-Chain produtiva precisa produzir uma eliminação de Z ou outra dedução válida nas extremidades.

Evite percorrer caminhos sem objetivo

O grafo de candidatos pode se ramificar rapidamente.

Um solucionador manual deve:

• preferir Cadeias curtas;
• evitar revisitar o mesmo estado;
• parar quando surgir uma extremidade útil;
• voltar a deduções mais simples depois de uma eliminação.

O objetivo não é enumerar todos os caminhos entre células bivalue.

XY-Chain vs X-Chain

X-Chain

Um único dígito permanece fixo.

Enlaces Fortes normalmente ficam nas unidades.

XY-Chain

Os dígitos candidatos mudam.

Enlaces Fortes ficam dentro das células bivalue.

As duas podem terminar provando que uma de duas extremidades contém o mesmo candidato.

Erros comuns

Usar uma célula trivalue

Isso quebra a implicação Forte padrão dentro da célula.

Conectar células que não se veem

O candidato compartilhado precisa criar um Enlace Fraco válido.

Repetir candidatos sem conferir a visibilidade entre células

A sequência de candidatos sozinha não é suficiente.

Terminar com um dígito diferente nas extremidades

A eliminação comum ensinada aqui exige o mesmo candidato nas duas pontas.

Eliminar de uma célula que vê apenas uma extremidade

Inválido.

Exercício de reconhecimento

Comece por uma célula bivalue:

{3,9}

Escolha 3 como candidato da extremidade.

Depois acompanhe verbalmente:

9 em célula relacionada → outro valor → célula relacionada → outro valor...

até chegar a outra célula {...,3}.

Se você não consegue justificar cada relação de visibilidade pelo candidato compartilhado, a Cadeia não está provada.

FAQ

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

Sim, na forma padrão ensinada aqui.

XY-Chain pode usar vários dígitos diferentes?

Sim.

XY-Wing é uma XY-Chain?

Pode ser representada como uma versão curta.

Qual candidato é eliminado?

O candidato compartilhado pelas duas extremidades da Cadeia, de células que veem as duas extremidades.

O que aprender depois

AICs completas generalizam a inferência por Cadeias além das formas restritas X/XY e são um passo natural depois desses tipos mais estruturados.

No currículo atual, a prática avançada mista é o próximo passo mais útil.