Alternating Inference Chains

Alternerende inferenskæder (Alternating Inference Chains, AIC) er den generelle form for alle kædeteknikker i sudoku. I stedet for at følge ét ciffer hopper du mellem cifre og felter, skifter mellem to slags links og aflæser, hvad der må være sandt i enderne. Når du kan bygge dem, bliver X-Wings, wings og cyklusser med ét ciffer alle sammen særtilfælde.

Hvad mønstret er

En kæde er en rækkefølge af kandidater, hver et ciffer i et bestemt felt. 2 linktyper forbinder dem:

En alternerende inferenskæde starter med et stærkt link, slutter med et stærkt link og skifter stærkt, svagt, stærkt, svagt hele vejen igennem. Den struktur garanterer én ting: mindst én af de 2 endekandidater er sand. Du får aldrig at vide hvilken, og det behøver du heller ikke.

Hvornår du skal lede efter den

Brug kæder, når singles, låste sæt, fisk og wings er udtømt, og gitteret er fuldt af to-kandidat-felter. Kæder kræver komplette, pålidelige noter; én forældet kandidat opfinder links, der ikke findes. Start fra et to-kandidat-felt eller fra et ciffer, der har præcis 2 pladser i en enhed, for det er de stærke links, der sår alt andet.

Sådan bruger du den, trin for trin

1. Vælg en startkandidat og et stærkt link væk fra den.
2. Tag et svagt link fra den kandidat, du lander på: samme felt, andet ciffer, eller samme ciffer i samme enhed.
3. Tag derfra endnu et stærkt link. Bliv ved med at skifte.
4. Stop på et stærkt link, så mindst én ende er sand.
5. Eliminér enhver kandidat, som begge ender udelukker. Med 2 ender af samme ciffer er det hvert felt, der ser begge ender. Med forskellige cifre ser du på selve endefelterne (se eksemplet).

Hvis kæden i stedet lukker sig om sig selv med skiftet intakt, har du en sammenhængende løkke: hvert svagt link i den bliver eksklusivt, så alle andre kandidater af det ciffer i den fælles enhed forsvinder, og enhver ekstra kandidat i et felt i løkken forsvinder også. Hvis skiftet brydes i én knude, er kæden usammenhængende: en knude med 2 svage links, der peger på den, er falsk, og en knude med 2 stærke links, der peger på den, er sand.

Et gennemgået eksempel

Cifrene 3, 8 og 9 på tværs af boks 5 og 8. Kæden har 3 stærke og 2 svage links, og 2 af dens hop bliver inden for ét felt (H6 og F5).

Skrevet ud: F6:9 = H6:9 - H6:8 = H5:8 - F5:8 = F5:3

• Kolonne 6 har 9 kun i F6 og H6 (stærkt).
• H6 er , så 9 og 8 i H6 udelukker hinanden (svagt).
• Boks 8 har 8 kun i H6 og H5 (stærkt).
• H5 og F5 deler kolonne 5 (svagt).
• F5 er (stærkt).

Så F6 er 9, eller F5 er 3. Enderne har forskellige cifre her, og elimineringen sidder i et endefelt. Hvis F6 er 9, er det ikke 3. Hvis F5 er 3, ser F6 F5 i række F, så det er heller ikke 3. F6 kan ikke være 3 i nogen af tilfældene.

Når begge ender har det samme ciffer, er reglen enklere: hvert felt, der ser begge ender, mister det ciffer.

Almindelige fejl

• At bruge et svagt link, hvor mønstret kun understøtter »ikke begge sande«, og så læse det som et stærkt link. Et felt med 3 kandidater giver svage links, ikke stærke.
• At slutte på et svagt link. Det sidste link skal være stærkt, ellers er den sidste knude ikke tvunget.
• At eliminere i felter, der kun ser den ene ende.
• At lave kæder ud fra noter, du ikke har opdateret siden din seneste placering.

Hvor du møder den

Alternerende inferenskæder overtager, hvor X-cyklusser stopper, fordi de frit kan skifte ciffer i hvert felt. Regn med at få brug for dem i Mesteropgaver og at læne dig konstant op ad dem på Legendarisk. Byg korte først: en kæde med 5 knuder løser langt flere stillinger, end de fleste løsere forventer.