AIC (alternerande inferenskedjor)
AIC står för Alternating Inference Chains och består av kedjor som växlar mellan starka och svaga länkar över pusslet.
Se tekniken i praktiken
Arbeta igenom exemplen steg för steg. Varje steg förklarar vad du ser i pusslet och varför slutsatsen är giltig.
- Vi börjar vid rad 3, kolumn 8 med siffran 3.
Hur man känner igen mönstret
AIC står för Alternating Inference Chains, kedjor som växlar mellan starka och svaga länkar. En stark länk betyder att minst en av två kandidater måste vara sann, till exempel de två enda placeringarna av en siffra i en enhet, eller de två kandidaterna i en cell med två värden. En svag länk betyder högst en kan vara sann, som två identiska kandidater i samma enhet.
När kedjan alternerar stark, svag, stark, svag hela vägen igenom, beter sig ändarna som ett vanligt starkt par: åtminstone en av dem måste vara sann. Om kedjan börjar och slutar med samma siffra, kan siffran tas bort från alla celler som ser båda ändarna. AIC är det allmänna ramverket bakom många namngivna tekniker, och både Enkel färgning och XY-Wing kan skrivas som korta AIC-kedjor.
Metod steg för steg
- Hitta en stark länk för en siffra och låt den ena änden vara startpunkten för kedjan.
- Bygg framåt genom att alternera: efter en stark länk kommer en svag, och efter en svag länk måste en ny stark komma.
- Fortsätt tills du når en kandidat med samma siffra som starten, med starka länkar i båda ändar.
- Ta bort siffran från alla celler som ser båda ändarna av kedjan.
Vanliga misstag
- Använder två svaga länkar i rad. Då brister logiken, och slutsatsen i slutet av kedjan är värdelös.
- Att tro att slutet är fakta. Kedjan bevisar bara att minst en av ändarna är korrekt, inte vilken.
- Att behandla en stark länk som enkelriktad. En stark länk kan användas som en svag länk, men en svag länk kan inte användas som en stark.
När behöver du tekniken?
De svåraste pusslen kräver tekniker som följer långa logiska kedjor över hela pusslet. I praktiken fungerar de som bevis genom motsägelse: gör ett antagande, följ dess konsekvenser och identifiera vad som inte kan hålla. Arbeta igenom exemplen nedan steg för steg, med samma verktyg som lösaren använder för ditt eget pussel.