AIC (afwisselende gevolgtrekkingsketens)
AIC staat voor Alternating Inference Chains (afwisselende gevolgtrekkingsketens) en bestaat uit ketens die door de hele puzzel afwisselen tussen sterke en zwakke schakels.
Bekijk de techniek in de praktijk
Werk de voorbeelden stap voor stap door. Elke stap legt uit wat je in de puzzel ziet en waarom de conclusie klopt.
- We beginnen bij rij 3, kolom 8 met cijfer 3.
Hoe herken je het patroon?
AIC staat voor Alternating Inference Chains: ketens die afwisselen tussen sterke en zwakke schakels. Een sterke schakel betekent dat minstens één van twee kandidaten waar moet zijn, zoals de enige twee plekken voor een cijfer in een eenheid of de twee kandidaten in een cel met twee waarden. Een zwakke schakel betekent dat er hoogstens één waar kan zijn, zoals twee gelijke kandidaten in dezelfde eenheid.
Als de keten van begin tot eind afwisselt tussen sterk, zwak, sterk en zwak, gedragen de uiteinden zich als een gewoon sterk paar: minstens een van beide moet waar zijn. Begint en eindigt de keten met hetzelfde cijfer, dan kan dat cijfer worden verwijderd uit alle cellen die beide uiteinden zien. AIC is het algemene kader achter veel technieken met een eigen naam, en zowel Eenvoudige kleuring als XY-Wing kun je schrijven als korte AIC-ketens.
Stappenplan
- Zoek een sterke schakel voor een cijfer en laat één uiteinde het beginpunt van de keten zijn.
- Bouw verder door af te wisselen: na een sterke schakel komt een zwakke, en na een zwakke schakel moet een nieuwe sterke komen.
- Ga door tot je een kandidaat bereikt met hetzelfde cijfer als het begin, met sterke schakels aan beide uiteinden.
- Verwijder het cijfer uit alle cellen die beide uiteinden van de keten zien.
Vaak voorkomende fouten
- Twee zwakke schakels achter elkaar gebruiken. Dan klopt de logica niet meer, en is de conclusie aan het einde van de keten waardeloos.
- De uiteinden als feit beschouwen. De keten bewijst alleen dat minstens een van de uiteinden klopt, niet welke.
- Een sterke schakel als eenrichtingsverkeer behandelen. Een sterke schakel kun je altijd als zwakke gebruiken, maar een zwakke schakel nooit als sterke.
Wanneer heb je de techniek nodig?
De moeilijkste puzzels vragen om technieken die lange logische ketens door de hele puzzel volgen. In de praktijk werken ze als een bewijs uit het ongerijmde: doe een aanname, volg de gevolgen en ontdek wat niet kan kloppen. Werk de voorbeelden hieronder stap voor stap door, met dezelfde hulpmiddelen die de oplosser op je eigen puzzel toepast.