Um X-Cycle é um loop lógico construído para um único dígito X usando Enlaces Fortes e Fracos entre candidatos desse mesmo dígito.
Ele é uma das melhores pontes entre padrões conhecidos de um dígito e a lógica geral de Cadeias. X-Wing, algumas formas de Swordfish, Skyscraper e outros padrões podem ser vistos com a mesma linguagem de links.
A característica essencial não é um retângulo ou um desenho de Fish. É o loop de implicações.
Os blocos de construção
Para um dígito X:
- um Enlace Forte significa que, se o candidato A for falso, B precisa ser verdadeiro;
- um Enlace Fraco significa que, se A for verdadeiro, B precisa ser falso.
Um X-Cycle percorre candidatos X alternando esses tipos de relação até fechar o loop.
X-Cycles contínuos
Um X-Cycle contínuo alterna Forte/Fraco corretamente ao redor de todo o loop, incluindo o link do último nó de volta ao primeiro.
Isso permite atribuir estados alternados de verdade de forma consistente.
A dedução principal aparece nos Enlaces Fracos do ciclo: se dois nós do loop compartilham uma unidade por um Enlace Fraco, qualquer outro candidato X dessa mesma unidade que enxergue os dois estados possíveis pode ser eliminado.
Em um caso simples de quatro nós, essa estrutura pode ser exatamente um X-Wing escrito como ciclo.
Por que um X-Wing pode ser um X-Cycle
Considere os quatro cantos de um X-Wing válido para o dígito 7.
Cada linha base fornece uma relação Forte entre seus dois candidatos 7. Cada coluna de cobertura fornece uma relação Fraca que impede que os dois cantos sejam verdadeiros ao mesmo tempo.
Ao percorrer o retângulo, os links alternam:
Forte → Fraco → Forte → FracoO nome X-Wing continua mais rápido de reconhecer, mas a representação por X-Cycle mostra o mecanismo geral.
X-Cycles descontínuos
Um loop útil pode conter exatamente um ponto onde a alternância perfeita se rompe.
Dois casos são especialmente importantes.
Dois Enlaces Fortes se encontram
Se o mesmo candidato recebe duas inferências Fortes no ponto de descontinuidade, esse candidato precisa ser verdadeiro.
A descontinuidade produz uma colocação.
Dois Enlaces Fracos se encontram
Se duas inferências Fracas se encontram no mesmo candidato, esse candidato não pode ser verdadeiro.
A descontinuidade produz uma eliminação.
Essas regras são a forma de um único dígito do raciocínio de Nice Loops descontínuos.
Exemplo de X-Cycle
X-Cycles vs X-Chains
Uma X-Chain é, em geral, uma cadeia aberta de um único dígito. Ela começa e termina de forma a provar que X é verdadeiro em um extremo ou no outro, permitindo eliminar X de peers comuns.
Um X-Cycle fecha a cadeia sobre si mesma. Isso permite eliminações de loop contínuo e regras de descontinuidade.
A linguagem de Enlaces Fortes e Fracos é a mesma.
X-Cycles vs Colorização Simples
As duas técnicas trabalham com um único dígito e exploram relações conjugadas.
A Colorização Simples constrói uma rede e atribui duas cores. X-Cycles traçam um loop específico com Enlaces Fortes e Fracos explícitos.
Um X-Cycle contínuo formado apenas por relações conjugadas pode parecer quase idêntico a uma prova de colorização.
X-Cycles vs AIC
X-Cycles permanecem em um único dígito.
AIC permite que a cadeia mude de dígito por células e outras relações Fortes/Fracas.
Conceitualmente:
X-Cycle = linguagem de loops de um único dígito. AIC = linguagem geral de inferência entre candidatos.
Aprender X-Cycles primeiro torna a notação de AIC muito mais fácil de compreender.
Padrões curtos nomeados dentro da mesma linguagem
Skyscraper, Two-String Kite e Turbot Fish podem ser representados como Cadeias ou ciclos curtos de um único dígito.
Mantenha os nomes quando a geometria for evidente, porque eles são eficientes visualmente. Use a lógica de X-Cycle quando a forma deixar de encaixar em um modelo conhecido.
Como procurar X-Cycles
- escolha um dígito com vários pares conjugados;
- marque os Enlaces Fortes;
- a partir de cada extremo Forte, procure visibilidade Fraca para outro par Forte;
- continue alternando sem reutilizar um candidato indevidamente;
- procure um retorno à região inicial;
- classifique o fechamento antes de eliminar qualquer coisa.
Loops longos são difíceis de encontrar manualmente, então priorize ciclos curtos e candidatos com alta conectividade.
Erros comuns
Misturar dígitos
Isso já se torna raciocínio do tipo AIC, não um X-Cycle clássico.
Tratar toda relação de peers como Enlace Forte
Peers são Fracos por padrão. Forte exige uma condição exatamente-dois ou outra relação que garanta “pelo menos um verdadeiro”.
Ignorar o link de fechamento
Um caminho não é um ciclo até que o fim se reconecte logicamente ao início.
Aplicar regras de descontinuidade a vários cortes
As regras simples de colocação/eliminação pressupõem a estrutura correta com uma única descontinuidade.
Reutilizar um nó candidato
Uma representação válida não deve passar repetidamente pelo mesmo candidato para fabricar uma conclusão.
FAQ
O que significa o X em X-Cycle?
Ele representa um único dígito fixo do Sudoku. Todo nó candidato do loop é uma ocorrência desse mesmo dígito.
X-Cycle é a mesma coisa que X-Wing?
Não. X-Wing é um padrão reconhecível específico; um X-Wing de quatro nós também pode ser representado como um X-Cycle contínuo.
X-Cycles são um tipo de Cadeia?
Sim. São estruturas de cadeia/loop de um único dígito que usam Enlaces Fortes e Fracos.
X-Cycles exigem notas de candidatos?
Na prática, sim. É necessário conhecer com precisão as posições dos candidatos para validar as relações Fortes e Fracas.
O que aprender depois
Se X-Cycles já fizerem sentido, continue para AIC e Grouped AIC. Elas preservam a mesma linguagem de inferência enquanto permitem dígitos diferentes e nós agrupados maiores.