Nice loops: sluit een afwisselende redeneringsketen
In een notatie met kandidaten als knooppunten wisselt een continue nice loop sterke en zwakke links helemaal rond af, ook bij de sluiting. De lus bepaalt niet welke hoek waar is. Een discontinue lus wisselt af behalve bij één kandidaat: twee zwakke links die daar samenkomen sluiten die kandidaat uit; twee sterke links die daar samenkomen maken hem waar. Elke link moet onderbouwd zijn.
Kernidee
In een continue lus krijgt elke zwakke link ook een sterke gevolgtrekking: minstens één van de eindpunten moet waar zijn. Verwijder kandidaten die met beide eindpunten in strijd zijn.
Bekijk de zet stap voor stap
Volg voor kandidaat 7 een lus met vier knooppunten in rijen 1 en 4.
Stap 1 van 4
Kies een netwerk van kandidaten
Filter op kandidaat 7 en zoek naar conjugate pairs die via gedeelde eenheden met elkaar verbonden kunnen worden.
Stap 2 van 4
Wissel sterke en zwakke schakels af
De vier kandidaten in de hoeken vormen een gesloten lus met sterke schakels in elke rij en zwakke schakels in elke kolom.
Stap 3 van 4
Gebruik het gevolg van de lus
Omdat vak R5C1 in kolom 1 beide toestanden van de lus ziet, kan kandidaat 7 daar niet blijven.
Stap 4 van 4
Laat de lus intact, verwijder de kandidaat erbuiten
De lus zelf blijft onopgelost, terwijl kandidaat 7 uit R5C1 wordt verwijderd.
Probeer het op de puzzel van vandaag
Een sterke link betekent dat minstens één eindpunt waar is; een zwakke link dat hoogstens één waar is. In dit voorbeeld bevatten R1C1 en R4C3 een 7, of R1C3 en R4C1 bevatten een 7. R5C1 ziet in beide gevallen een 7 in kolom 1, dus zijn 7 wordt verwijderd terwijl de hoeken onbeslist blijven. Alleen terugkeren naar de beginaanname is geen tegenspraak; volg de gevolgtrekkingen, niet een even of oneven aantal zwakke links.
Speel vandaag