Forcing chains in sudoku: een complete gids voor logica op expertniveau

Forcing chains zijn een van de krachtigste technieken die ervaren sudoku-oplossers kunnen gebruiken. Ze bevinden zich op de grens tussen pure logica en wat veel mensen voor gokken aanzien — maar ze berusten niet op gokken. Een forcing chain volgt vanuit een eerste aanname een reeks onvermijdelijke conclusies en gebruikt die conclusies om kandidaten te elimineren. Die eliminaties zijn gegarandeerd, ongeacht welke eerste aanname uiteindelijk juist blijkt. In deze gids lees je wat forcing chains zijn, welke drie hoofdtypen er zijn, hoe je ze toepast en hoe ze zich verhouden tot de verwante techniek van nice loops.

Wat zijn forcing chains in sudoku?

Een forcing chain is een logische techniek waarbij je tijdelijk aanneemt dat een kandidaat waar of onwaar is en vervolgens stap voor stap de gevolgen van die aanname in het raster volgt. De kern is: als elke mogelijke aanname als startpunt elders in het raster tot dezelfde conclusie leidt, moet die conclusie waar zijn — ongeacht welke aanname uiteindelijk juist blijkt.

Met andere woorden: je hoeft niet te weten welke aanname juist is. Je hoeft alleen te bewijzen dat alle mogelijkheden tot hetzelfde resultaat leiden. Dat resultaat is dan een zekere, logisch onderbouwde conclusie, geen gok.

Voor forcing chains heb je zorgvuldige potloodnotities nodig en moet je de gevolgen systematisch volgen. Ze zijn meestal voorbehouden aan puzzels op Expert- en Masterniveau, waarbij alle eenvoudigere technieken — singles, locked candidates, pairs, triples en fish patterns — geen uitkomst meer bieden. Raadpleeg voor de onderliggende regels de strategiepagina over forcing chains.

Typen forcing chains (Cell, Unit en Nishio)

Er zijn drie hoofdvarianten van forcing chains. Ze verschillen in wat je als uitgangspunt aanneemt:

Cell forcing chains

Een cell forcing chain begint bij één vak met precies twee kandidaten — bijvoorbeeld de cijfers 4 en 7. Je neemt aan dat 4 juist is en volgt de keten van gevolgen. Daarna neem je aan dat 7 juist is en volg je in plaats daarvan die keten. Als beide ketens tot dezelfde conclusie leiden (bijvoorbeeld dat een bepaald vak in rij 6 geen 3 kan bevatten), is die eliminatie geldig. Deze techniek maakt gebruik van het feit dat een van de twee kandidaten juist moet zijn, dus staat elk resultaat dat beide ketens gemeen hebben vast.

Unit forcing chains

Een unit forcing chain richt zich op alle resterende posities van een cijfer in een rij, kolom of blok. Stel dat cijfer 5 in een bepaalde kolom nog maar in drie vakken kan staan. Je neemt aan dat 5 in het eerste vak staat en volgt de gevolgen; daarna neem je aan dat 5 in het tweede vak staat en vervolgens dat 5 in het derde vak staat. Als alle drie de ketens elders in het raster hetzelfde resultaat opleveren, is dat resultaat een geldige conclusie. Deze variant is ingewikkelder om uit te voeren dan een cell forcing chain, omdat je mogelijk drie of meer vertakkingen moet volgen in plaats van twee.

Nishio-forcing chains (tegenspraak)

Een Nishio chain, genoemd naar Tetsuya Nishio, werkt door aan te nemen dat een kandidaat juist is en de gevolgen te volgen tot er een logische tegenspraak ontstaat: een rij, kolom of blok waarin geen plaats meer is voor een vereist cijfer. Als de aanname tot een doodlopend spoor leidt, moet ze onjuist zijn, dus kun je die kandidaat uit het startvak verwijderen. In tegenstelling tot standaard-forcing chains heeft Nishio maar één vertakking nodig in plaats van twee of meer. Je moet wel een tegenspraak herkennen; daarvoor moet je alle beperkingen die uit de gevolgde stappen voortkomen zorgvuldig bijhouden.

Hoe forcing chains werken — stap voor stap

Gebruik deze werkwijze voor een cell forcing chain. De coördinaten hieronder verduidelijken de notatie; ze vormen geen volledig uitgewerkte puzzel. Open de gekoppelde strategieles over forcing chains voor een diagram met een controleerbare keten en eliminatie.

1. Kies een vak met twee kandidaten. Zoek bijvoorbeeld in rij 2, kolom 5 een vak met precies twee kandidaten: {3, 8}. Deze kandidaten vormen de twee aannames waarmee je start.
2. Volg aanname A. Neem aan dat er in het vak een 3 staat. Pas de directe gevolgen toe: leidt het plaatsen van de 3 hier ertoe dat een kandidaat in een ander vak wordt geëlimineerd? Leidt die vermindering ergens tot een gedwongen plaatsing? Volg elke gedwongen stap — naked singles, hidden singles en locked candidates — totdat de keten geen gedwongen zetten meer oplevert. Noteer elk beïnvloed vak en elke beïnvloede kandidaat.
3. Volg aanname B. Ga terug naar de oorspronkelijke toestand en neem in plaats daarvan aan dat er in het vak een 8 staat. Volg hetzelfde proces en houd alle gevolgen bij.
4. Vergelijk de resultaten. Zoek naar kandidaten die in beide ketens worden geëlimineerd, of naar plaatsingen die in beide ketens voorkomen. Elk resultaat dat in beide ketens voorkomt, is een geldige conclusie die je meteen op de puzzel zelf kunt toepassen.
5. Pas de gedeelde conclusies toe en ga verder met oplossen. Nadat je de gedeelde eliminaties of plaatsingen hebt genoteerd, pas je ze toe en scan je het raster opnieuw. De nieuwe stand kan de weg vrijmaken voor eenvoudigere technieken zoals naked singles of pointing pairs.

Noteer de reden voor elke gevolgtrekking. R2C5=3 sluit bijvoorbeeld 3 in R4C5 uit omdat beide vakken in kolom5 staan. R4C5=7 volgt alleen als de volledige kandidaten vóór die eliminatie {3,7} waren. Zonder die kandidaatinformatie is de tweede gevolgtrekking niet onderbouwd.

Forcing chains versus nice loops: de belangrijkste verschillen

Forcing chains en nice loops zijn nauw verwant en de grens tussen beide kan vaag zijn. De belangrijkste verschillen zijn:

• Nice loops vormen een gesloten cyclus. Een nice loop volgt een keten van afwisselend sterke en zwakke links — sterke links waarbij minstens één van twee kandidaten waar moet zijn, zwakke links waarbij hoogstens één waar kan zijn — en keert terug naar het beginpunt, waardoor een lus ontstaat. De eliminaties volgen uit de structuur van de lus zelf.
• Forcing chains vertakken zich vanuit een eerste aanname. Een forcing chain hoeft niet naar het beginpunt terug te keren. In plaats daarvan vertakt hij zich vanuit die eerste aanname verder totdat hij op een tegenspraak (Nishio) stuit of totdat twee takken samenkomen in een gedeelde conclusie.
• Als patroon zijn nice loops goed te volgen. Omdat ze een strikte logica met afwisselend sterke en zwakke links volgen, kunnen nice loops schematisch worden weergegeven en zijn ze gemakkelijker te controleren. Forcing chains zijn minder vastomlijnd en kunnen daardoor moeilijker op fouten worden gecontroleerd.
• De termen overlappen. Sommige oplossers gebruiken forcing chain als brede categorie, ook voor gevolgtrekkingen die als nice loops kunnen worden weergegeven. Vertakkende bewijzen kunnen meerdere gevolgtrekkingen combineren, maar de naam alleen bepaalt geen vaste rangorde van technieken. Gebruik de kortste redenering die je kunt controleren.

Beide technieken sluiten aan bij de bredere familie van technieken waartoe simple coloring behoort. Deze techniek kent op basis van sterke links labels toe aan vakken met kandidaten en is een toegankelijk startpunt voordat je de volledige logica van forcing chains aanpakt.

Wanneer je forcing chains kunt proberen

Overweeg een forcing chain wanneer eenvoudigere gevolgtrekkingen geen zet hebben opgeleverd. Een moeilijkheidslabel bewijst niet dat een bepaalde techniek nodig is; er kan ook een andere oplossingsroute bestaan. Controleer voordat je begint onder meer het volgende:

• Er zijn geen naked singles of hidden singles meer.
• Locked candidates, naked pairs en hidden pairs leveren geen verdere eliminaties op.
• Fishpatronen (X-Wing, Swordfish, Jellyfish) en wingtechnieken (XY-Wing, XYZ-Wing) leveren niets meer op.
• De puzzel is nog niet opgelost; er zijn nog veel vakken met twee kandidaten en veel bilokale kandidaten.

Een goede vuistregel: ga altijd na of je de eenvoudigere technieken echt volledig hebt benut voordat je forcing chains probeert. Forcing chains kosten behoorlijk wat moeite. Als je een naked pair of hidden triple over het hoofd hebt gezien, vind je vaak sneller een oplossing. Zodra je zeker weet dat je alle eenvoudigere technieken hebt benut, is een cell forcing chain die begint bij een willekeurig vak met twee kandidaten een betrouwbare eerste poging.

Zijn forcing chains een vorm van gokken?

Nee — en dit is de meest voorkomende misvatting over forcing chains. De verwarring ontstaat doordat je bij deze techniek tijdelijk aanneemt dat een kandidaat waar of onwaar is, wat op gokken lijkt. Maar bij gokken leg je je vast op een aanname zonder te weten of die klopt, in de hoop dat het goed uitpakt. Forcing chains verschillen op een cruciaal punt: je legt je nooit vast op een van beide aannames.

In plaats daarvan bekijk je wat beide aannames tot gevolg hebben en handel je alleen op basis van conclusies die gelden, ongeacht welke aanname juist is. De redenering is deductief, niet speculatief. Dit is vergelijkbaar met een bewijs uit het ongerijmde of een bewijs per geval in de wiskunde — beide gelden als rigoureuze redeneringen, niet als giswerk.

Trial-and-error onderzoekt een voorlopige plaatsing en gaat terug wanneer die faalt. Een gecontroleerde tegenspraak is nog steeds een logische reden om die plaatsing af te wijzen. Bij forcing chains worden de gevolgtrekkingen expliciet gemaakt: alle takken die samen alle mogelijkheden afdekken bewijzen hetzelfde resultaat, of één aanname leidt tot een aangetoonde tegenspraak. Een onafgemaakte tak of het ontbreken van een voor de hand liggende zet bewijst niets.

Oefen met het gecontroleerde diagram in de les over forcing chains en probeer daarna gevolgtrekkingen in de sudoku van vandaag. Open voor oefenen op papier de Expert-sudoku’s om te printen. Het moeilijkheidslabel garandeert niet dat een puzzel ketens vereist.

Veelgestelde vragen

Wat zijn forcing chains in sudoku?

Forcing chains vormen een techniek waarbij je ervan uitgaat dat een van de twee kandidaten in een vak juist is en de logische gevolgen daarvan door het hele raster volgt. Als beide aannames tot dezelfde conclusie leiden, moet die conclusie waar zijn.

Worden forcing chains als gokken gezien?

Nee — forcing chains zijn een deterministische logische techniek. Je vult geen cijfers op goed geluk in; je volgt ketens van gedwongen eliminaties om tot een bewijsbare conclusie te komen zonder het raster aan te passen.

Wanneer heb je forcing chains nodig in sudoku?

Je kunt ze proberen wanneer je huidige technieken, zoals X-Wing en hidden pairs, geen zet meer opleveren. Dat bewijst niet dat ketens nodig zijn: moeilijkheidslabels verschillen en er kan een andere gevolgtrekking mogelijk zijn.