X-Chain

Uma X-Chain é uma Cadeia alternada de Sudoku que acompanha apenas um dígito candidato.

Se o dígito da Cadeia for 7, cada nó representa candidato 7 em uma célula diferente.

A Cadeia alterna:

• papéis de inferência Fortes, geralmente fornecidos por pares conjugados;
• papéis de inferência Fracos, fornecidos por candidatos do mesmo dígito que se veem.

A X-Chain eliminativa padrão ensinada aqui:

• começa com um Enlace Forte;
• alterna papéis Fortes e Fracos;
• termina com um Enlace Forte;
• prova que pelo menos uma extremidade contém o dígito da Cadeia.

Portanto, o dígito pode ser removido de qualquer candidato que veja as duas extremidades.

X-Chain é a linguagem geral de um único dígito por trás de vários padrões curtos com nome.

Padrão rápido

Conceitualmente:

A = B - C = D - E = F

Para um único dígito X:

• = = papel Forte;
• - = papel Fraco.

Percorra a partir de A falso:

A falso
→ B verdadeiro
→ C falso
→ D verdadeiro
→ E falso
→ F verdadeiro

Percorra a partir de F falso:

F falso
→ E verdadeiro
→ D falso
→ C verdadeiro
→ B falso
→ A verdadeiro

Logo, A e F não podem ser ambos falsos.

Pelo menos uma extremidade é X.

Por que X-Chain usa apenas um dígito

O “X” em X-Chain representa um único dígito candidato acompanhado pela grade.

Isso torna a Cadeia mais fácil de visualizar do que uma AIC geral porque:

• o valor candidato nunca muda;
• Enlaces Fortes normalmente vêm de unidades com exatamente dois candidatos X;
• Enlaces Fracos vêm de candidatos X que se veem.

Se a Cadeia mudar de dígito 7 para dígito 3 dentro de uma célula bivalue, ela deixa de ser uma X-Chain pura. Você entrou em outra família, como XY-Chain ou uma AIC mais geral.

Por que a Cadeia começa e termina Forte

A eliminação padrão pelas extremidades exige esta conclusão:

pelo menos uma extremidade deve ser verdadeira.

Na primeira extremidade, assumir que ela é falsa ativa o primeiro Enlace Forte e inicia a propagação alternada.

Na extremidade distante, terminar com papel Forte permite que a prova reversa também funcione.

Assim:

A falso → F verdadeiro
F falso → A verdadeiro

Portanto, A e F não podem ser ambos falsos.

Essa garantia de verdade nas extremidades é o que torna válida uma eliminação em peer comum.

Se o caminho não produzir essa garantia, não use a regra padrão de eliminação de X-Chain.

Enlaces Fortes em uma X-Chain

Para um dígito X fixo, Enlaces Fortes normalmente vêm de pares conjugados.

Exemplos:

• exatamente dois candidatos X em uma linha;
• exatamente dois em uma coluna;
• exatamente dois em um bloco.

Esses pares são exaustivos:

se uma extremidade não for X, a outra deve ser X.

Um par conjugado também é Fraco porque as duas extremidades se veem para o mesmo dígito. Isso significa que uma relação Forte pode, em certos pontos, cumprir o papel Fraco exigido pelo caminho alternado.

Enlaces Fracos em uma X-Chain

Um Enlace Fraco existe entre dois candidatos X que não podem ser verdadeiros ao mesmo tempo.

Para candidatos X do mesmo dígito, isso normalmente significa que as células se veem por:

• uma linha;
• uma coluna;
• um bloco.

Ao contrário de um Enlace Forte, a unidade de origem não precisa conter exatamente dois candidatos X.

Se B for X, C não pode ser X.

Mas se B não for X, C não fica automaticamente forçado.

Essa assimetria é exatamente o que o segmento Forte seguinte corrige.

A eliminação pelas extremidades

Suponha que uma X-Chain válida prove:

A é X ou F é X.

Agora considere um candidato-alvo T para o dígito X.

Se T vê A, entra em conflito com o caso A = X.

Se T também vê F, entra em conflito com o caso F = X.

Esses dois casos de extremidade cobrem todas as possibilidades.

Portanto:

T não pode ser X.

O alvo não precisa ver todos os nós internos da Cadeia.

Na eliminação padrão ensinada aqui, precisa ver as duas extremidades.

Exemplo passo a passo

Antes de usar o tabuleiro, identifique estes cinco fatos:

1. um único dígito X da Cadeia;
2. primeiro segmento de Enlace Forte;
3. caminho alternado Fraco/Forte;
4. segmento final de Enlace Forte;
5. candidato X externo que vê as duas extremidades.

X-Chains curtas e padrões com nome

Várias técnicas conhecidas de um único dígito podem ser expressas como X-Chains curtas.

Skyscraper

Dois pares conjugados formam uma Cadeia curta cujas extremidades de teto criam uma eliminação em peer comum.

Two-String Kite

Um par conjugado de linha e um de coluna são conectados por um Enlace Fraco através de um bloco.

Turbot Fish

Uma família geral de estruturas curtas de Cadeia de um único dígito, normalmente descritas por geometrias com nome quando possível.

Empty Rectangle

Outro padrão curto de um único dígito que pode ser representado por lógica de Cadeia.

Se uma técnica curta com nome descreve a estrutura claramente, use o nome. X-Chain se torna mais útil quando o caminho alternado se estende além de uma forma conhecida.

X-Chain vs X-Wing

As duas técnicas acompanham um único dígito, mas a prova é diferente.

X-Wing

Usa uma estrutura de contagem de Fish em dois conjuntos base e dois conjuntos de cobertura.

X-Chain

Usa implicações alternadas Fortes e Fracas ao longo de um caminho.

Algumas disposições podem admitir mais de uma descrição, mas prefira a prova mais simples que explique corretamente a eliminação.

X-Chain vs Colorização Simples

As duas trabalham com um único dígito candidato e estruturas de pares conjugados.

Colorização Simples

• constrói uma rede conectada de Enlaces Fortes;
• atribui dois estados alternados;
• procura Color Trap ou Color Wrap.

X-Chain

• escolhe um caminho alternado específico;
• inclui explicitamente conexões Fracas entre segmentos Fortes;
• usa uma relação entre extremidades para eliminar um peer comum.

Uma rede grande de Colorização pode conter muitos caminhos possíveis de X-Chain.

Colorização costuma ser uma visão melhor da rede. X-Chain costuma ser uma visão melhor do caminho.

Como encontrar X-Chains sem desenhar todo o grafo de candidatos

Use uma busca controlada por dígito.

1. Escolha um dígito

Prefira um dígito com vários pares conjugados.

2. Marque os Enlaces Fortes

Linhas, colunas e blocos com exatamente duas posições são seus principais pontos de apoio.

3. Escolha uma extremidade promissora

Comece em uma extremidade de Enlace Forte próxima de outros candidatos do mesmo dígito.

4. Encontre uma conexão Fraca

A partir do lado verdadeiro de um segmento Forte, procure outro candidato X que ele veja e que possa entrar em um novo segmento Forte.

5. Continue a alternância

Forte → Fraco → Forte → Fraco...

6. Pare assim que surgirem extremidades úteis

Não prolongue uma Cadeia apenas porque existe outro enlace disponível.

7. Procure peers comuns das extremidades

Se um candidato X externo vê as duas células das extremidades, teste a eliminação.

Cadeias curtas e verificáveis são preferíveis a longas e especulativas.

Enlaces Fortes podem ser usados em papel Fraco

Suponha que dois candidatos 4 formem um par conjugado.

Eles são Fortes porque um falso força o outro verdadeiro.

Também são Fracos porque os dois não podem ser verdadeiros na mesma unidade.

Então, se uma X-Chain exigir um passo Fraco naquele ponto, o par conjugado pode fornecê-lo.

Essa flexibilidade pode fazer um diagrama parecer ter dois “segmentos Fortes” encostados.

A pergunta correta não é apenas qual estilo de linha foi desenhado.

Pergunte:

Qual papel de inferência esta relação está cumprindo neste passo?

Uma X-Chain válida pode ser improdutiva

Você pode construir um caminho alternado perfeitamente válido e ainda assim não encontrar nenhum candidato X que veja as duas extremidades.

Nesse caso, na forma padrão ensinada aqui, a Cadeia não produz eliminação naquele momento.

Não invente uma.

Volte para:

• outra extremidade;
• outro dígito de Cadeia;
• outra técnica.

Resolver em nível avançado exige tanto abandonar estruturas improdutivas quanto reconhecer estruturas válidas.

Qual deve ser o comprimento de uma X-Chain?

Não existe vantagem em maximizar o comprimento.

Comece com Cadeias curtas porque são:

• mais fáceis de reconhecer;
• mais fáceis de verificar nos dois sentidos;
• menos vulneráveis a erros de candidatos;
• mais propensas a corresponder a um padrão conhecido.

Só estenda quando uma estrutura mais curta não produzir resultado e o enlace seguinte permanecer completamente claro.

Erros comuns

Trocar o dígito candidato no meio da Cadeia

Uma X-Chain pura usa apenas um dígito.

Usar uma relação apenas Fraca como Forte

Se A for falso, B precisa realmente ficar forçado como verdadeiro.

Alternar estilos de linha sem conferir o sentido da inferência

A lógica importa mais do que a convenção visual.

Terminar com a estrutura errada nas extremidades

A eliminação por peer comum exige a prova de que pelo menos uma extremidade é verdadeira.

Eliminar de um alvo que vê apenas uma extremidade

Nesse caso, a outra possibilidade de extremidade ainda deixa o alvo possível.

Tratar toda rede conjugada como uma eliminação de X-Chain

Uma rede não é automaticamente um caminho produtivo.

Construir Cadeias muito longas cedo demais

Domine primeiro provas curtas e transparentes.

Exercício de reconhecimento

Filtre o dígito 7.

1. Marque todos os pares conjugados.
2. Escolha um deles como primeiro segmento Forte.
3. A partir de uma extremidade, encontre um 7 visível que participe de outro par conjugado.
4. Continue uma ou duas vezes.
5. Identifique as duas extremidades finais.
6. Procure candidatos 7 que vejam as duas.

Se você não consegue explicar a origem de cada Enlace Forte e cada conflito Fraco, pare e revise a Cadeia.

FAQ

O que é uma X-Chain no Sudoku?

É uma Cadeia que acompanha um único dígito candidato através de papéis de inferência Fortes e Fracos alternados.

X-Chain usa apenas um dígito?

Sim. Se o valor candidato mudar ao longo do caminho, não é uma X-Chain pura.

Por que uma X-Chain começa e termina Forte?

Essa estrutura prova que pelo menos uma extremidade precisa conter o dígito da Cadeia, permitindo a eliminação padrão em peer comum.

Um Skyscraper pode ser representado como X-Chain?

Sim. Skyscraper e outros padrões do estilo Turbot podem ser representados como X-Chains curtas.

X-Chain é o mesmo que Colorização Simples?

Não. Colorização administra uma rede conectada de Enlaces Fortes em dois estados, enquanto X-Chain segue um caminho específico alternando Forte e Fraco.

Toda X-Chain válida produz uma eliminação?

Não. Na forma padrão pelas extremidades, precisa existir um alvo útil que veja as duas extremidades.

X-Chain é uma AIC?

É uma forma restrita a um único dígito da lógica de inferência alternada. AIC generaliza a estrutura além de um só dígito e desse padrão específico de extremidades.

O que aprender depois

Passe para XY-Chain, onde os Enlaces Fortes ficam dentro de células bivalue e o valor candidato muda enquanto a Cadeia avança.