Platon Games
Nederlands

Platon Sudoku · Sudoku leren

Dwingend netwerk (Forcing Net) · Stapsgewijs voorbeeld

A Forcing Net vertakt en voegt kandidaat-implicaties samen. Het kan een aanname weerleggen of een gemeenschappelijk resultaat voor alternatieven bewijzen. Verwijder een weerlegde kandidaat of pas het resultaat toe dat door alle volledige branches wordt gedeeld.

Deze les is aangepast uit de lesstof van de Platon Sudoku-app. Lees hier het volledige voorbeeld en leer en oefen daarna verder in de app.

Bekijken op Google Play

Herken het patroon

A Forcing Net vertakt en voegt kandidaat-implicaties samen. Het kan een aanname weerleggen of een gemeenschappelijk resultaat voor alternatieven bewijzen.

Hoe kunt u het vinden?

Volg elk uitgangspunt via het vertakkingsnetwerk, controleer elke link en vergelijk tegenstrijdigheden of gemeenschappelijke eindpunten.

Wat het toestaat

Verwijder een weerlegde kandidaat of pas het resultaat toe dat door alle volledige branches wordt gedeeld.

Vermijd verwarring

Sla geen vertakking over en verwar een gedeeld effect niet met een effect van slechts één pad.

Stapsgewijs voorbeeld · Tegenspraak

Dit voorbeeld begint vanuit een opgeslagen tussenstand. De kandidaten bevatten eerdere logische uitsluitingen en zijn geen zojuist automatisch gegenereerde notities.

Blauw: aanwijzingen. Groen: conclusie. Doorgestreepte cijfers: uitgesloten kandidaten. R1C1 betekent rij 1, kolom 1.

Stap 1 · Waar te zoeken

R1C3=7 is waar of onwaar. De graaf test R1C3=7 is waar; een tegenstrijdigheid sluit die toestand uit en dwingt R1C3=7 is onwaar af, zodat de twee mogelijke toestanden volledig gedekt zijn. Dit is een Forcing Net, geen Forcing Chain, want De geverifieerde afhankelijkheidsgrafiek waaiert uit of wordt samengevoegd in plaats van een enkel lineair implicatiepad te blijven. De onderzochte vertakking bevat 49-geverifieerde knooppunten.

R1C3=7 is waar of onwaar. De graaf test R1C3=7 is waar; een tegenstrijdigheid sluit die toestand uit en dwingt R1C3=7 is onwaar af, zodat de twee mogelijke toestanden volledig gedekt zijn. Dit is een Forcing Net, geen Forcing Chain, want De geverifieerde afhankelijkheidsgrafiek waaiert uit of wordt samengevoegd in plaats van een enkel lineair implicatiepad te blijven. De onderzochte vertakking bevat 49-geverifieerde knooppunten.
R1C3=7 is waar of onwaar. De graaf test R1C3=7 is waar; een tegenstrijdigheid sluit die toestand uit en dwingt R1C3=7 is onwaar af, zodat de twee mogelijke toestanden volledig gedekt zijn. Dit is een Forcing Net, geen Forcing Chain, want De geverifieerde afhankelijkheidsgrafiek waaiert uit of wordt samengevoegd in plaats van een enkel lineair implicatiepad te blijven. De onderzochte vertakking bevat 49-geverifieerde knooppunten.
Stap 2 · Redenering

Branch 1: stel dat R1C3=7 waar is.

Branch 1: stel dat R1C3=7 waar is.
Branch 1: stel dat R1C3=7 waar is.
Stap 3 · Redenering

R1C3=7 is waar. Verwijder {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.

R1C3=7 is waar. Verwijder {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
R1C3=7 is waar. Verwijder {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
Stap 4 · Redenering

Na de voorgaande uitsluitingen is R8C3=3 de enige overgebleven optie in R8C3. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R8C3=3 de enige overgebleven optie in R8C3. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R8C3=3 de enige overgebleven optie in R8C3. Het wordt gedwongen onder deze veronderstelling.
Stap 5 · Redenering

R8C3=3 is waar. Verwijder R7C3=3.

R8C3=3 is waar. Verwijder R7C3=3.
R8C3=3 is waar. Verwijder R7C3=3.
Stap 6 · Redenering

Na de voorgaande uitsluitingen is R7C4=3 de enige overgebleven optie in rij 7. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R7C4=3 de enige overgebleven optie in rij 7. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R7C4=3 de enige overgebleven optie in rij 7. Het wordt gedwongen onder deze veronderstelling.
Stap 7 · Redenering

Na de voorgaande uitsluitingen is R8C2=7 de enige overgebleven optie in rij 8. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R8C2=7 de enige overgebleven optie in rij 8. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R8C2=7 de enige overgebleven optie in rij 8. Het wordt gedwongen onder deze veronderstelling.
Stap 8 · Redenering

R8C2=7 is waar. Verwijder R8C2=8.

R8C2=7 is waar. Verwijder R8C2=8.
R8C2=7 is waar. Verwijder R8C2=8.
Stap 9 · Redenering

Na de voorgaande uitsluitingen is R8C8=8 de enige overgebleven optie in rij 8. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R8C8=8 de enige overgebleven optie in rij 8. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R8C8=8 de enige overgebleven optie in rij 8. Het wordt gedwongen onder deze veronderstelling.
Stap 10 · Redenering

R8C8=8 is waar. Verwijder R8C8=4.

R8C8=8 is waar. Verwijder R8C8=4.
R8C8=8 is waar. Verwijder R8C8=4.
Stap 11 · Redenering

Na de voorgaande uitsluitingen is R6C1=7 de enige overgebleven optie in -kolom 1. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R6C1=7 de enige overgebleven optie in -kolom 1. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R6C1=7 de enige overgebleven optie in -kolom 1. Het wordt gedwongen onder deze veronderstelling.
Stap 12 · Redenering

R6C1=7 is waar. Verwijder R6C1=5.

R6C1=7 is waar. Verwijder R6C1=5.
R6C1=7 is waar. Verwijder R6C1=5.
Stap 13 · Redenering

Na de voorgaande uitsluitingen is R3C8=4 de enige overgebleven optie in -kolom 8. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R3C8=4 de enige overgebleven optie in -kolom 8. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R3C8=4 de enige overgebleven optie in -kolom 8. Het wordt gedwongen onder deze veronderstelling.
Stap 14 · Redenering

R3C8=4 is waar. Verwijder {R3C8=1, R3C8=6}.

R3C8=4 is waar. Verwijder {R3C8=1, R3C8=6}.
R3C8=4 is waar. Verwijder {R3C8=1, R3C8=6}.
Stap 15 · Redenering

Na de voorgaande uitsluitingen is R3C1=2 de enige overgebleven optie in blok 1. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R3C1=2 de enige overgebleven optie in blok 1. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R3C1=2 de enige overgebleven optie in blok 1. Het wordt gedwongen onder deze veronderstelling.
Stap 16 · Redenering

R3C1=2 is waar. Verwijder R3C1=5.

R3C1=2 is waar. Verwijder R3C1=5.
R3C1=2 is waar. Verwijder R3C1=5.
Stap 17 · Redenering

Na de voorgaande uitsluitingen is R9C7=4 de enige overgebleven optie in blok 9. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R9C7=4 de enige overgebleven optie in blok 9. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R9C7=4 de enige overgebleven optie in blok 9. Het wordt gedwongen onder deze veronderstelling.
Stap 18 · Redenering

R9C7=4 is waar. Verwijder R9C7=9.

R9C7=4 is waar. Verwijder R9C7=9.
R9C7=4 is waar. Verwijder R9C7=9.
Stap 19 · Redenering

Na de voorgaande uitsluitingen is R7C9=9 de enige overgebleven optie in blok 9. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R7C9=9 de enige overgebleven optie in blok 9. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R7C9=9 de enige overgebleven optie in blok 9. Het wordt gedwongen onder deze veronderstelling.
Stap 20 · Redenering

R3C8=4 is waar. Verwijder R2C7=4.

R3C8=4 is waar. Verwijder R2C7=4.
R3C8=4 is waar. Verwijder R2C7=4.
Stap 21 · Redenering

R6C1=7 is waar. Verwijder R6C7=7.

R6C1=7 is waar. Verwijder R6C7=7.
R6C1=7 is waar. Verwijder R6C7=7.
Stap 22 · Redenering

Na de voorgaande uitsluitingen is R6C7=6 de enige overgebleven optie in R6C7. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R6C7=6 de enige overgebleven optie in R6C7. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R6C7=6 de enige overgebleven optie in R6C7. Het wordt gedwongen onder deze veronderstelling.
Stap 23 · Redenering

R6C7=6 is waar. Verwijder R3C7=6.

R6C7=6 is waar. Verwijder R3C7=6.
R6C7=6 is waar. Verwijder R3C7=6.
Stap 24 · Redenering

R7C4=3 is waar. Verwijder R2C4=3.

R7C4=3 is waar. Verwijder R2C4=3.
R7C4=3 is waar. Verwijder R2C4=3.
Stap 25 · Redenering

R7C9=9 is waar. Verwijder {R1C9=9, R7C3=9}.

R7C9=9 is waar. Verwijder {R1C9=9, R7C3=9}.
R7C9=9 is waar. Verwijder {R1C9=9, R7C3=9}.
Stap 26 · Redenering

R8C8=8 is waar. Verwijder R1C8=8.

R8C8=8 is waar. Verwijder R1C8=8.
R8C8=8 is waar. Verwijder R1C8=8.
Stap 27 · Redenering

Na de voorgaande uitsluitingen is R3C9=6 de enige overgebleven optie in rij 3. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R3C9=6 de enige overgebleven optie in rij 3. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R3C9=6 de enige overgebleven optie in rij 3. Het wordt gedwongen onder deze veronderstelling.
Stap 28 · Redenering

R3C9=6 is waar. Verwijder R3C9=1.

R3C9=6 is waar. Verwijder R3C9=1.
R3C9=6 is waar. Verwijder R3C9=1.
Stap 29 · Redenering

Na de voorgaande uitsluitingen is R9C1=9 de enige overgebleven optie in rij 9. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R9C1=9 de enige overgebleven optie in rij 9. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R9C1=9 de enige overgebleven optie in rij 9. Het wordt gedwongen onder deze veronderstelling.
Stap 30 · Redenering

R9C1=9 is waar. Verwijder R9C1=5.

R9C1=9 is waar. Verwijder R9C1=5.
R9C1=9 is waar. Verwijder R9C1=5.
Stap 31 · Redenering

Na de voorgaande uitsluitingen is R2C1=5 de enige overgebleven optie in -kolom 1. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R2C1=5 de enige overgebleven optie in -kolom 1. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R2C1=5 de enige overgebleven optie in -kolom 1. Het wordt gedwongen onder deze veronderstelling.
Stap 32 · Redenering

Na de voorgaande uitsluitingen is R2C3=9 de enige overgebleven optie in -kolom 3. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R2C3=9 de enige overgebleven optie in -kolom 3. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R2C3=9 de enige overgebleven optie in -kolom 3. Het wordt gedwongen onder deze veronderstelling.
Stap 33 · Redenering

Na de voorgaande uitsluitingen is R2C9=1 de enige overgebleven optie in blok 3. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R2C9=1 de enige overgebleven optie in blok 3. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R2C9=1 de enige overgebleven optie in blok 3. Het wordt gedwongen onder deze veronderstelling.
Stap 34 · Redenering

Na de voorgaande uitsluitingen is R1C8=5 de enige overgebleven optie in R1C8. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R1C8=5 de enige overgebleven optie in R1C8. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R1C8=5 de enige overgebleven optie in R1C8. Het wordt gedwongen onder deze veronderstelling.
Stap 35 · Redenering

R1C8=5 is waar. Verwijder R1C9=5.

R1C8=5 is waar. Verwijder R1C9=5.
R1C8=5 is waar. Verwijder R1C9=5.
Stap 36 · Redenering

Na de voorgaande uitsluitingen is R1C9=8 de enige overgebleven optie in R1C9. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R1C9=8 de enige overgebleven optie in R1C9. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R1C9=8 de enige overgebleven optie in R1C9. Het wordt gedwongen onder deze veronderstelling.
Stap 37 · Redenering

R1C9=8 is waar. Verwijder R2C7=8.

R1C9=8 is waar. Verwijder R2C7=8.
R1C9=8 is waar. Verwijder R2C7=8.
Stap 38 · Redenering

R2C1=5 is waar. Verwijder R2C4=5.

R2C1=5 is waar. Verwijder R2C4=5.
R2C1=5 is waar. Verwijder R2C4=5.
Stap 39 · Redenering

R2C3=9 is waar. Verwijder R2C7=9.

R2C3=9 is waar. Verwijder R2C7=9.
R2C3=9 is waar. Verwijder R2C7=9.
Stap 40 · Redenering

Na de voorgaande uitsluitingen is R2C7=7 de enige overgebleven optie in R2C7. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R2C7=7 de enige overgebleven optie in R2C7. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R2C7=7 de enige overgebleven optie in R2C7. Het wordt gedwongen onder deze veronderstelling.
Stap 41 · Redenering

R2C7=7 is waar. Verwijder R2C4=7.

R2C7=7 is waar. Verwijder R2C4=7.
R2C7=7 is waar. Verwijder R2C4=7.
Stap 42 · Redenering

R2C9=1 is waar. Verwijder R2C4=1.

R2C9=1 is waar. Verwijder R2C4=1.
R2C9=1 is waar. Verwijder R2C4=1.
Stap 43 · Redenering

Deze aanname laat geen mogelijke waarde of positie over in R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Een Sudoku-cel en elk ontbrekend cijfer in een regio moeten een optie hebben. De veronderstelling is onmogelijk.

Deze aanname laat geen mogelijke waarde of positie over in R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Een Sudoku-cel en elk ontbrekend cijfer in een regio moeten een optie hebben. De veronderstelling is onmogelijk.
Deze aanname laat geen mogelijke waarde of positie over in R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Een Sudoku-cel en elk ontbrekend cijfer in een regio moeten een optie hebben. De veronderstelling is onmogelijk.
Stap 44 · Trek de vorige rechthoekvulling eruit

Trek deze veronderstelling en de gevolgen ervan in. Keer terug naar de ongewijzigde momentopname van de kandidaat voordat u de volgende mogelijkheid onderzoekt.

Trek deze veronderstelling en de gevolgen ervan in. Keer terug naar de ongewijzigde momentopname van de kandidaat voordat u de volgende mogelijkheid onderzoekt.
Trek deze veronderstelling en de gevolgen ervan in. Keer terug naar de ongewijzigde momentopname van de kandidaat voordat u de volgende mogelijkheid onderzoekt.
Stap 45 · Conclusie

R1C3=7 kan worden verwijderd omdat dit in dit patroon niet waar kan zijn.

R1C3=7 kan worden verwijderd omdat dit in dit patroon niet waar kan zijn.
R1C3=7 kan worden verwijderd omdat dit in dit patroon niet waar kan zijn.

Wat het toestaat

R1C3=7 kan worden verwijderd omdat dit in dit patroon niet waar kan zijn.

Dwingend netwerk (Forcing Net) · Verwijder een weerlegde kandidaat of pas het resultaat toe dat door alle volledige branches wordt gedeeld.
Dwingend netwerk (Forcing Net) · Verwijder een weerlegde kandidaat of pas het resultaat toe dat door alle volledige branches wordt gedeeld.

Stapsgewijs voorbeeld · Algemeen resultaat

Dit voorbeeld begint vanuit een opgeslagen tussenstand. De kandidaten bevatten eerdere logische uitsluitingen en zijn geen zojuist automatisch gegenereerde notities.

Blauw: aanwijzingen. Groen: conclusie. Doorgestreepte cijfers: uitgesloten kandidaten. R1C1 betekent rij 1, kolom 1.

Stap 1 · Waar te zoeken

De rootset R7C5=2, R7C5=4, R7C5=9 bevat elke mogelijke start in R7C5, dus de roottakken zijn exhaustief. Dit is een Forcing Net, geen Forcing Chain, omdat De geverifieerde afhankelijkheidsgrafiek waaiert uit of wordt samengevoegd in plaats van een enkel lineair implicatiepad te blijven. De afhankelijkheidsgrafiek bevat 58-geverifieerde knooppunten in de hoofdtakken van 3. Het gebruikelijke resultaat dat moet worden gecontroleerd, is R3C6=2 is waar.

De rootset R7C5=2, R7C5=4, R7C5=9 bevat elke mogelijke start in R7C5, dus de roottakken zijn exhaustief. Dit is een Forcing Net, geen Forcing Chain, omdat De geverifieerde afhankelijkheidsgrafiek waaiert uit of wordt samengevoegd in plaats van een enkel lineair implicatiepad te blijven. De afhankelijkheidsgrafiek bevat 58-geverifieerde knooppunten in de hoofdtakken van 3. Het gebruikelijke resultaat dat moet worden gecontroleerd, is R3C6=2 is waar.
De rootset R7C5=2, R7C5=4, R7C5=9 bevat elke mogelijke start in R7C5, dus de roottakken zijn exhaustief. Dit is een Forcing Net, geen Forcing Chain, omdat De geverifieerde afhankelijkheidsgrafiek waaiert uit of wordt samengevoegd in plaats van een enkel lineair implicatiepad te blijven. De afhankelijkheidsgrafiek bevat 58-geverifieerde knooppunten in de hoofdtakken van 3. Het gebruikelijke resultaat dat moet worden gecontroleerd, is R3C6=2 is waar.
Stap 2 · Redenering

Branch 1: stel dat R7C5=2 waar is.

Branch 1: stel dat R7C5=2 waar is.
Branch 1: stel dat R7C5=2 waar is.
Stap 3 · Redenering

R7C5=2 is waar. Verwijder R3C5=2.

R7C5=2 is waar. Verwijder R3C5=2.
R7C5=2 is waar. Verwijder R3C5=2.
Stap 4 · Redenering

Na de voorgaande uitsluitingen is R3C6=2 de enige overgebleven optie in rij 3. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R3C6=2 de enige overgebleven optie in rij 3. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R3C6=2 de enige overgebleven optie in rij 3. Het wordt gedwongen onder deze veronderstelling.
Stap 5 · Trek de vorige rechthoekvulling eruit

Trek deze veronderstelling en de gevolgen ervan in. Keer terug naar de ongewijzigde momentopname van de kandidaat voordat u de volgende mogelijkheid onderzoekt.

Trek deze veronderstelling en de gevolgen ervan in. Keer terug naar de ongewijzigde momentopname van de kandidaat voordat u de volgende mogelijkheid onderzoekt.
Trek deze veronderstelling en de gevolgen ervan in. Keer terug naar de ongewijzigde momentopname van de kandidaat voordat u de volgende mogelijkheid onderzoekt.
Stap 6 · Redenering

Branch 2: stel dat R7C5=4 waar is.

Branch 2: stel dat R7C5=4 waar is.
Branch 2: stel dat R7C5=4 waar is.
Stap 7 · Redenering

R7C5=4 is waar. Verwijder R8C5=4.

R7C5=4 is waar. Verwijder R8C5=4.
R7C5=4 is waar. Verwijder R8C5=4.
Stap 8 · Redenering

Na de voorgaande uitsluitingen is R8C5=2 de enige overgebleven optie in R8C5. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R8C5=2 de enige overgebleven optie in R8C5. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R8C5=2 de enige overgebleven optie in R8C5. Het wordt gedwongen onder deze veronderstelling.
Stap 9 · Redenering

R8C5=2 is waar. Verwijder R3C5=2.

R8C5=2 is waar. Verwijder R3C5=2.
R8C5=2 is waar. Verwijder R3C5=2.
Stap 10 · Redenering

Na de voorgaande uitsluitingen is R3C6=2 de enige overgebleven optie in rij 3. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R3C6=2 de enige overgebleven optie in rij 3. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R3C6=2 de enige overgebleven optie in rij 3. Het wordt gedwongen onder deze veronderstelling.
Stap 11 · Trek de vorige rechthoekvulling eruit

Trek deze veronderstelling en de gevolgen ervan in. Keer terug naar de ongewijzigde momentopname van de kandidaat voordat u de volgende mogelijkheid onderzoekt.

Trek deze veronderstelling en de gevolgen ervan in. Keer terug naar de ongewijzigde momentopname van de kandidaat voordat u de volgende mogelijkheid onderzoekt.
Trek deze veronderstelling en de gevolgen ervan in. Keer terug naar de ongewijzigde momentopname van de kandidaat voordat u de volgende mogelijkheid onderzoekt.
Stap 12 · Redenering

Branch 3: stel dat R7C5=9 waar is.

Branch 3: stel dat R7C5=9 waar is.
Branch 3: stel dat R7C5=9 waar is.
Stap 13 · Redenering

R7C5=9 is waar. Verwijder {R7C7=9, R7C8=9, R7C9=9}.

R7C5=9 is waar. Verwijder {R7C7=9, R7C8=9, R7C9=9}.
R7C5=9 is waar. Verwijder {R7C7=9, R7C8=9, R7C9=9}.
Stap 14 · Redenering

Na de voorgaande uitsluitingen is R7C8=7 de enige overgebleven optie in R7C8. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R7C8=7 de enige overgebleven optie in R7C8. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R7C8=7 de enige overgebleven optie in R7C8. Het wordt gedwongen onder deze veronderstelling.
Stap 15 · Redenering

R7C8=7 is waar. Verwijder {R7C9=7, R9C7=7, R9C8=7}.

R7C8=7 is waar. Verwijder {R7C9=7, R9C7=7, R9C8=7}.
R7C8=7 is waar. Verwijder {R7C9=7, R9C7=7, R9C8=7}.
Stap 16 · Redenering

Na de voorgaande uitsluitingen is R7C9=8 de enige overgebleven optie in R7C9. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R7C9=8 de enige overgebleven optie in R7C9. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R7C9=8 de enige overgebleven optie in R7C9. Het wordt gedwongen onder deze veronderstelling.
Stap 17 · Redenering

R7C9=8 is waar. Verwijder {R7C7=8, R8C7=8, R9C7=8}.

R7C9=8 is waar. Verwijder {R7C7=8, R8C7=8, R9C7=8}.
R7C9=8 is waar. Verwijder {R7C7=8, R8C7=8, R9C7=8}.
Stap 18 · Redenering

Na de voorgaande uitsluitingen is R9C1=7 de enige overgebleven optie in rij 9. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R9C1=7 de enige overgebleven optie in rij 9. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R9C1=7 de enige overgebleven optie in rij 9. Het wordt gedwongen onder deze veronderstelling.
Stap 19 · Redenering

Na de voorgaande uitsluitingen is R4C7=8 de enige overgebleven optie in -kolom 7. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R4C7=8 de enige overgebleven optie in -kolom 7. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R4C7=8 de enige overgebleven optie in -kolom 7. Het wordt gedwongen onder deze veronderstelling.
Stap 20 · Redenering

R4C7=8 is waar. Verwijder R4C7=5.

R4C7=8 is waar. Verwijder R4C7=5.
R4C7=8 is waar. Verwijder R4C7=5.
Stap 21 · Redenering

Na de voorgaande uitsluitingen is R4C9=7 de enige overgebleven optie in -kolom 9. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R4C9=7 de enige overgebleven optie in -kolom 9. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R4C9=7 de enige overgebleven optie in -kolom 9. Het wordt gedwongen onder deze veronderstelling.
Stap 22 · Redenering

R4C9=7 is waar. Verwijder R4C9=9.

R4C9=7 is waar. Verwijder R4C9=9.
R4C9=7 is waar. Verwijder R4C9=9.
Stap 23 · Redenering

Na de voorgaande uitsluitingen is R6C9=9 de enige overgebleven optie in -kolom 9. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R6C9=9 de enige overgebleven optie in -kolom 9. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R6C9=9 de enige overgebleven optie in -kolom 9. Het wordt gedwongen onder deze veronderstelling.
Stap 24 · Redenering

R6C9=9 is waar. Verwijder R6C9=1.

R6C9=9 is waar. Verwijder R6C9=1.
R6C9=9 is waar. Verwijder R6C9=1.
Stap 25 · Redenering

Na de voorgaande uitsluitingen is R5C7=1 de enige overgebleven optie in blok 6. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R5C7=1 de enige overgebleven optie in blok 6. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R5C7=1 de enige overgebleven optie in blok 6. Het wordt gedwongen onder deze veronderstelling.
Stap 26 · Redenering

R5C7=1 is waar. Verwijder {R5C7=5, R5C7=7}.

R5C7=1 is waar. Verwijder {R5C7=5, R5C7=7}.
R5C7=1 is waar. Verwijder {R5C7=5, R5C7=7}.
Stap 27 · Redenering

Na de voorgaande uitsluitingen is R4C8=5 de enige overgebleven optie in blok 6. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R4C8=5 de enige overgebleven optie in blok 6. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R4C8=5 de enige overgebleven optie in blok 6. Het wordt gedwongen onder deze veronderstelling.
Stap 28 · Redenering

R4C8=5 is waar. Verwijder {R4C5=5, R8C8=5}.

R4C8=5 is waar. Verwijder {R4C5=5, R8C8=5}.
R4C8=5 is waar. Verwijder {R4C5=5, R8C8=5}.
Stap 29 · Redenering

R5C7=1 is waar. Verwijder {R2C7=1, R5C1=1}.

R5C7=1 is waar. Verwijder {R2C7=1, R5C1=1}.
R5C7=1 is waar. Verwijder {R2C7=1, R5C1=1}.
Stap 30 · Redenering

R9C1=7 is waar. Verwijder R5C1=7.

R9C1=7 is waar. Verwijder R5C1=7.
R9C1=7 is waar. Verwijder R5C1=7.
Stap 31 · Redenering

Na de voorgaande uitsluitingen is R5C2=7 de enige overgebleven optie in rij 5. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R5C2=7 de enige overgebleven optie in rij 5. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R5C2=7 de enige overgebleven optie in rij 5. Het wordt gedwongen onder deze veronderstelling.
Stap 32 · Redenering

R5C2=7 is waar. Verwijder R5C2=3.

R5C2=7 is waar. Verwijder R5C2=3.
R5C2=7 is waar. Verwijder R5C2=3.
Stap 33 · Redenering

Na de voorgaande uitsluitingen is R8C7=5 de enige overgebleven optie in rij 8. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R8C7=5 de enige overgebleven optie in rij 8. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R8C7=5 de enige overgebleven optie in rij 8. Het wordt gedwongen onder deze veronderstelling.
Stap 34 · Redenering

R8C7=5 is waar. Verwijder {R8C7=2, R8C7=6}.

R8C7=5 is waar. Verwijder {R8C7=2, R8C7=6}.
R8C7=5 is waar. Verwijder {R8C7=2, R8C7=6}.
Stap 35 · Redenering

Na de voorgaande uitsluitingen is R1C1=1 de enige overgebleven optie in -kolom 1. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R1C1=1 de enige overgebleven optie in -kolom 1. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R1C1=1 de enige overgebleven optie in -kolom 1. Het wordt gedwongen onder deze veronderstelling.
Stap 36 · Redenering

Na de voorgaande uitsluitingen is R7C7=6 de enige overgebleven optie in -kolom 7. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R7C7=6 de enige overgebleven optie in -kolom 7. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R7C7=6 de enige overgebleven optie in -kolom 7. Het wordt gedwongen onder deze veronderstelling.
Stap 37 · Redenering

R7C7=6 is waar. Verwijder R7C7=2.

R7C7=6 is waar. Verwijder R7C7=2.
R7C7=6 is waar. Verwijder R7C7=2.
Stap 38 · Redenering

Na de voorgaande uitsluitingen is R9C7=2 de enige overgebleven optie in blok 9. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R9C7=2 de enige overgebleven optie in blok 9. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R9C7=2 de enige overgebleven optie in blok 9. Het wordt gedwongen onder deze veronderstelling.
Stap 39 · Redenering

R9C7=2 is waar. Verwijder R9C7=9.

R9C7=2 is waar. Verwijder R9C7=9.
R9C7=2 is waar. Verwijder R9C7=9.
Stap 40 · Redenering

Na de voorgaande uitsluitingen is R9C8=9 de enige overgebleven optie in blok 9. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R9C8=9 de enige overgebleven optie in blok 9. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R9C8=9 de enige overgebleven optie in blok 9. Het wordt gedwongen onder deze veronderstelling.
Stap 41 · Redenering

R9C8=9 is waar. Verwijder R9C8=3.

R9C8=9 is waar. Verwijder R9C8=3.
R9C8=9 is waar. Verwijder R9C8=3.
Stap 42 · Redenering

R1C1=1 is waar. Verwijder R2C3=1.

R1C1=1 is waar. Verwijder R2C3=1.
R1C1=1 is waar. Verwijder R2C3=1.
Stap 43 · Redenering

Na de voorgaande uitsluitingen is R2C5=1 de enige overgebleven optie in rij 2. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R2C5=1 de enige overgebleven optie in rij 2. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R2C5=1 de enige overgebleven optie in rij 2. Het wordt gedwongen onder deze veronderstelling.
Stap 44 · Redenering

R2C5=1 is waar. Verwijder R2C5=5.

R2C5=1 is waar. Verwijder R2C5=5.
R2C5=1 is waar. Verwijder R2C5=5.
Stap 45 · Redenering

Na de voorgaande uitsluitingen is R9C3=3 de enige overgebleven optie in rij 9. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R9C3=3 de enige overgebleven optie in rij 9. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R9C3=3 de enige overgebleven optie in rij 9. Het wordt gedwongen onder deze veronderstelling.
Stap 46 · Redenering

Na de voorgaande uitsluitingen is R5C5=5 de enige overgebleven optie in -kolom 5. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R5C5=5 de enige overgebleven optie in -kolom 5. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R5C5=5 de enige overgebleven optie in -kolom 5. Het wordt gedwongen onder deze veronderstelling.
Stap 47 · Redenering

R5C5=5 is waar. Verwijder R5C5=3.

R5C5=5 is waar. Verwijder R5C5=3.
R5C5=5 is waar. Verwijder R5C5=3.
Stap 48 · Redenering

R9C3=3 is waar. Verwijder R5C3=3.

R9C3=3 is waar. Verwijder R5C3=3.
R9C3=3 is waar. Verwijder R5C3=3.
Stap 49 · Redenering

Na de voorgaande uitsluitingen is R5C6=3 de enige overgebleven optie in rij 5. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R5C6=3 de enige overgebleven optie in rij 5. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R5C6=3 de enige overgebleven optie in rij 5. Het wordt gedwongen onder deze veronderstelling.
Stap 50 · Redenering

R5C6=3 is waar. Verwijder R3C6=3.

R5C6=3 is waar. Verwijder R3C6=3.
R5C6=3 is waar. Verwijder R3C6=3.
Stap 51 · Redenering

Na de voorgaande uitsluitingen is R3C6=2 de enige overgebleven optie in R3C6. Het wordt gedwongen onder deze veronderstelling.

Na de voorgaande uitsluitingen is R3C6=2 de enige overgebleven optie in R3C6. Het wordt gedwongen onder deze veronderstelling.
Na de voorgaande uitsluitingen is R3C6=2 de enige overgebleven optie in R3C6. Het wordt gedwongen onder deze veronderstelling.
Stap 52 · Redenering

Elke mogelijke tak komt op hetzelfde feit uit: R3C6=2 is waar. Nadat alle aannames zijn ingetrokken, blijft dit feit zeker.

Elke mogelijke tak komt op hetzelfde feit uit: R3C6=2 is waar. Nadat alle aannames zijn ingetrokken, blijft dit feit zeker.
Elke mogelijke tak komt op hetzelfde feit uit: R3C6=2 is waar. Nadat alle aannames zijn ingetrokken, blijft dit feit zeker.
Stap 53 · Conclusie

R3C6=2 wordt door dit patroon geforceerd.

R3C6=2 wordt door dit patroon geforceerd.
R3C6=2 wordt door dit patroon geforceerd.

Wat het toestaat

R3C6=2 wordt door dit patroon geforceerd.

Dwingend netwerk (Forcing Net) · Verwijder een weerlegde kandidaat of pas het resultaat toe dat door alle volledige branches wordt gedeeld.
Dwingend netwerk (Forcing Net) · Verwijder een weerlegde kandidaat of pas het resultaat toe dat door alle volledige branches wordt gedeeld.

Oefenen

Deze les is aangepast uit de lesstof van de Platon Sudoku-app. Lees hier het volledige voorbeeld en leer en oefen daarna verder in de app.

Bekijken op Google Play