Catene a più cifre

Collegamenti forti e deboli nel contesto multi-cifra

Collegamento forte di coppia coniugata (stesso numero, due celle). Collegamenti forti bivalore Cella (stesso Cella, due numeri -- il motore per lo scambio di cifre). Collegamenti deboli inter-Cella (stesso numero, stessa casa condivisa). Collegamenti deboli intra-Cella (stesso Cella, candidati diversi in celle non bivalore).

Catena XY: Attraversamento delle celle a due valori

Ogni Cella bivalore. Le celle consecutive condividono una casa e una cifra. Se la prima e l'ultima cifra coincidono, almeno una delle estremità deve contenere tale cifra. Eliminare dalle celle che vedono entrambe le estremità. Un tre-Cella Catena XY è un Alio XY. Livello 10 (Maestro).

AIC: La tecnica della catena più generale

Funziona sul grafo con 729 nodi di tutte le coppie (Cella, cifra). Alterna liberamente collegamenti forti e deboli. Tipo 1: Stessa cifra, celle diverse -- eliminare dalle celle che vedono entrambe. Tipo 2: Cifre diverse, stesso Cella -- eliminare altri candidati da Cella. Tipo 3: Ciclo discontinuo -- eliminare la cifra iniziale dalla cella iniziale Cella. Livello 12 (Estremo).

Catena XY contro AIC

Catena XY: solo collegamenti forti bivalore Cella, tutte le celle bivalore, solo Tipo 1, Livello 10. AIC: entrambi i tipi di collegamento, qualsiasi Cella, tre tipi di deduzione, Livello 12. Catena XY è un caso speciale di Cella di AIC. AIC è strettamente più potente ma molto più difficile da trovare manualmente.

Come trovare catene XY e AIC

Catene XY: identifica le celle bivalore, crea la mappa di adiacenza, cerca digiti iniziali e finali corrispondenti. AIC: inizia con collegamenti forti noti, cerca celle ponte, estendi le catene promettenti. I risolutori computerizzati usano BFS/DFS sul grafo da 729 nodi.

Perché le AIC sono la tecnica definitiva

Molte tecniche più semplici sono casi particolari di AIC: Alio XY, Skyscraper, W-ala, Coppie remote. Un risolutore che implementi solo AIC potrebbe riprodurre molte tecniche denominate. Tuttavia, le tecniche più semplici sono più veloci da trovare, quindi vengono applicate per prime.

Riassunto

Catena XY (Livello 10) attraversa le celle a due valori. AIC (Livello 12) opera sull'intero grafo. Insieme rappresentano l'apice della risoluzione basata su catene.