Uma X-Chain é uma Cadeia de inferência alternada que acompanha apenas um dígito candidato.
Uma X-Chain eliminativa padrão:
- começa com um Enlace Forte;
- alterna relações Fortes e Fracas;
- termina com um Enlace Forte.
Essa estrutura prova:
Pelo menos uma extremidade da Cadeia deve conter o dígito.
Assim, o dígito pode ser removido de qualquer candidato que veja as duas extremidades.
Padrão rápido
Conceitualmente:
A = B - C = D - E = F=Forte;-Fraco.
Se A for falso:
- B verdadeiro;
- C falso;
- D verdadeiro;
- E falso;
- F verdadeiro.
Se a Cadeia for válida no sentido inverso, F falso força A verdadeiro.
Logo, A ou F é verdadeiro.
Por que a Cadeia começa e termina Forte
A conclusão das extremidades precisa desta propriedade:
extremidade falsa → extremidade oposta verdadeira.
Na primeira extremidade, o Enlace Forte inicial transforma falso em verdadeiro.
A alternância leva o estado ao longo da Cadeia.
Na extremidade distante, terminar com um Enlace Forte sustenta a implicação inversa.
É isso que produz a conclusão útil de que “uma extremidade deve ser verdadeira”.
Exemplo passo a passo
Fontes de Enlaces Fortes e Fracos em uma X-Chain
Como o dígito é fixo:
Enlaces Fortes
Normalmente:
- pares conjugados em linhas;
- pares conjugados em colunas;
- pares conjugados em blocos.
Enlaces Fracos
Posições do mesmo candidato que se veem.
Um Enlace Forte também pode cumprir um papel Fraco porque as extremidades de um par conjugado não podem ser ambas verdadeiras.
Entender essa flexibilidade facilita construir algumas Cadeias.
X-Chain vs Skyscraper / Two-String Kite
Uma X-Chain de quatro candidatos muitas vezes pode ser reconhecida como um padrão curto do tipo Turbot.
Skyscraper
Dois pares conjugados paralelos com um lado alinhado.
Two-String Kite
Um par conjugado de linha + um par conjugado de coluna conectados por um bloco.
Os nomes são atalhos.
X-Chain é a linguagem geral de inferência.
X-Chain vs Colorização Simples
Colorização
Constrói uma rede maior de pares conjugados e usa contradições em dois estados.
X-Chain
Escolhe um caminho alternado específico que chega a extremidades úteis.
Uma rede conectada de Colorização pode conter muitas X-Chains possíveis.
As duas técnicas são abordagens de busca complementares.
Como encontrar X-Chains sem desenhar tudo
- Filtre um dígito candidato.
- Marque Enlaces Fortes.
- Escolha uma extremidade promissora.
- Pergunte quais conexões Fracas levam a outro Enlace Forte.
- Continue apenas enquanto a Cadeia permanecer curta o bastante para verificar.
- Pare quando a outra extremidade criar uma eliminação em células relacionadas às duas extremidades.
Não estenda uma Cadeia apenas porque consegue.
Mais longa não significa melhor.
Uma Cadeia pode ser válida e inútil
Suponha que A e F tenham sido provados como extremidades, mas:
- nenhum candidato vê os dois;
- nenhuma outra contradição ou colocação surge.
Então a Cadeia não tem efeito prático naquele momento.
Volte à grade.
O objetivo é obter uma dedução, não colecionar Cadeias.
Erros comuns
Trocar o dígito candidato no meio da Cadeia
Nesse caso, não é uma X-Chain.
Usar dois papéis Fortes ou dois Fracos incorretamente sem validar o estado intermediário
Verifique a propagação, não apenas o estilo da linha.
Terminar com a estrutura errada nas extremidades
A eliminação padrão em células relacionadas às duas extremidades precisa da garantia de verdade em uma das pontas.
Eliminar de uma célula que vê apenas uma extremidade
Inválido.
Construir Cadeias muito longas antes de dominar as curtas
Reconhecimento e verificação ficam rapidamente mais difíceis.
Exercício de reconhecimento
Com o dígito 7 filtrado:
- marque pares conjugados;
- escolha dois segmentos de Enlace Forte;
- pergunte se uma extremidade de um segmento vê uma extremidade do outro;
- trace a Cadeia curta resultante.
Isso começa deliberadamente perto do nível de Skyscraper/Kite antes de expandir.
FAQ
X-Chain usa apenas um dígito?
Sim.
Um Skyscraper pode ser representado como X-Chain?
Sim. Pode ser representado como uma X-Chain curta.
Toda X-Chain elimina de células relacionadas às duas extremidades?
O padrão de extremidades ensinado aqui faz isso. Estruturas mais gerais de Cadeias/AIC podem gerar outras conclusões.
X-Chain é o mesmo que Colorização?
Não, embora ambas trabalhem com um único dígito candidato e estruturas de Enlaces Fortes.
O que aprender depois
Passe para XY-Chain, onde os Enlaces Fortes ficam dentro de células bivalue e o valor candidato muda ao longo do caminho.