Catene a più cifre

Catene a più cifre

Maestro

Tecniche associate

Collegamenti forti e deboli nel contesto multi-cifra

Le catene a più cifre utilizzano lo stesso linguaggio di collegamenti forti e deboli delle catene a una sola cifra, ma i nodi sono singoli candidati invece che celle intere.

I collegamenti forti di coppie coniugate collegano la stessa cifra in due celle quando queste sono le uniche due posizioni in una casa. I collegamenti forti bivalore Cella collegano i due candidati all'interno di un bivalore Cella: se uno è falso, l'altro deve essere vero. I collegamenti deboli collegano candidati che non possono essere entrambi veri, perché sono la stessa cifra in una casa condivisa o cifre diverse nella stessa Cella.

Questo è ciò che permette a una catena di cambiare cifre rimanendo logicamente valida.

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

Un Catena di inferenza alternata opera sui 729 nodi candidati possibili: 81 celle per 9 cifre. Alterna collegamenti forti e deboli, e può utilizzare collegamenti tra candidati dello stesso numero, tra i due candidati in un Cella bivalore, o tra candidati che si escludono a vicenda all'interno di un Cella.

I risultati utili comuni includono:

Tipo 1: Gli estremi della catena sono la stessa cifra in celle diverse. Almeno un estremo deve essere vero, quindi eliminare tale cifra dalle celle che vedono entrambi gli estremi.

Tipo 2: Gli estremi della catena sono cifre diverse nella stessa Cella. Almeno un estremo deve essere vero, quindi eliminare tutti gli altri candidati da tale Cella.

Ciclo discontinuo: La catena si chiude con due collegamenti dello stesso tipo in un candidato. Due collegamenti forti che si incontrano forzano quel candidato a essere vero; due collegamenti deboli che si incontrano lo rendono falso.

Livello 12 (Estremo).

Catena XY contro AIC

Catena XY: solo celle con due valori, gli scambi di cifre avvengono all'interno di queste celle, e il risultato comune è un'eliminazione di tipo 1. Livello 10.

AIC: può utilizzare collegamenti coniugati, collegamenti bivalore-Cella, collegamenti raggruppati e altri conflitti di candidati. Può produrre eliminazioni di estremità, riduzioni Cella, posizionamenti e eliminazioni di loop discontinui. 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, costruisci una mappa di adiacenza attraverso i candidati condivisi e cerca catene i cui estremi contengano lo stesso numero.

Catene AIC: inizia con collegamenti forti affidabili, come coppie coniugate e celle bivalore. Estendi la catena alternando i tipi di collegamento e verifica costantemente se gli estremi producono un'eliminazione o se la catena si chiude in una discontinuità utile. I risolutori computerizzati spesso cercano direttamente nel grafico dei candidati da 729 nodi.

Perché le AIC sono la tecnica definitiva

Molte tecniche più semplici sono casi particolari di AIC o possono essere espresse naturalmente come AIC: Alio XY, Skyscraper, W-ala, Coppie remote, e molti argomenti di colorazione. Un risolutore che implementa una ricerca ampia su AIC può riprodurre molte tecniche denominate. Tuttavia, le tecniche denominate sono più veloci da trovare, più facili da spiegare e migliori per la risoluzione umana, quindi di solito vengono applicate per prime.

Riassunto

Catena XY (Livello 10) attraversa le celle con due valori e viene meglio compreso come un AIC limitato. AIC (Livello 12) opera sul grafico completo dei candidati e può scambiare cifre, utilizzare molti tipi di collegamenti forti e produrre diverse tipologie di deduzioni. Insieme rappresentano l'apice della risoluzione basata su catene.

Tecniche associate