Platon Games
Nederlands

Platon Sudoku · Sudoku leren

Nice Loop / AIC · Stapsgewijs voorbeeld

Een afwisselende gevolgtrekkingsketen verbindt kandidaat-lidstaten met geverifieerde sterke en zwakke schakels. Open en gesloten ketens hebben verschillende conclusies. Gebruik de geverifieerde uitkomst: verwijder een kandidaat of plaats een cijfer wanneer de tegenovergestelde toestand onmogelijk is.

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

Een afwisselende gevolgtrekkingsketen verbindt kandidaat-lidstaten met geverifieerde sterke en zwakke schakels. Open en gesloten ketens hebben verschillende conclusies.

Hoe kunt u het vinden?

Traceer elke implicatie vanaf één kant, registreer sterke en zwakke overgangen en of de keten een eindpunt sluit of tegenspreekt.

Wat het toestaat

Gebruik de geverifieerde uitkomst: verwijder een kandidaat of plaats een cijfer wanneer de tegenovergestelde toestand onmogelijk is.

Vermijd verwarring

Een sterke koppeling betekent: als het ene eindpunt onwaar is, is het andere waar. Een zwakke koppeling betekent: als het ene eindpunt waar is, is het andere onwaar. Keer deze implicaties niet om; controleer de relatie tussen de eindpunten voordat je een conclusie trekt.

Stapsgewijs voorbeeld · Discontinu · elimineren

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 · ​​Lees de AIC voordat u deze volgt

Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R1C6=1 is waar en inspecteer R1C6=1. In -kolom 6, rij 2, -kolom 9, rij 7, blok 5, rij 5, -kolom 1, rij 9, -kolom 8 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.

Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R1C6=1 is waar en inspecteer R1C6=1. In -kolom 6, rij 2, -kolom 9, rij 7, blok 5, rij 5, -kolom 1, rij 9, -kolom 8 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.
Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R1C6=1 is waar en inspecteer R1C6=1. In -kolom 6, rij 2, -kolom 9, rij 7, blok 5, rij 5, -kolom 1, rij 9, -kolom 8 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.
Stap 2 · Aanname: start de wisselketting

Branch 1: stel dat R1C6=1 waar is.

Branch 1: stel dat R1C6=1 waar is.
Branch 1: stel dat R1C6=1 waar is.
Stap 3 · Zwakke relatie: conflict met gekoppelde kandidaten

R1C6=1 is waar. Verwijder R1C6=8.

R1C6=1 is waar. Verwijder R1C6=8.
R1C6=1 is waar. Verwijder R1C6=8.
Stap 4 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R1C6=8 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 6. Daarom moet R2C6=8 waar zijn.

​​R1C6=8 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 6. Daarom moet R2C6=8 waar zijn.
​​R1C6=8 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 6. Daarom moet R2C6=8 waar zijn.
Stap 5 · Zwakke relatie: conflict met gekoppelde kandidaten

R2C6=8 is waar. Verwijder R2C6=6.

R2C6=8 is waar. Verwijder R2C6=6.
R2C6=8 is waar. Verwijder R2C6=6.
Stap 6 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R2C6=6 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 2. Daarom moet R2C9=6 waar zijn.

​​R2C6=6 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 2. Daarom moet R2C9=6 waar zijn.
​​R2C6=6 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 2. Daarom moet R2C9=6 waar zijn.
Stap 7 · Zwakke relatie: conflict met gekoppelde kandidaten

R2C9=6 is waar. Verwijder R2C9=3.

R2C9=6 is waar. Verwijder R2C9=3.
R2C9=6 is waar. Verwijder R2C9=3.
Stap 8 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R2C9=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 9. Daarom moet R7C9=3 waar zijn.

​​R2C9=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 9. Daarom moet R7C9=3 waar zijn.
​​R2C9=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 9. Daarom moet R7C9=3 waar zijn.
Stap 9 · Zwakke relatie: conflict met gekoppelde kandidaten

R7C9=3 is waar. Verwijder R7C6=3.

R7C9=3 is waar. Verwijder R7C6=3.
R7C9=3 is waar. Verwijder R7C6=3.
Stap 10 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R7C6=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 6. Daarom moet R6C6=3 waar zijn.

​​R7C6=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 6. Daarom moet R6C6=3 waar zijn.
​​R7C6=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 6. Daarom moet R6C6=3 waar zijn.
Stap 11 · Zwakke relatie: conflict met gekoppelde kandidaten

R6C6=3 is waar. Verwijder R5C4=3.

R6C6=3 is waar. Verwijder R5C4=3.
R6C6=3 is waar. Verwijder R5C4=3.
Stap 12 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R5C4=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 5. Daarom moet R5C1=3 waar zijn.

​​R5C4=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 5. Daarom moet R5C1=3 waar zijn.
​​R5C4=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 5. Daarom moet R5C1=3 waar zijn.
Stap 13 · Zwakke relatie: conflict met gekoppelde kandidaten

R5C1=3 is waar. Verwijder R9C1=3.

R5C1=3 is waar. Verwijder R9C1=3.
R5C1=3 is waar. Verwijder R9C1=3.
Stap 14 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R9C1=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 9. Daarom moet R9C8=3 waar zijn.

​​R9C1=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 9. Daarom moet R9C8=3 waar zijn.
​​R9C1=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 9. Daarom moet R9C8=3 waar zijn.
Stap 15 · Zwakke relatie: conflict met gekoppelde kandidaten

R9C8=3 is waar. Verwijder R2C8=3.

R9C8=3 is waar. Verwijder R2C8=3.
R9C8=3 is waar. Verwijder R2C8=3.
Stap 16 · Zelfde cel: forceer de andere kandidaat

R2C8=3 is onwaar. In dezelfde cel R2C8 wordt de andere kandidaat R2C8=8 onder de huidige aanname geforceerd waar.

R2C8=3 is onwaar. In dezelfde cel R2C8 wordt de andere kandidaat R2C8=8 onder de huidige aanname geforceerd waar.
R2C8=3 is onwaar. In dezelfde cel R2C8 wordt de andere kandidaat R2C8=8 onder de huidige aanname geforceerd waar.
Stap 17 · Zwakke relatie: conflict met gekoppelde kandidaten

R2C8=8 is waar. Verwijder R2C6=8.

R2C8=8 is waar. Verwijder R2C6=8.
R2C8=8 is waar. Verwijder R2C6=8.
Stap 18 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R2C6=8 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 6. Daarom moet R1C6=8 waar zijn.

​​R2C6=8 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 6. Daarom moet R1C6=8 waar zijn.
​​R2C6=8 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 6. Daarom moet R1C6=8 waar zijn.
Stap 19 · De ketting bereikt een tegenstrijdigheid

De gevolgtrekking is in tegenspraak met “R1C6=1 is waar”, dus R1C6=1 is onwaar.

De gevolgtrekking is in tegenspraak met “R1C6=1 is waar”, dus R1C6=1 is onwaar.
De gevolgtrekking is in tegenspraak met “R1C6=1 is waar”, dus R1C6=1 is onwaar.
Stap 20 · 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 21 · AIC samenvatting

De afwisselende keten begon bij “R1C6=1 is waar” en volgde de gelabelde sterke en zwakke relaties, inclusief waar nodig schakelaars op dezelfde cel, tot een tegenstrijdigheid. Daarom R1C6=1 is onwaar. Alle tijdelijke toestanden worden ingetrokken.

De afwisselende keten begon bij “R1C6=1 is waar” en volgde de gelabelde sterke en zwakke relaties, inclusief waar nodig schakelaars op dezelfde cel, tot een tegenstrijdigheid. Daarom R1C6=1 is onwaar. Alle tijdelijke toestanden worden ingetrokken.
De afwisselende keten begon bij “R1C6=1 is waar” en volgde de gelabelde sterke en zwakke relaties, inclusief waar nodig schakelaars op dezelfde cel, tot een tegenstrijdigheid. Daarom R1C6=1 is onwaar. Alle tijdelijke toestanden worden ingetrokken.

Wat het toestaat

De afwisselende keten begon bij “R1C6=1 is waar” en volgde de gelabelde sterke en zwakke relaties, inclusief waar nodig schakelaars op dezelfde cel, tot een tegenstrijdigheid. Daarom R1C6=1 is onwaar. Alle tijdelijke toestanden worden ingetrokken.

Nice Loop / AIC · Gebruik de geverifieerde uitkomst: verwijder een kandidaat of plaats een cijfer wanneer de tegenovergestelde toestand onmogelijk is.
Nice Loop / AIC · Gebruik de geverifieerde uitkomst: verwijder een kandidaat of plaats een cijfer wanneer de tegenovergestelde toestand onmogelijk is.

Stapsgewijs voorbeeld · Discontinue · plaats

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 · ​​Lees de AIC voordat u deze volgt

Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R1C1=4 is onwaar en inspecteer R1C1=4. In rij 1, -kolom 2, blok 4, -kolom 3 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.

Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R1C1=4 is onwaar en inspecteer R1C1=4. In rij 1, -kolom 2, blok 4, -kolom 3 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.
Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R1C1=4 is onwaar en inspecteer R1C1=4. In rij 1, -kolom 2, blok 4, -kolom 3 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.
Stap 2 · Aanname: start de wisselketting

Branch 1: stel dat R1C1=4 onwaar is.

Branch 1: stel dat R1C1=4 onwaar is.
Branch 1: stel dat R1C1=4 onwaar is.
Stap 3 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R1C1=4 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 1. Daarom moet R1C3=4 waar zijn.

​​R1C1=4 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 1. Daarom moet R1C3=4 waar zijn.
​​R1C1=4 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 1. Daarom moet R1C3=4 waar zijn.
Stap 4 · Zwakke relatie: conflict met gekoppelde kandidaten

R1C3=4 is waar. Verwijder R1C3=5.

R1C3=4 is waar. Verwijder R1C3=5.
R1C3=4 is waar. Verwijder R1C3=5.
Stap 5 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R1C3=5 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 1. Daarom moet R1C2=5 waar zijn.

​​R1C3=5 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 1. Daarom moet R1C2=5 waar zijn.
​​R1C3=5 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 1. Daarom moet R1C2=5 waar zijn.
Stap 6 · Zwakke relatie: conflict met gekoppelde kandidaten

R1C2=5 is waar. Verwijder R1C2=9.

R1C2=5 is waar. Verwijder R1C2=9.
R1C2=5 is waar. Verwijder R1C2=9.
Stap 7 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R1C2=9 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 2. Daarom moet R5C2=9 waar zijn.

​​R1C2=9 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 2. Daarom moet R5C2=9 waar zijn.
​​R1C2=9 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 2. Daarom moet R5C2=9 waar zijn.
Stap 8 · Zwakke relatie: conflict met gekoppelde kandidaten

R5C2=9 is waar. Verwijder R4C3=9.

R5C2=9 is waar. Verwijder R4C3=9.
R5C2=9 is waar. Verwijder R4C3=9.
Stap 9 · Zelfde cel: forceer de andere kandidaat

R4C3=9 is onwaar. In dezelfde cel R4C3 wordt de andere kandidaat R4C3=4 onder de huidige aanname geforceerd waar.

R4C3=9 is onwaar. In dezelfde cel R4C3 wordt de andere kandidaat R4C3=4 onder de huidige aanname geforceerd waar.
R4C3=9 is onwaar. In dezelfde cel R4C3 wordt de andere kandidaat R4C3=4 onder de huidige aanname geforceerd waar.
Stap 10 · Zwakke relatie: conflict met gekoppelde kandidaten

R4C3=4 is waar. Verwijder R1C3=4.

R4C3=4 is waar. Verwijder R1C3=4.
R4C3=4 is waar. Verwijder R1C3=4.
Stap 11 · De ketting bereikt een tegenstrijdigheid

De gevolgtrekking is in tegenspraak met “R1C1=4 is onwaar”, dus R1C1=4 is waar.

De gevolgtrekking is in tegenspraak met “R1C1=4 is onwaar”, dus R1C1=4 is waar.
De gevolgtrekking is in tegenspraak met “R1C1=4 is onwaar”, dus R1C1=4 is waar.
Stap 12 · 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 13 · AIC samenvatting

De afwisselende keten begon bij “R1C1=4 is onwaar” en volgde de gelabelde sterke en zwakke relaties, inclusief waar nodig schakelaars op dezelfde cel, tot een tegenstrijdigheid. Daarom R1C1=4 is waar. Alle tijdelijke toestanden worden ingetrokken.

De afwisselende keten begon bij “R1C1=4 is onwaar” en volgde de gelabelde sterke en zwakke relaties, inclusief waar nodig schakelaars op dezelfde cel, tot een tegenstrijdigheid. Daarom R1C1=4 is waar. Alle tijdelijke toestanden worden ingetrokken.
De afwisselende keten begon bij “R1C1=4 is onwaar” en volgde de gelabelde sterke en zwakke relaties, inclusief waar nodig schakelaars op dezelfde cel, tot een tegenstrijdigheid. Daarom R1C1=4 is waar. Alle tijdelijke toestanden worden ingetrokken.

Wat het toestaat

De afwisselende keten begon bij “R1C1=4 is onwaar” en volgde de gelabelde sterke en zwakke relaties, inclusief waar nodig schakelaars op dezelfde cel, tot een tegenstrijdigheid. Daarom R1C1=4 is waar. Alle tijdelijke toestanden worden ingetrokken.

Nice Loop / AIC · Gebruik de geverifieerde uitkomst: verwijder een kandidaat of plaats een cijfer wanneer de tegenovergestelde toestand onmogelijk is.
Nice Loop / AIC · Gebruik de geverifieerde uitkomst: verwijder een kandidaat of plaats een cijfer wanneer de tegenovergestelde toestand onmogelijk is.

Stapsgewijs voorbeeld · Type 1

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 · ​​Lees de AIC voordat u deze volgt

Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R1C6=2 is onwaar en inspecteer R1C8=2, R1C9=2, R2C4=2. In -kolom 6, rij 2 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.

Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R1C6=2 is onwaar en inspecteer R1C8=2, R1C9=2, R2C4=2. In -kolom 6, rij 2 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.
Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R1C6=2 is onwaar en inspecteer R1C8=2, R1C9=2, R2C4=2. In -kolom 6, rij 2 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.
Stap 2 · Aanname: start de wisselketting

Branch 1: stel dat R1C6=2 onwaar is.

Branch 1: stel dat R1C6=2 onwaar is.
Branch 1: stel dat R1C6=2 onwaar is.
Stap 3 · Zelfde cel: forceer de andere kandidaat

R1C6=2 is onwaar. In dezelfde cel R1C6 wordt de andere kandidaat R1C6=1 onder de huidige aanname geforceerd waar.

R1C6=2 is onwaar. In dezelfde cel R1C6 wordt de andere kandidaat R1C6=1 onder de huidige aanname geforceerd waar.
R1C6=2 is onwaar. In dezelfde cel R1C6 wordt de andere kandidaat R1C6=1 onder de huidige aanname geforceerd waar.
Stap 4 · Zwakke relatie: conflict met gekoppelde kandidaten

R1C6=1 is waar. Verwijder R6C6=1.

R1C6=1 is waar. Verwijder R6C6=1.
R1C6=1 is waar. Verwijder R6C6=1.
Stap 5 · Zelfde cel: forceer de andere kandidaat

R6C6=1 is onwaar. In dezelfde cel R6C6 wordt de andere kandidaat R6C6=6 onder de huidige aanname geforceerd waar.

R6C6=1 is onwaar. In dezelfde cel R6C6 wordt de andere kandidaat R6C6=6 onder de huidige aanname geforceerd waar.
R6C6=1 is onwaar. In dezelfde cel R6C6 wordt de andere kandidaat R6C6=6 onder de huidige aanname geforceerd waar.
Stap 6 · Zwakke relatie: conflict met gekoppelde kandidaten

R6C6=6 is waar. Verwijder R2C6=6.

R6C6=6 is waar. Verwijder R2C6=6.
R6C6=6 is waar. Verwijder R2C6=6.
Stap 7 · Zelfde cel: forceer de andere kandidaat

R2C6=6 is onwaar. In dezelfde cel R2C6 wordt de andere kandidaat R2C6=7 onder de huidige aanname geforceerd waar.

R2C6=6 is onwaar. In dezelfde cel R2C6 wordt de andere kandidaat R2C6=7 onder de huidige aanname geforceerd waar.
R2C6=6 is onwaar. In dezelfde cel R2C6 wordt de andere kandidaat R2C6=7 onder de huidige aanname geforceerd waar.
Stap 8 · Zwakke relatie: conflict met gekoppelde kandidaten

R2C6=7 is waar. Verwijder R2C8=7.

R2C6=7 is waar. Verwijder R2C8=7.
R2C6=7 is waar. Verwijder R2C8=7.
Stap 9 · Zelfde cel: forceer de andere kandidaat

R2C8=7 is onwaar. In dezelfde cel R2C8 wordt de andere kandidaat R2C8=2 onder de huidige aanname geforceerd waar.

R2C8=7 is onwaar. In dezelfde cel R2C8 wordt de andere kandidaat R2C8=2 onder de huidige aanname geforceerd waar.
R2C8=7 is onwaar. In dezelfde cel R2C8 wordt de andere kandidaat R2C8=2 onder de huidige aanname geforceerd waar.
Stap 10 · AIC samenvatting

Van de eindpunten R1C6=2 en R2C8=2 met hetzelfde cijfer moet er minstens één waar zijn. Elk doel R1C8=2, R1C9=2, R2C4=2 ziet beide eindpunten en kan daarom niet waar zijn.

Van de eindpunten R1C6=2 en R2C8=2 met hetzelfde cijfer moet er minstens één waar zijn. Elk doel R1C8=2, R1C9=2, R2C4=2 ziet beide eindpunten en kan daarom niet waar zijn.
Van de eindpunten R1C6=2 en R2C8=2 met hetzelfde cijfer moet er minstens één waar zijn. Elk doel R1C8=2, R1C9=2, R2C4=2 ziet beide eindpunten en kan daarom niet waar zijn.
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 · AIC samenvatting

Trek het tijdelijke eindpuntgeval in. De Type 1 AIC verwijdert R1C8=2, R1C9=2, R2C4=2 permanent, omdat elk doelwit zowel R1C6=2 als R2C8=2 ziet.

Trek het tijdelijke eindpuntgeval in. De Type 1 AIC verwijdert R1C8=2, R1C9=2, R2C4=2 permanent, omdat elk doelwit zowel R1C6=2 als R2C8=2 ziet.
Trek het tijdelijke eindpuntgeval in. De Type 1 AIC verwijdert R1C8=2, R1C9=2, R2C4=2 permanent, omdat elk doelwit zowel R1C6=2 als R2C8=2 ziet.

Wat het toestaat

Trek het tijdelijke eindpuntgeval in. De Type 1 AIC verwijdert R1C8=2, R1C9=2, R2C4=2 permanent, omdat elk doelwit zowel R1C6=2 als R2C8=2 ziet.

Nice Loop / AIC · Gebruik de geverifieerde uitkomst: verwijder een kandidaat of plaats een cijfer wanneer de tegenovergestelde toestand onmogelijk is.
Nice Loop / AIC · Gebruik de geverifieerde uitkomst: verwijder een kandidaat of plaats een cijfer wanneer de tegenovergestelde toestand onmogelijk is.

Stapsgewijs voorbeeld · Type 2

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 · ​​Lees de AIC voordat u deze volgt

Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R1C8=9 is onwaar en inspecteer R4C8=9. In rij 1, -kolom 7, blok 6, -kolom 8, rij 3, -kolom 6, rij 5, -kolom 4, rij 6, -kolom 9, rij 4 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.

Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R1C8=9 is onwaar en inspecteer R4C8=9. In rij 1, -kolom 7, blok 6, -kolom 8, rij 3, -kolom 6, rij 5, -kolom 4, rij 6, -kolom 9, rij 4 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.
Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R1C8=9 is onwaar en inspecteer R4C8=9. In rij 1, -kolom 7, blok 6, -kolom 8, rij 3, -kolom 6, rij 5, -kolom 4, rij 6, -kolom 9, rij 4 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.
Stap 2 · Aanname: start de wisselketting

Branch 1: stel dat R1C8=9 onwaar is.

Branch 1: stel dat R1C8=9 onwaar is.
Branch 1: stel dat R1C8=9 onwaar is.
Stap 3 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R1C8=9 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 1. Daarom moet R1C7=9 waar zijn.

​​R1C8=9 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 1. Daarom moet R1C7=9 waar zijn.
​​R1C8=9 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 1. Daarom moet R1C7=9 waar zijn.
Stap 4 · Zwakke relatie: conflict met gekoppelde kandidaten

R1C7=9 is waar. Verwijder R5C7=9.

R1C7=9 is waar. Verwijder R5C7=9.
R1C7=9 is waar. Verwijder R5C7=9.
Stap 5 · Zelfde cel: forceer de andere kandidaat

R5C7=9 is onwaar. In dezelfde cel R5C7 wordt de andere kandidaat R5C7=2 onder de huidige aanname geforceerd waar.

R5C7=9 is onwaar. In dezelfde cel R5C7 wordt de andere kandidaat R5C7=2 onder de huidige aanname geforceerd waar.
R5C7=9 is onwaar. In dezelfde cel R5C7 wordt de andere kandidaat R5C7=2 onder de huidige aanname geforceerd waar.
Stap 6 · Zwakke relatie: conflict met gekoppelde kandidaten

R5C7=2 is waar. Verwijder R6C8=2.

R5C7=2 is waar. Verwijder R6C8=2.
R5C7=2 is waar. Verwijder R6C8=2.
Stap 7 · Zelfde cel: forceer de andere kandidaat

R6C8=2 is onwaar. In dezelfde cel R6C8 wordt de andere kandidaat R6C8=1 onder de huidige aanname geforceerd waar.

R6C8=2 is onwaar. In dezelfde cel R6C8 wordt de andere kandidaat R6C8=1 onder de huidige aanname geforceerd waar.
R6C8=2 is onwaar. In dezelfde cel R6C8 wordt de andere kandidaat R6C8=1 onder de huidige aanname geforceerd waar.
Stap 8 · Zwakke relatie: conflict met gekoppelde kandidaten

R6C8=1 is waar. Verwijder R3C8=1.

R6C8=1 is waar. Verwijder R3C8=1.
R6C8=1 is waar. Verwijder R3C8=1.
Stap 9 · Zelfde cel: forceer de andere kandidaat

R3C8=1 is onwaar. In dezelfde cel R3C8 wordt de andere kandidaat R3C8=6 onder de huidige aanname geforceerd waar.

R3C8=1 is onwaar. In dezelfde cel R3C8 wordt de andere kandidaat R3C8=6 onder de huidige aanname geforceerd waar.
R3C8=1 is onwaar. In dezelfde cel R3C8 wordt de andere kandidaat R3C8=6 onder de huidige aanname geforceerd waar.
Stap 10 · Zwakke relatie: conflict met gekoppelde kandidaten

R3C8=6 is waar. Verwijder R3C6=6.

R3C8=6 is waar. Verwijder R3C6=6.
R3C8=6 is waar. Verwijder R3C6=6.
Stap 11 · Zelfde cel: forceer de andere kandidaat

R3C6=6 is onwaar. In dezelfde cel R3C6 wordt de andere kandidaat R3C6=4 onder de huidige aanname geforceerd waar.

R3C6=6 is onwaar. In dezelfde cel R3C6 wordt de andere kandidaat R3C6=4 onder de huidige aanname geforceerd waar.
R3C6=6 is onwaar. In dezelfde cel R3C6 wordt de andere kandidaat R3C6=4 onder de huidige aanname geforceerd waar.
Stap 12 · Zwakke relatie: conflict met gekoppelde kandidaten

R3C6=4 is waar. Verwijder R5C6=4.

R3C6=4 is waar. Verwijder R5C6=4.
R3C6=4 is waar. Verwijder R5C6=4.
Stap 13 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R5C6=4 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 5. Daarom moet R5C4=4 waar zijn.

​​R5C6=4 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 5. Daarom moet R5C4=4 waar zijn.
​​R5C6=4 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 5. Daarom moet R5C4=4 waar zijn.
Stap 14 · Zwakke relatie: conflict met gekoppelde kandidaten

R5C4=4 is waar. Verwijder R5C4=3.

R5C4=4 is waar. Verwijder R5C4=3.
R5C4=4 is waar. Verwijder R5C4=3.
Stap 15 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R5C4=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 4. Daarom moet R6C4=3 waar zijn.

​​R5C4=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 4. Daarom moet R6C4=3 waar zijn.
​​R5C4=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 4. Daarom moet R6C4=3 waar zijn.
Stap 16 · Zwakke relatie: conflict met gekoppelde kandidaten

R6C4=3 is waar. Verwijder R6C9=3.

R6C4=3 is waar. Verwijder R6C9=3.
R6C4=3 is waar. Verwijder R6C9=3.
Stap 17 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R6C9=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 9. Daarom moet R4C9=3 waar zijn.

​​R6C9=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 9. Daarom moet R4C9=3 waar zijn.
​​R6C9=3 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 9. Daarom moet R4C9=3 waar zijn.
Stap 18 · Zwakke relatie: conflict met gekoppelde kandidaten

R4C9=3 is waar. Verwijder R4C9=7.

R4C9=3 is waar. Verwijder R4C9=7.
R4C9=3 is waar. Verwijder R4C9=7.
Stap 19 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R4C9=7 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 4. Daarom moet R4C8=7 waar zijn.

​​R4C9=7 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 4. Daarom moet R4C8=7 waar zijn.
​​R4C9=7 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 4. Daarom moet R4C8=7 waar zijn.
Stap 20 · AIC samenvatting

De peer-eindpunten R1C8=9 en R4C8=7 hebben verschillende cijfers. Elke gemarkeerde kruiskandidaat R4C8=9 zou beide eindpunten onwaar maken, dus verwijder deze.

De peer-eindpunten R1C8=9 en R4C8=7 hebben verschillende cijfers. Elke gemarkeerde kruiskandidaat R4C8=9 zou beide eindpunten onwaar maken, dus verwijder deze.
De peer-eindpunten R1C8=9 en R4C8=7 hebben verschillende cijfers. Elke gemarkeerde kruiskandidaat R4C8=9 zou beide eindpunten onwaar maken, dus verwijder deze.
Stap 21 · 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 22 · AIC samenvatting

Trek het tijdelijke eindpuntgeval in. De Type 2 AIC verwijdert permanent de kruiskandidaten R4C8=9 tussen R1C8=9 en R4C8=7.

Trek het tijdelijke eindpuntgeval in. De Type 2 AIC verwijdert permanent de kruiskandidaten R4C8=9 tussen R1C8=9 en R4C8=7.
Trek het tijdelijke eindpuntgeval in. De Type 2 AIC verwijdert permanent de kruiskandidaten R4C8=9 tussen R1C8=9 en R4C8=7.

Wat het toestaat

Trek het tijdelijke eindpuntgeval in. De Type 2 AIC verwijdert permanent de kruiskandidaten R4C8=9 tussen R1C8=9 en R4C8=7.

Nice Loop / AIC · Gebruik de geverifieerde uitkomst: verwijder een kandidaat of plaats een cijfer wanneer de tegenovergestelde toestand onmogelijk is.
Nice Loop / AIC · Gebruik de geverifieerde uitkomst: verwijder een kandidaat of plaats een cijfer wanneer de tegenovergestelde toestand onmogelijk is.

Stapsgewijs voorbeeld · Doorlopende lus

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 · ​​Lees de AIC voordat u deze volgt

Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R9C3=6 is onwaar en inspecteer R9C3=5. In -kolom 3, rij 5, -kolom 8, rij 9 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.

Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R9C3=6 is onwaar en inspecteer R9C3=5. In -kolom 3, rij 5, -kolom 8, rij 9 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.
Deze Nice Loop / AIC-les maakt gebruik van de gewone familie van kandidaat-knooppunten van HoDoKu: discontinue eliminaties en plaatsingen, open Type 1- en Type 2-ketens en continue lussen. Begin bij R9C3=6 is onwaar en inspecteer R9C3=5. In -kolom 3, rij 5, -kolom 8, rij 9 betekent een doorgetrokken lijn dat ten minste één uiteinde waar is; een stippellijn betekent dat beide uiteinden niet tegelijk waar kunnen zijn. Volg één gemarkeerde relatie tegelijk.
Stap 2 · Aanname: start de wisselketting

Kies alleen R9C3=6 als leesstart van deze gesloten lus. Dit is geen proefaanname; de afwisselende lus keert hier terug.

Kies alleen R9C3=6 als leesstart van deze gesloten lus. Dit is geen proefaanname; de afwisselende lus keert hier terug.
Kies alleen R9C3=6 als leesstart van deze gesloten lus. Dit is geen proefaanname; de afwisselende lus keert hier terug.
Stap 3 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R9C3=6 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 3. Daarom moet R5C3=6 waar zijn.

​​R9C3=6 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 3. Daarom moet R5C3=6 waar zijn.
​​R9C3=6 is onwaar. Samen bevatten deze twee zijden alle resterende opties in -kolom 3. Daarom moet R5C3=6 waar zijn.
Stap 4 · Zwakke relatie: conflict met gekoppelde kandidaten

R5C3=6 is waar. Verwijder R5C8=6.

R5C3=6 is waar. Verwijder R5C8=6.
R5C3=6 is waar. Verwijder R5C8=6.
Stap 5 · Zelfde cel: forceer de andere kandidaat

R5C8=6 is onwaar. In dezelfde cel R5C8 wordt de andere kandidaat R5C8=8 onder de huidige aanname geforceerd waar.

R5C8=6 is onwaar. In dezelfde cel R5C8 wordt de andere kandidaat R5C8=8 onder de huidige aanname geforceerd waar.
R5C8=6 is onwaar. In dezelfde cel R5C8 wordt de andere kandidaat R5C8=8 onder de huidige aanname geforceerd waar.
Stap 6 · Zwakke relatie: conflict met gekoppelde kandidaten

R5C8=8 is waar. Verwijder R9C8=8.

R5C8=8 is waar. Verwijder R9C8=8.
R5C8=8 is waar. Verwijder R9C8=8.
Stap 7 · Sterke relatie: het andere eindpunt wordt geforceerd

​​R9C8=8 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 9. Daarom moet R9C3=8 waar zijn.

​​R9C8=8 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 9. Daarom moet R9C3=8 waar zijn.
​​R9C8=8 is onwaar. Samen bevatten deze twee zijden alle resterende opties in rij 9. Daarom moet R9C3=8 waar zijn.
Stap 8 · Zwakke relatie: conflict met gekoppelde kandidaten

R9C3=8 is waar. Verwijder R9C3=6.

R9C3=8 is waar. Verwijder R9C3=6.
R9C3=8 is waar. Verwijder R9C3=6.
Stap 9 · AIC samenvatting

De ketting sluit als een continue wissellus. Elke zwakke relatie op de lus is dus sterk, waardoor R9C3=5 uit de getroffen cel of het getroffen huis wordt verwijderd.

De ketting sluit als een continue wissellus. Elke zwakke relatie op de lus is dus sterk, waardoor R9C3=5 uit de getroffen cel of het getroffen huis wordt verwijderd.
De ketting sluit als een continue wissellus. Elke zwakke relatie op de lus is dus sterk, waardoor R9C3=5 uit de getroffen cel of het getroffen huis wordt verwijderd.
Stap 10 · 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 11 · AIC samenvatting

Het doorlopen van de lus is voltooid; zijn tijdelijke statussen intrekken en R9C3=5 definitief verwijderen.

Het doorlopen van de lus is voltooid; zijn tijdelijke statussen intrekken en R9C3=5 definitief verwijderen.
Het doorlopen van de lus is voltooid; zijn tijdelijke statussen intrekken en R9C3=5 definitief verwijderen.

Wat het toestaat

Het doorlopen van de lus is voltooid; zijn tijdelijke statussen intrekken en R9C3=5 definitief verwijderen.

Nice Loop / AIC · Gebruik de geverifieerde uitkomst: verwijder een kandidaat of plaats een cijfer wanneer de tegenovergestelde toestand onmogelijk is.
Nice Loop / AIC · Gebruik de geverifieerde uitkomst: verwijder een kandidaat of plaats een cijfer wanneer de tegenovergestelde toestand onmogelijk is.

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