Alternerande slutledningskedjor (Alternating Inference Chains, AIC) är den allmänna formen av varje kedjeteknik i sudoku. I stället för att följa en siffra hoppar du mellan siffror och celler, växlar mellan två sorters länkar och läser av vad som måste vara sant i ändarna. När du kan bygga dem blir X-Wings, wings och cykler med en siffra alla specialfall.
En kedja är en följd av kandidater, var och en en siffra i en bestämd cell. Två länktyper förbinder dem:
| Länk | Betydelse | Varifrån den kommer |
|---|---|---|
| Stark länk | om den ena är falsk är den andra sann | en siffra med bara två platser i en enhet, eller en cell med bara två kandidater |
| Svag länk | de kan inte båda vara sanna | två kandidater av samma siffra i en delad enhet, eller två kandidater i en cell |
En alternerande slutledningskedja börjar med en stark länk, slutar med en stark länk och växlar stark, svag, stark, svag hela vägen. Den strukturen garanterar en sak: minst en av de två ändkandidaterna är sann. Du får aldrig veta vilken, och du behöver inte det.
Ta till kedjor när singlar, låsta mängder, fisk och wings är slut och rutnätet är fullt av tvåkandidatceller. Kedjor kräver kompletta, pålitliga anteckningar; en enda gammal kandidat skapar länkar som inte finns. Börja från en tvåkandidatcell eller från en siffra som har exakt två platser i någon enhet, för det är de starka länkarna som ger frön till allt.
Om kedjan i stället sluter sig själv med växlingen intakt har du en kontinuerlig slinga: varje svag länk i den blir exklusiv, så alla andra kandidater av den siffran i den delade enheten försvinner, och varje extra kandidat i en cell i slingan försvinner också. Om växlingen bryts vid en nod är kedjan diskontinuerlig: en nod med två svaga länkar som pekar på den är falsk, och en nod med två starka länkar som pekar på den är sann.
Siffrorna 3, 8 och 9 över ruta 5 och 8. Kedjan har 3 starka och 2 svaga länkar, och 2 av dess hopp stannar inom en cell (H6 och F5).
Utskrivet: F6:9 = H6:9 - H6:8 = H5:8 - F5:8 = F5:3
Alltså är F6 9 eller F5 3. Ändarna har olika siffror här, och elimineringen sitter i en ändcell. Om F6 är 9 är den inte 3. Om F5 är 3 ser F6 F5 i rad F, så den är inte 3 heller. F6 kan inte vara 3 i något av fallen.
När båda ändarna har samma siffra är regeln enklare: varje cell som ser båda ändarna förlorar den siffran.
Alternerande slutledningskedjor tar över där X-cykler tar slut, eftersom de fritt kan byta siffra i varje cell. Räkna med att behöva dem i Mästare-pussel och att luta dig mot dem hela tiden på Legendarisk nivå. Bygg korta först: en kedja med 5 noder löser långt fler lägen än de flesta lösare tror.