AIC (alternerende kjeder)
AIC står for Alternating Inference Chains og er kjeder som veksler mellom sterke og svake koblinger gjennom brettet.
Lær teknikkenTvingende kjeder
Tvingende kjeder tester begge kandidatene i en rute og følger konsekvensene av hver av dem.
Se teknikken i praksis
Gå gjennom eksemplene steg for steg. Hvert steg forklarer hva du ser på brettet og hvorfor slutningen holder.
Eksempel:
- Ruta i rad 1, kolonne 7 har bare to kandidater, 1 og 2. Vi tester begge og følger konsekvensene.
- Anta først at ruta blir 1. Denne antakelsen tvinger flere andre ruter til bestemte tall, markert i blått.
- Anta så i stedet at ruta blir 2. Denne antakelsen tvinger andre ruter til bestemte tall også, markert i oransje.
- Antakelsen om at ruta er 1 fører til en rute uten gjenværende kandidater, en selvmotsigelse. Derfor må 2 stå her i stedet.
Slik kjenner du igjen mønsteret
Tvingende kjeder tar utgangspunkt i en rute med nøyaktig to kandidater og tester begge. Du følger konsekvensene av hver kandidat gjennom brettet, plassering for plassering, og ser hvor de to hypotesene ender. Teknikken er brute force satt i system, og den brukes gjerne når alle mønsterteknikkene har stoppet opp.
To utfall gir en gyldig slutning. Fører begge hypotesene til samme konklusjon, for eksempel at samme rute får samme tall, er konklusjonen sann uansett. Og fører en av hypotesene til en selvmotsigelse, for eksempel en rute uten kandidater, må ruta ha den andre kandidaten.
Fremgangsmåte steg for steg
- Velg en rute med nøyaktig to kandidater.
- Anta først den ene kandidaten og følg alle tvungne konsekvenser, altså nye nakne og skjulte singler som oppstår.
- Gjenta med den andre kandidaten.
- Fører begge grenene til samme plassering eller samme strykning, er den gyldig uansett. Fører en gren til selvmotsigelse, plasser den andre kandidaten i startruta.
Vanlige feil
- Å blande grenene. Konsekvensene av de to hypotesene må holdes strengt adskilt, ellers beviser du ingenting.
- Å bare følge én gren og plassere resultatet. Uten selvmotsigelse i den andre grenen er én gren bare en gjetning.
- Å følge konsekvenser som ikke er tvungne. Bare plasseringer som følger med nødvendighet, som singler, kan brukes i kjeden.
Når trenger du teknikken?
De aller vanskeligste brettene krever teknikker som følger lange logiske kjeder gjennom hele brettet. De er i praksis bevisførsel: anta noe, følg konsekvensene, og se hva som ikke kan stemme. Prøv deg gjennom eksemplene under, steg for steg, med de samme verktøyene løseren bruker på ditt eget brett.
Prøv det på ditt eget brett
Legg inn brettet ditt i Sudoku-løseren, så finner den neste steg og forklarer teknikken bak.
Åpne Sudoku-løseren